yosys

mirror of https://github.com/YosysHQ/yosys.git

Author	SHA1	Message	Date
Clifford Wolf	c330379870	Make tests/aiger less chatty Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-19 12:20:35 +02:00
Eddie Hung	a91ea6612a	Add some more comments	2019-06-10 10:27:55 -07:00
Eddie Hung	65924fd12f	Test .aag too, by using .aig as reference	2019-06-07 11:28:05 -07:00
Eddie Hung	ebe29b6659	Use ABC to convert AIGER to Verilog, then sat against Yosys	2019-06-07 11:05:36 -07:00
Eddie Hung	587872236e	Support and differentiate between ASCII and binary AIG testing	2019-02-08 12:41:59 -08:00
Eddie Hung	fdd55d064b	Rename ASCII tests	2019-02-06 12:20:36 -08:00