to

VIS User's Manual

Tiziano Villa Gitanjali Swamy Thomas Shiple

The VIS Group

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

University of California, Berkeley
University of Colorado, Boulder
Now at Lattice Semiconductor

• Contents
• Introduction to VIS
• Describing Designs for VIS
• Introduction to Formal Verification
• Formal Verification in VIS
• Synthesis in VIS
• Commands in VIS
• List of Commands in VIS
• References
• About this document ...