EECS 290A

Sequential Logic Synthesis and Verification

The most recent binaries of MVSIS are posted here

Linux version

Windows version

Alias file (should be in the same directory)

Examples