Robert K. Brayton Gary D. Hachtel Alberto L. Sangiovanni-Vincentelli Fabio Somenzi Adnan Aziz Szu-Tsung Cheng Stephen A. Edwards Sunil P. Khatri Yuji Kukimoto Abelardo Pardo Shaz Qadeer Rajeev K. Ranjan Shaker Sarwary Thomas R. Shiple Gitanjali Swamy Tiziano Villa 248-256 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#BraytonHSSACEKKPQRSSSV96 http://dx.doi.org/10.1007/BFb0031812