Explore projects

Bibliography related to the post-doc of Marek Felšöci

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.

http://public.algo-prog.info/journees-franciliennes-de-programmation.org/

Just a test

HTML theme for Org documents featuring the visual identity of LiP6

Automatic identification of instructions responsible for numerical instabilities in a source code