language: en

VIS : A System for Verification and Synthesis

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

1 Introduction