FuseIC3

An Algorithm for Checking Large Design Spaces

Rohit Dureja and Kristin Yvonne Rozier

This webpage contains further details and artifacts for reproducibility of the experiments in "FuseIC3: An Algorithm for Checking Large Design Spaces" by R. Dureja and K.Y. Rozier.

---

Results

We evaluate FuseIC3 against several challenging benchmarks. Most of the experimental results have been summarised in the paper.

Data to regenerate all plots and tables in the paper can be found here.