1743 commits

Author	SHA1	Message	Date
Eddie Hung	290a798cec	Ignore 'whitebox' attr in flatten with "-wb" option	2019-04-18 10:32:00 -07:00
Eddie Hung	c997a77014	Ignore 'whitebox' attr in flatten with "-wb" option	2019-04-18 10:19:45 -07:00
Eddie Hung	070a2d2fd6	Fix abc's remap_name to not ignore [^0-9] when extracting sid	2019-04-18 09:55:03 -07:00
Eddie Hung	8fe0a961b3	Merge remote-tracking branch 'origin/clifford/whitebox' into xaig	2019-04-18 09:00:06 -07:00
Eddie Hung	9aa94370a5	ABC to call retime all the time	2019-04-18 08:46:41 -07:00
Clifford Wolf	f4abc21d8a	Add "whitebox" attribute, add "read_verilog -wb" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-04-18 17:45:47 +02:00
Eddie Hung	0642baabbc	Merge branch 'master' into eddie/fix_retime	2019-04-18 07:57:17 -07:00
Clifford Wolf	88be1cbfa5	Improve proc full_case detection and handling, fixes #931 ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-04-18 15:13:47 +02:00
Eddie Hung	a20ed260e1	Skip if abc_box_id earlier	2019-04-17 16:36:03 -07:00
Eddie Hung	709f76c107	Remove use of abc_box_id in stat	2019-04-17 16:35:27 -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	b015ed48f7	Merge remote-tracking branch 'origin/master' into xaig	2019-04-16 15:04:20 -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	b89bb74452	For 'stat' do not count modules with abc_box_id	2019-04-16 11:19:54 -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	4da4a6da2f	Revert #895	2019-04-16 11:07:51 -07:00
Eddie Hung	538592067e	Merge branch 'xaig' into xc7mux	2019-04-15 22:04:20 -07:00
Eddie Hung	0391499e46	Merge remote-tracking branch 'origin/master' into xaig	2019-04-15 21:56:45 -07:00
Eddie Hung	b3378745fd	Revert "Recognise default entry in case even if all cases covered (fix for #931)"	2019-04-15 17:52:45 -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	f77da46a87	Merge remote-tracking branch 'origin/master' into xaig	2019-04-12 12:21:48 -07:00
Eddie Hung	3c1f1a6605	Fix ordering of when to insert zero index	2019-04-11 16:25:59 -07:00
Eddie Hung	53513c52df	Merge remote-tracking branch 'origin/pmux2shiftx' into xc7mux	2019-04-11 16:21:01 -07:00
Eddie Hung	f587950bde	More unused	2019-04-11 16:20:43 -07:00
Eddie Hung	35181a7866	Merge remote-tracking branch 'origin/pmux2shiftx' into xc7mux	2019-04-11 16:18:45 -07:00
Eddie Hung	b15b410b41	Remove unused	2019-04-11 16:18:01 -07:00
Eddie Hung	b1f1db2fcf	Fixes	2019-04-11 16:17:09 -07:00
Eddie Hung	e8c26f2839	WIP	2019-04-11 15:52:04 -07:00
Eddie Hung	09e7eb7aed	Spelling fixes	2019-04-11 15:09:13 -07:00
Eddie Hung	adc6efb584	Recognise default entry in case even if all cases covered (#931)	2019-04-11 12:34:51 -07:00
Eddie Hung	5f4024ffd2	Revert "abc -dff now implies "-D 0" otherwise retiming doesn't happen" ... This reverts commit 19271bd996.	2019-04-10 08:31:40 -07:00
Eddie Hung	78d35a86c0	Revert ""&nf -D 0" fails => use "-D 1" instead" ... This reverts commit 3c253818ca.	2019-04-10 08:31:35 -07:00
Eddie Hung	c89cd48f58	Merge remote-tracking branch 'origin/master' into eddie/fix_retime	2019-04-10 08:23:00 -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	0deaccbaae	Fix a few typos	2019-04-08 16:46:33 -07:00
Eddie Hung	12c34136ba	More space fixing	2019-04-08 16:40:17 -07:00
Eddie Hung	bca3cf6843	Merge branch 'master' into xaig	2019-04-08 16:31:59 -07:00