VIS : A System for Verification and Synthesis (1996)

by Robert Brayton , Gary D. Hachtel , Alberto Sangiovanni-vincentelli , Fabio Somenzi , Adnan Aziz , Szu-tsung Cheng , Stephen Edwards
Citations:116 - 24 self