VIS: a system for verification and synthesis (1996)

by R K Brayton, G D Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, S-T Cheng, S Edwards, S Khatri, T Kukimoto, A Pardo, S Qadeer, R K Ranjan, S Sarwary, T R Shiple, G Swamy, T Villa
Venue:In Proc 8th Int. Conf. on Computer Aided Verification