7411 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Eddie Hung	295bb23ae0	Wrap FDRE with $__ABC_FDRE containing comb	2019-06-15 09:08:56 -07:00
Eddie Hung	da487c4f31	For now, short $_DFF_[NP]_ from ff_map.v at re-integration	2019-06-15 09:08:18 -07:00
Eddie Hung	2ef2aa997c	read_aiger to not require clk_name for latches, plus debug	2019-06-15 09:07:53 -07:00
Eddie Hung	357d36ef4f	write_xaiger to treat abc_flop boxes as boxff for ABC	2019-06-15 09:07:03 -07:00
Eddie Hung	842c110357	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-15 05:48:47 -07:00
Eddie Hung	bf312043d4	Fix upper XC7 LUT[78] delays to use I[01] -> O delay not S -> O	2019-06-15 05:45:16 -07:00
Eddie Hung	627ea0b2a9	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-14 14:20:36 -07:00
Eddie Hung	7ff8330d1e	Leave breadcrumb behind	2019-06-14 13:34:40 -07:00
Eddie Hung	46e69ee934	Remove redundant condition	2019-06-14 13:31:18 -07:00
Eddie Hung	9b55e69755	Revert "Cleanup/optimise toposort in write_xaiger" ... This reverts commit 1948e7c846. Restores old toposort with optimisations	2019-06-14 13:29:36 -07:00