Recent Forum Topics
Category Archives: Uncategorized
New in this release: Several improvements to IC3: Lifting CTGs (see FMCAD 2013 paper) Localization reduction engine Latest Minisat used for everything but IC3 Preprocessing: TVsim (ternary simulation engine) Phase abstraction Slice Decoding for backward encoded models FCBMC (fair cycle … Continue reading
The IImc binary used for HWMCC’13 is now available on the download page. The binary is statically-linked so should run on a wide range of platforms. To run, do ./iimc-hwmcc13 <aiger-file>
This is a bug-fix release. Visit the download page to get the tarball.
A new version of IImc is available on the download page. The major addition to IImc 1.1 is the new CTL model checking engine from the CAV’12 paper: ”Incremental Inductive CTL Model Checking” by Z. Hassan, A. R. Bradley, and F. … Continue reading
Welcome to IImc. The first release is ready on the download page!