VIS : A System for Verification and Synthesis

Robert K. Brayton Gary D. Hachtel Alberto Sangiovanni-VincentelliFabio SomenziAdnan AzizSzu-Tsung ChengStephen EdwardsSunil KhatriYuji KukimotoAbelardo PardoShaz QadeerRajeev K. RanjanShaker Sarwary Thomas R. ShipleGitanjali SwamyTiziano Villa

Introduction
Capabilities of VIS
Algorithms
Programming Environment
Conclusions and Future Work
Acknowledgments
References
About this document ...

Tom Shiple
Thu Feb 8 16:55:08 PST 1996

Contact