359 commits

Author	SHA1	Message	Date
Eddie Hung	6ad09bfcea	Add &fraig and &mfs back	2019-05-24 15:10:18 -07:00
Eddie Hung	d9c915042a	Move clean from aigerparse to abc9	2019-04-23 13:42:35 -07:00
Eddie Hung	5f30a8795d	Tidy up	2019-04-22 17:47:05 -07:00
Eddie Hung	4cfef7897f	Merge branch 'xaig' into xc7mux	2019-04-22 11:58:59 -07:00
Eddie Hung	a20ed260e1	Skip if abc_box_id earlier	2019-04-17 16:36:03 -07:00
Eddie Hung	abcd3103ff	Do not print slack histogram	2019-04-17 15:11:14 -07:00
Eddie Hung	fd89c1056e	Working ABC9 script	2019-04-17 12:33:32 -07:00
Eddie Hung	ae2653c50f	abc9 to output some more info	2019-04-16 16:39:16 -07:00
Eddie Hung	55a3638c71	Port from xc7mux branch	2019-04-16 15:01:45 -07:00
Eddie Hung	fc5fda595d	Merge branch 'xaig' into xc7mux	2019-04-16 13:15:53 -07:00
Eddie Hung	afcb86c3d1	abc9 to call "setundef -zero" behaving as for abc	2019-04-16 13:10:13 -07:00
Eddie Hung	98c297fabf	ABC to read_box before reading netlist	2019-04-16 12:44:10 -07:00
Eddie Hung	a2b106135b	Do not call abc on modules with abc_box_id attr	2019-04-16 11:19:42 -07:00
Eddie Hung	538592067e	Merge branch 'xaig' into xc7mux	2019-04-15 22:04:20 -07:00
Eddie Hung	9bfcd80063	Handle __dummy_o__ and __const[01]__ in read_aiger not abc	2019-04-12 18:21:16 -07:00
Eddie Hung	482a60825b	abc to ignore __dummy_o__ and __const[01]__ when re-integrating	2019-04-12 18:16:50 -07:00
Eddie Hung	88d43a519b	Use -map instead of -symbols for aiger	2019-04-12 16:29:14 -07:00
Eddie Hung	941365b4bb	Comment out	2019-04-12 12:29:04 -07:00
Eddie Hung	04e466d5e4	Add support for synth_xilinx -abc9 and ignore abc9 -dress opt	2019-04-12 12:28:37 -07:00
Eddie Hung	d536379c62	Add "-lut <file>" support to abc9	2019-04-09 14:31:31 -07:00
Eddie Hung	7e304c362b	Add "-box" option to abc9	2019-04-09 10:58:06 -07:00
Eddie Hung	bd523abef5	Add 'setundef -zero' call prior to aigmap in abc9	2019-04-09 10:32:58 -07:00
Eddie Hung	3b6f85b0a6	Comment out	2019-04-09 10:09:43 -07:00
Eddie Hung	3fc474aa73	Add support for synth_xilinx -abc9 and ignore abc9 -dress opt	2019-04-09 10:06:44 -07:00
Eddie Hung	12c34136ba	More space fixing	2019-04-08 16:40:17 -07:00
Eddie Hung	7cac3b1c8b	abc9 -- multiple connections for inouts	2019-02-26 12:18:28 -08:00
Eddie Hung	967297cd57	abc9 cleanup	2019-02-25 18:40:53 -08:00
Eddie Hung	721f6a14fb	read_aiger to accept empty string for clk_name, passable only if no latches	2019-02-25 15:34:02 -08:00
Eddie Hung	0ca3fd6a1c	abc9 not to clean after aigmap	2019-02-25 15:31:52 -08:00
Eddie Hung	51f28a6747	abc9 to call "clean" once at the end of all abc9_module() calls	2019-02-25 12:55:47 -08:00
Eddie Hung	d56f02d1fc	abc9 to use AIGER symbol table, as opposed to map file	2019-02-21 17:03:40 -08:00
Eddie Hung	2811d66dea	Revert "abc9 to write_xaiger -symbols, not -map" ... This reverts commit 04429f8152.	2019-02-21 14:58:40 -08:00
Eddie Hung	7ad9628f07	Remove irrelevant citations	2019-02-21 14:41:11 -08:00
Eddie Hung	085ed9f487	Add attribution	2019-02-21 14:40:13 -08:00
Eddie Hung	875a02a6f2	abc9 to not select anything extra, and pop selection after final clean	2019-02-21 14:38:52 -08:00
Eddie Hung	04429f8152	abc9 to write_xaiger -symbols, not -map	2019-02-21 14:28:36 -08:00
Eddie Hung	7f8f36273a	abc9 to use &mfs	2019-02-21 13:16:24 -08:00
Eddie Hung	6b96df41bc	abc9 to only disconnect output ports of AND and NOT gates	2019-02-21 11:15:47 -08:00
Eddie Hung	7f26043caf	ABC -> ABC9	2019-02-20 17:36:57 -08:00
Eddie Hung	e5b8bb9faa	abc9 to disconnect mapped_mods POs correctly, and do not count $_NOT_	2019-02-20 17:33:35 -08:00
Eddie Hung	32853b1f8d	lut/not/and suffix to be ${lut,not,and}	2019-02-20 16:30:30 -08:00
Eddie Hung	2ca83005fb	abc9 to cope with multiple modules	2019-02-20 12:56:15 -08:00
Eddie Hung	d6b317b349	abc9 to use & syntax for -fast, and name fixes	2019-02-20 12:40:17 -08:00
Eddie Hung	62e5ff9ba8	abc9 to cope with indexed wires when creating $lut from $_NOT_	2019-02-19 16:06:03 -08:00
Eddie Hung	8158bc3f99	abc9 to replace $_NOT_ with $lut	2019-02-19 12:30:20 -08:00
Eddie Hung	45d49d5d14	Get rid of debugging stuff in abc9	2019-02-16 22:25:22 -08:00
Eddie Hung	f853b2f3c1	abc9 to write_aiger with -O option, and ignore dummy outputs	2019-02-16 20:09:40 -08:00
Eddie Hung	d8c4d4e6c7	abc9 to handle comb loops, cope with constant outputs, disconnect using new wire	2019-02-16 13:47:38 -08:00
Eddie Hung	d4545d415b	abc9 to cope with non-wideports, count cells properly	2019-02-16 08:53:06 -08:00
Eddie Hung	f8d0134598	Move lookup inside if	2019-02-15 15:23:26 -08:00