Abc-example-scripts
Example scripts to use with aignet-abc.
- Combinational equivalence checking:
&r input-filename
&put
dcec
print_status
write_cex ctrex-filename
- Combinational simplification:
&r input-filename
&put
dc2
dfraig
&get
&w output-filename
- Combinational simplification followed by equivalence checking:
&r input-filename
&put
dc2
dfraig
dcec
print_status
write_cex ctrex-filename
&get
&w output-filename
- Sequential model/equivalence checking:
&r input-filename
&put
dprove
print_status
write_cex ctrex-filename
- Sequential simplification:
&r input-filename
&put
scleanup
scorr
dretime
&get
&w output-filename
- Sequential simplification and proof:
&r input-filename
&put
dprove -u
print_status
write_cex ctrex-filename
&get
&w output-filename
