Quantitative Evaluation of Formal Based Synthesis in ASIC Design. - G. Bezzi; Massimo Bombana; Patrizia Cavalloro; Salvatore Conigliaro; Giuseppe Zaza (TPCD, 1994)