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

Design-Flow and Synthesis for ASICs: A Case Study. - Massimo Bombana; Patrizia Cavalloro; Salvatore Conigliaro; Roger B. Hughes; Gerry Musgrave; Giuseppe Zaza (DAC, 1995)