A Toolbox For Property Checking From Simulation Using Incremental SAT (Extended Abstract)

Rob Sumners

We present a tool that primarily supports the ability to check bounded properties starting from a sequence of states in a run. The target design is compiled into an AIGNET which is…