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

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.3


• VIS Verification Benchmarks (Verilog models), (Release Notes)


• Getting CUSP-1.1 (CirCUs 2.0 and SATEEN 1.0), (Release Notes)


• SatEEn


• 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