484 commits

Author	SHA1	Message	Date
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	bca3cf6843	Merge branch 'master' into xaig	2019-04-08 16:31:59 -07:00
Eddie Hung	6797f6b6c4	$_XILINX_SHREG_ to preserve src attribute	2019-04-08 16:24:20 -07:00
Eddie Hung	93b1621911	Cope with undoing #895	2019-04-08 15:57:07 -07:00
Eddie Hung	d3930ca79e	Revert "Remove handling for $pmux, since #895" ... This reverts commit aa693d5723.	2019-04-08 12:01:06 -07:00
Eddie Hung	1d526b7f06	Call shregmap twice -- once for variable, another for fixed	2019-04-05 17:35:49 -07:00
Eddie Hung	4afcad70e2	Merge branch 'eddie/fix_retime' into xc7srl	2019-04-05 16:30:17 -07:00
Eddie Hung	d559023007	Fix S0 -> S1	2019-04-05 16:28:14 -07:00
Eddie Hung	0364a5d811	Merge branch 'eddie/fix_retime' into xc7srl	2019-04-05 15:46:18 -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
Eddie Hung	aa693d5723	Remove handling for $pmux, since #895	2019-04-03 08:35:32 -07:00
Eddie Hung	d8465590ac	Merge remote-tracking branch 'origin/master' into xc7srl	2019-04-03 03:36:11 -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
Eddie Hung	6b90d3cf6c	Merge remote-tracking branch 'origin/master' into xc7srl	2019-03-25 13:17:22 -07: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	bf83c074c8	Cope with SHREG not having E port; Revert $pmux fine tune	2019-03-23 16:09:38 -07:00
Eddie Hung	098bd5758f	Add support for SHREGMAP+$mux, also fine tune $pmux	2019-03-22 23:22:19 -07:00
Eddie Hung	0895093c7c	Leftover printf	2019-03-22 19:14:04 -07:00
Eddie Hung	456295eb66	Fixes for multibit	2019-03-22 18:32:42 -07:00
Eddie Hung	03d108cd1f	Working for 1 bit	2019-03-22 17:46:49 -07:00
Eddie Hung	5597270b9e	Opt	2019-03-21 10:20:27 -07:00
Eddie Hung	2b911e270b	Fix spacing	2019-03-20 12:28:39 -07:00
Eddie Hung	505e4c2d59	Revert $__SHREG_ to orig; use $__XILINX_SHREG for variable length	2019-03-19 21:58:05 -07:00
Eddie Hung	5445cd4d00	Add support for variable length Xilinx SRL > 128	2019-03-19 17:44:33 -07:00
Eddie Hung	4cd8f02973	shregmap -tech xilinx to delete $shiftx for var length SRL	2019-03-19 15:05:08 -07:00
Eddie Hung	0ea7eba5f1	Make output port a non chain user	2019-03-19 13:08:43 -07:00
Eddie Hung	ed32119d13	Fix shregmap to correctly recognise non chain users; cleanup	2019-03-18 16:12:19 -07:00
Eddie Hung	b94db54664	shiftx NULL pointer check	2019-03-18 13:35:54 -07:00
Eddie Hung	d6d9ef0fee	Cleanup	2019-03-16 12:49:46 -07:00
Eddie Hung	fadeadb8c8	Only accept <128 for variable length, only if $shiftx exclusive	2019-03-16 08:51:13 -07:00
Eddie Hung	06f8f2654a	Working	2019-03-15 19:13:40 -07:00
Eddie Hung	8af9979aab	Revert "Add shregmap -init_msb_first and use in synth_xilinx" ... This reverts commit 26ecbc1aee.	2019-03-14 09:01:48 -07:00
Eddie Hung	f1a8e8a480	Merge remote-tracking branch 'origin/master' into xc7srl	2019-03-14 08:59:19 -07:00
Eddie Hung	26ecbc1aee	Add shregmap -init_msb_first and use in synth_xilinx	2019-03-14 08:10:02 -07: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