G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza. Quantitative Evaluation of Formal Based Synthesis in ASIC Design. In Ramayya Kumar, Thomas Kropf, editors, Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD 94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings. Volume 901 of Lecture Notes in Computer Science, pages 286-291, Springer, 1994.
Abstract is missing.