6671 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Eddie Hung	ac18a76beb	Map to $_FF_ instead of $_DFF_P_ to prevent recursion issues	2019-06-15 09:34:48 -07:00
Eddie Hung	7a3c403ba0	Missing close bracket	2019-06-15 09:10:01 -07:00