Formal Synthesis in Circuit Design - A Classification and Survey.

Ramayya Kumar Christian Blumenröhr Dirk Eisenbiegler Detlef Schmid Formal Synthesis in Circuit Design - A Classification and Survey. 294-309 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#KumarBES96