aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various/abc9.ys
Commit message (Expand)AuthorAgeFilesLines
* abc9: uniquify blackboxes like whiteboxes (#2695)Eddie Hung2021-03-291-1/+56
* abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_Eddie Hung2020-05-291-1/+2
* abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove itEddie Hung2020-05-141-3/+8
* abc9: not enough to techmap_fail on (* init=1 *), hide them using $__Eddie Hung2020-05-141-2/+21
* abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ tooEddie Hung2020-05-141-5/+7
* abc9: add testcase reduced from #1970Eddie Hung2020-04-201-0/+19
* write_xaiger: fix for (* keep *) on flop outputEddie Hung2020-01-211-0/+15
* Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adffEddie Hung2019-11-211-1/+1
|\
* | async2sync -> clk2fflogicEddie Hung2019-11-211-1/+1
* | Add a equiv test tooEddie Hung2019-11-191-0/+16
|/
* Update test with more accurate LUT maskEddie Hung2019-07-121-1/+1
* Add testEddie Hung2019-07-021-0/+10
* Add tests/various/abc9.{v,ys} with SCC testEddie Hung2019-06-241-0/+14