VIS-2.1 Release ( Release Notes , Download VIS-2.1 )

VIS Users Mailing List Archive (achieved before Aug. 2003)
VIS Users Mailing List Archive (new)

VIS FAQ

Contents

• What is VIS?
  
• The VIS Group
  
• User Documentation
  
• Programmer Documentation
  
• Getting VIS-2.1
  
• VIS Verification Benchmarks (Verilog models), (Release Notes)
  
• Texas-97 Verification Benchmarks
  
• VIS : Technology Transfer Course Information
  
• VIS: How can we help you ?
  
• Please reference VIS as: "VIS: A system for Verification and Synthesis", The VIS Group, In the Proceedings of the 8th International Conference on Computer Aided Verification, p428-432, Springer Lecture Notes in Computer Science, #1102, Edited by R. Alur and T. Henzinger, New Brunswick, NJ, July 1996 ( HTML , Postscript )
  
• VIS Users Mailing List

  To sign up for this mailing list, send an email to listproc@lists.colorado.edu , within the body containing only
  subscribe vis-users <Your real name>
  To unsubscribe, send an email to the same address, stating
  unsubscribe vis-users <Your real name>

Comments, suggestions, complaints