Formal Synthesis in Circuit Design - A Classification and Survey.

Ramayya Kumar, Christian Blumenrhr, Dirk Eisenbiegler, Detlef Schmid

Browse the full FMCAD paper archive.