VIS: a system for verification and synthesis.” (1996)

by R K Brayton, G D Hachtel, A S Vincentelli, F Somenzi, A Aziz, S Cheng, S Edwards, S Khatri, Y Kukimoto, A Pardo, S Qadeer, R Ranjan, S Sarwary, T R Shilpe, G Swamy, T Villa
Venue:In Proceedings of the Eight International Conference on Computer Aided Verification,