16 Commits

Author	SHA1	Message	Date
Eddie Hung	73526a6f10	read_aiger: also parse abc9_mergeability	2020-01-22 14:21:25 -08:00
Eddie Hung	ee95fa959a	read_aiger: uniquify wires with $aiger<autoidx> prefix	2020-01-13 21:28:27 -08:00
Eddie Hung	96db05aaef	parse_xaiger to not take box_lookup	2019-12-31 17:06:03 -08:00
Eddie Hung	03ec8d6551	Run "clean" on mapped_mod in its own design	2019-08-07 09:54:27 -07:00
Eddie Hung	b21d29598a	Consistency	2019-06-12 09:40:51 -07:00
Eddie Hung	f7a9769c14	Merge remote-tracking branch 'origin/master' into xaig	2019-06-12 08:50:39 -07:00
Eddie Hung	a04521c6b7	Fix read_aiger -- create zero driver, fix init width, parse 'b'	2019-06-07 11:07:15 -07:00
Eddie Hung	bca3cf6843	Merge branch 'master' into xaig	2019-04-08 16:31:59 -07:00
Eddie Hung	3e89cf68bd	Add author name	2019-03-19 08:52:06 -07:00
Eddie Hung	13bf036bd6	Use ConstEval to compute LUT masks	2019-02-13 17:00:00 -08:00
Eddie Hung	e9df9a466a	Add support for read_aiger -wideports	2019-02-12 12:58:10 -08:00
Eddie Hung	06ba81d41f	Add support for read_aiger -map	2019-02-12 12:16:37 -08:00
Eddie Hung	0124512f28	Add read_xaiger	2019-02-11 15:19:17 -08:00
Eddie Hung	fb8ad440a3	Allow module name to be determined by argument too	2019-02-08 12:40:43 -08:00
Eddie Hung	f1befe1b44	Refactor into AigerReader class	2019-02-08 12:04:26 -08:00
Eddie Hung	cc0b723484	WIP	2019-02-06 12:19:48 -08:00