Explore projects

Algorithms to solve boolean polynomial systems

migrating old papers from gforge

Subject of my Phd thesis.

Alliance/Coriolis Toolkit & Checker contain various design flow examples, blocks or full chips. It is also used as a regression test for all the tools.

Multivariate polynomial system solver

A blockgraph for mesh networks

Specification of persistent storage for causal consistency database

Basic structure for machine learning projects