8976 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Eddie Hung	8f5e6d73ff	Revert "Fix (do not) permute LUT inputs, but permute mux selects" ... This reverts commit da3d2eedd2.	2019-06-18 11:35:21 -07:00
Eddie Hung	3d283e69f8	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-18 09:51:28 -07:00
Eddie Hung	b304744d15	Clean up	2019-06-18 09:50:37 -07:00
Eddie Hung	da3d2eedd2	Fix (do not) permute LUT inputs, but permute mux selects	2019-06-18 09:49:57 -07:00
Clifford Wolf	64947453e2	Merge pull request #1086 from udif/pr_elab_sys_tasks2 ... Fixed broken $error()/$info/$warning() on non-generate blocks (within always/initial blocks)	2019-06-18 16:52:08 +02:00
Eddie Hung	2b0e28b261	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-17 22:29:34 -07:00
Eddie Hung	608a95eb01	Fix copy-pasta issue	2019-06-17 22:29:22 -07:00
Eddie Hung	59b4e69d16	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-17 22:25:14 -07:00
Eddie Hung	2a35c4ef94	Permute INIT for +/xilinx/lut_map.v	2019-06-17 22:24:35 -07:00
Eddie Hung	75f8b4cf10	Simplify comment	2019-06-17 19:14:41 -07:00
Eddie Hung	75d92fb590	Merge branch 'xaig' into xaig_dff	2019-06-17 19:11:07 -07:00
Eddie Hung	9d56c0d525	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-17 18:25:35 -07:00
Eddie Hung	840562943f	Update LUT7/8 delays to take account for [ABC]OUTMUX delay	2019-06-17 17:06:01 -07:00
Eddie Hung	8a86f9bb62	Add box delays for FD*	2019-06-17 15:13:05 -07:00
Eddie Hung	d80678e581	Cleanup	2019-06-17 15:10:33 -07:00
Eddie Hung	3ebba74461	Merge branch 'xaig' into xaig_dff	2019-06-17 13:51:53 -07:00
Eddie Hung	8d40830ee4	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-17 13:33:47 -07:00
Eddie Hung	4d6d593fe3	&scorr before &sweep, remove &retime as recommended	2019-06-17 13:32:08 -07:00
Eddie Hung	4b9eefe3b6	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-17 13:20:29 -07:00
Eddie Hung	a474fe937b	Merge branch 'xaig' into xaig_dff	2019-06-17 13:20:19 -07:00
Eddie Hung	63fc879a5f	Copy not move parameters/attributes	2019-06-17 13:19:45 -07:00
Eddie Hung	0c9cf89239	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-17 12:59:05 -07:00
Eddie Hung	7dd3a7f161	Merge branch 'xaig' into xaig_dff	2019-06-17 12:58:41 -07:00
Eddie Hung	b45d06d7a3	Fix leak removing cells during ABC integration; also preserve attr	2019-06-17 12:54:24 -07:00
Eddie Hung	5ce672d1c5	Merge remote-tracking branch 'origin/xaig' into xaig_dff	2019-06-17 12:14:55 -07:00
Eddie Hung	76a72283e2	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-17 10:38:54 -07:00
Eddie Hung	c15ee827f4	Try -W 300	2019-06-17 10:29:06 -07:00
Eddie Hung	7250c57c5a	Re-enable &dc2	2019-06-17 10:28:51 -07:00
Clifford Wolf	c23bbc4291	Add timescale and generated-by header to yosys-smtbmc MkVcd ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-16 23:12:03 +02:00
Eddie Hung	1ec450d6bf	Try -W 300	2019-06-16 12:08:03 -07:00
Eddie Hung	5f9ba3ea41	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-16 12:05:07 -07:00
Eddie Hung	0c59bc0b75	Cleanup	2019-06-16 10:42:00 -07:00
Eddie Hung	59dcfcc919	Merge branch 'xaig' into xaig_dff	2019-06-16 09:35:59 -07:00
Eddie Hung	fb90d8c18c	Cleanup	2019-06-16 09:34:26 -07:00
Eddie Hung	6852c83bbe	Cleanup write_xaiger	2019-06-15 22:50:15 -07:00
Eddie Hung	3ed95dae8d	Cleanup	2019-06-15 22:48:16 -07:00
Eddie Hung	416312b9ed	abc9 to recover_init by default	2019-06-15 22:44:45 -07:00
Eddie Hung	3d1185b835	Read init from outputs	2019-06-15 22:41:42 -07:00
Eddie Hung	d969a9060e	Add +/xilinx/abc_ff	2019-06-15 22:41:29 -07:00
Eddie Hung	bd2690e9b9	Preserve init of flops, and write into XAIG	2019-06-15 22:41:13 -07:00
Eddie Hung	2309459605	Do not treat $__ABC_FF_ as a user cell	2019-06-15 19:36:55 -07:00
Eddie Hung	9ec57b46c2	Fix spacing	2019-06-15 19:36:37 -07:00
Eddie Hung	0debea25a7	Update comment	2019-06-15 18:24:04 -07:00
Eddie Hung	cdfb634977	Cleanup	2019-06-15 18:18:56 -07:00
Eddie Hung	c2f3f116d0	Use $__ABC_FF_ instead of $_FF_	2019-06-15 18:16:14 -07:00
Eddie Hung	c04921c3a8	Fix debug message	2019-06-15 18:13:44 -07:00
Eddie Hung	b706ae82de	Fix log_debug messages	2019-06-15 12:42:18 -07:00
Eddie Hung	65c7bafc64	Re-order alphabetically	2019-06-15 10:19:05 -07:00
Eddie Hung	a76c8a7ffd	Fix initialisation of flops	2019-06-15 09:46:35 -07:00
Eddie Hung	6d74b3e004	Update comment	2019-06-15 09:36:02 -07:00