12 commits

Author	SHA1	Message	Date
Eddie Hung	d3b53bc495	abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_	2020-05-29 17:17:40 -07:00
Eddie Hung	13f9d65b6f	abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it	2020-05-14 10:33:57 -07:00
Eddie Hung	722540dbf9	abc9: not enough to techmap_fail on (* init=1 *), hide them using $__	2020-05-14 10:33:56 -07:00
Eddie Hung	48052ad813	abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too	2020-05-14 10:33:56 -07:00
Eddie Hung	34d8ff8b56	abc9: add testcase reduced from #1970	2020-04-20 09:38:29 -07:00
Eddie Hung	cd8f55a911	write_xaiger: fix for (* keep *) on flop output	2020-01-21 09:43:04 -08:00
Eddie Hung	fe36275234	Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff	2019-11-21 16:32:52 -08:00
Eddie Hung	39fdcb892b	async2sync -> clk2fflogic	2019-11-21 16:27:34 -08:00
Eddie Hung	1cc106452f	Add a equiv test too	2019-11-19 17:05:14 -08:00
Eddie Hung	41243a53b3	Update test with more accurate LUT mask	2019-07-12 21:00:59 -07:00
Eddie Hung	9c556e3c02	Add test	2019-07-02 19:13:40 -07:00
Eddie Hung	9dca024a30	Add tests/various/abc9.{v,ys} with SCC test	2019-06-24 21:52:53 -07:00