VIS: A system for verification and synthesis Conference Paper uri icon

published proceedings

  • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

author list (cited authors)

  • Brayton, R. K., Hachtel, G. D., Sangiovanni-Vincentelli, A., Somenzi, F., Aziz, A., Cheng, S., ... Villa, T.

citation count

  • 335

complete list of authors

  • Brayton, Robert K||Hachtel, Gary D||Sangiovanni-Vincentelli, Alberto||Somenzi, Fabio||Aziz, Adnan||Cheng, Szu-Tsung||Edwards, Stephen||Khatri, Sunil||Kukimoto, Yuji||Pardo, Abelardo||Qadeer, Shaz||Ranjan, Rajeev K||Sarwary, Shaker||Staple, Thomas R||Swamy, Gitanjali||Villa, Tiziano

publication date

  • January 1996