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 VIS: A System for Verification and Synthesis. 428-432 1996 conf/cav/1996 CAV db/conf/cav/cav96.html#BraytonHSSACEKKPQRSSSV96 http://dx.doi.org/10.1007/3-540-61474-5_95