8 commits

Author	SHA1	Message	Date
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