428 commits

Author	SHA1	Message	Date
Eddie Hung	d06d4f35c3	Merge remote-tracking branch 'origin/clifford/libwb' into xaig	2019-04-21 18:10:46 -07:00
Clifford Wolf	7b35d57592	Disable blackbox detection in techmap files ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-04-22 02:07:36 +02:00
Eddie Hung	caec7f9d2c	Merge remote-tracking branch 'origin/master' into xaig	2019-04-20 12:23:49 -07:00
Clifford Wolf	f84a84e3f1	Merge pull request #943 from YosysHQ/clifford/whitebox ... [WIP] Add "whitebox" attribute, add "read_verilog -wb"	2019-04-20 20:51:54 +02:00
Clifford Wolf	f3ad8d680a	Add "techmap -wb", use in formal flows ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-04-20 11:23:24 +02:00
Clifford Wolf	b7445ef387	Check blackbox attribute in techmap/simplemap ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-04-20 11:10:05 +02:00
Eddie Hung	9dec3d9978	Spelling fixes	2019-04-19 14:00:22 +02:00
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	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	afcb86c3d1	abc9 to call "setundef -zero" behaving as for abc	2019-04-16 13:10:13 -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	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	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
Eddie Hung	d559023007	Fix S0 -> S1	2019-04-05 16:28:14 -07:00
Eddie Hung	3c253818ca	"&nf -D 0" fails => use "-D 1" instead	2019-04-05 15:30:19 -07:00
Eddie Hung	19271bd996	abc -dff now implies "-D 0" otherwise retiming doesn't happen	2019-04-05 14:42:25 -07:00
Niels Moseley	263ab60b43	Liberty file parser now accepts superfluous ;	2019-03-27 15:17:58 +01:00
Niels Moseley	487cb45b87	Liberty file parser now accepts superfluous ;	2019-03-27 15:15:53 +01:00
Niels Moseley	1f7f54e68e	spaces -> tabs	2019-03-25 14:12:04 +01:00
Niels Moseley	9d9cc8a314	EOL is now accepted as ';' replacement on lines that look like: feature_xyz(option)	2019-03-25 12:15:10 +01:00
Niels Moseley	3b3b77291a	Updated the liberty parser to accept [A:B] ranges (AST has not been updated). Liberty parser now also accepts key : value pair lines that do not end in ';'.	2019-03-24 22:54:18 +01:00
Eddie Hung	f7c7003a19	Merge remote-tracking branch 'origin/master' into xaig	2019-02-26 13:16:03 -08:00
Eddie Hung	7cac3b1c8b	abc9 -- multiple connections for inouts	2019-02-26 12:18:28 -08:00
Larry Doolittle	61fc411c5d	Clean up some whitepsace outliers	2019-02-26 09:39:46 -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	3307295488	Merge branch 'read_aiger' into xaig	2019-02-21 14:27:32 -08:00