Tools:: VIS
Website
VIS
download
Input Languanges:
  • Verilog, Tool's own language (blif-mv)

Supported Techniques:
  • Model Checking, Synthesis

Platforms:
  • Linux, Alpha, Sparc/Solaris, DEC MIPS, HP Snake

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004