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.