951 commits

Author	SHA1	Message	Date
Clifford Wolf	ccdbf41be6	Improvements in wreduce	2015-10-31 13:39:30 +01:00
Clifford Wolf	0c202a2549	Use mfp<> in equiv_mark	2015-10-27 19:15:35 +01:00
Clifford Wolf	27714acd8a	Improvements in equiv_struct	2015-10-25 22:04:20 +01:00
Clifford Wolf	d014ba2d0e	Major refactoring of equiv_struct	2015-10-25 19:31:29 +01:00
Clifford Wolf	207736b4ee	Import more std:: stuff into Yosys namespace	2015-10-25 19:30:49 +01:00
Clifford Wolf	da923c198e	Added "equiv_add -cell"	2015-10-25 14:35:40 +01:00
Clifford Wolf	83bd27bf6e	equiv_struct now creates equiv_merged attributes	2015-10-25 02:15:20 +02:00
Clifford Wolf	453736d918	Improvements in equiv_struct	2015-10-24 23:04:17 +02:00
Clifford Wolf	7f110e7018	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()	2015-10-24 22:56:40 +02:00
Clifford Wolf	6af8076967	improvement in "stat"	2015-10-24 21:56:53 +02:00
Clifford Wolf	6fe48cf41e	equiv_purge bugfix, using SigChunk in Yosys namespace	2015-10-24 19:09:45 +02:00
Clifford Wolf	2a0f577f83	Fixed handling of driver-driver conflicts in wreduce	2015-10-24 13:44:35 +02:00
Clifford Wolf	4cec1c058d	Added equiv_mark command	2015-10-23 23:56:58 +02:00
Clifford Wolf	c35db8c19e	Disabled "Skipping blackbox module" msg in show command	2015-10-23 20:11:05 +02:00
Clifford Wolf	15a67392f1	Also merge $equiv cells in equiv_struct	2015-10-23 15:26:58 +02:00
Clifford Wolf	d19069b0fb	Improvements in equiv_struct	2015-10-23 15:11:57 +02:00
Clifford Wolf	84a07ffb8a	Added equiv_purge	2015-10-22 15:40:27 +02:00
Clifford Wolf	00e05b1310	Added equiv_struct command	2015-10-21 17:12:35 +02:00
Clifford Wolf	6416dfee93	Improved inout handling in equiv_make	2015-10-21 15:42:50 +02:00
Clifford Wolf	1d83854d84	Bugfixes in handling of "keep" attribute on wires	2015-10-15 14:57:28 +02:00
Clifford Wolf	eb1e3caae7	Fixed "flatten" for unconnected inout ports	2015-10-13 10:30:23 +02:00
Clifford Wolf	c58bd5dc30	Added edgetypes command	2015-09-27 11:53:20 +02:00
Clifford Wolf	281c1f4029	Some cleanups in qwp	2015-09-26 10:42:27 +02:00
Clifford Wolf	ddcfc99f8c	Added "test_cell -noeval"	2015-09-25 17:27:18 +02:00
Clifford Wolf	82028c42e0	Added wreduce $mul support and fixed signed $mul opt_const bug	2015-09-25 17:27:06 +02:00
Clifford Wolf	4864736167	Bugfix in bram read-enable code	2015-09-25 14:22:33 +02:00
Clifford Wolf	924d9d6e86	Added read-enable to memory model	2015-09-25 12:23:11 +02:00
Clifford Wolf	ec92c89659	Added pivoting to qwp solver	2015-09-24 22:16:37 +02:00
Clifford Wolf	69071bbc5f	Improved qwp performance	2015-09-24 21:50:37 +02:00
Clifford Wolf	b1e9cb332d	Added statistics summary to "qwp"	2015-09-24 21:22:24 +02:00
Clifford Wolf	3501f8e364	Fixed memory_bram for ROMs in BRAMs with write-enable inputs	2015-09-24 11:37:15 +02:00
Clifford Wolf	b66bf8bed1	Do not detect fsm state registers with init attribute	2015-09-21 11:54:00 +02:00
Clifford Wolf	11c27b5e69	Bugfix in "qwp" pass	2015-09-21 10:37:24 +02:00
Clifford Wolf	80898dcbc8	Improvements and fixes in "qwp" pass	2015-09-21 01:05:13 +02:00
Clifford Wolf	6329bea873	Added "qwp -dump"	2015-09-20 22:36:35 +02:00
Clifford Wolf	539c5eeb0f	Added "qwp" command	2015-09-20 18:28:46 +02:00
Clifford Wolf	598a475724	Added nlutmap	2015-09-18 21:57:34 +02:00
Clifford Wolf	c851f51656	Added lut2mux pass	2015-09-18 21:55:48 +02:00
Clifford Wolf	db548800b6	Added buffer detection to "abc -lut"	2015-09-18 20:12:56 +02:00
Clifford Wolf	452d4bf741	Added support for "dfflibmap -liberty +/..."	2015-09-18 11:55:57 +02:00
Clifford Wolf	51e1295d79	Added detection of "mux inverter" chains in opt_const	2015-09-18 11:55:31 +02:00
Clifford Wolf	b7535a6c75	Added $logic_not handling to fsm_detect	2015-09-18 10:46:50 +02:00
Clifford Wolf	e7c018e5d1	Fixed sharing of $memrd cells	2015-09-12 16:01:20 +02:00
Clifford Wolf	6f9a6fd783	Fixed port ordering in "splitnets" cmd	2015-09-01 13:10:36 +02:00
Clifford Wolf	b10ea0550d	gcc-4.6 build fixes	2015-09-01 12:51:23 +02:00
Clifford Wolf	24e7cf89bc	Fixed iopadmap help message	2015-08-31 16:49:42 +02:00
Clifford Wolf	92dce21f6e	Using dict<> and pool<> in alumacc pass	2015-08-31 16:26:01 +02:00
Clifford Wolf	f40d1b78b6	Added sat -show-regs, -show-public, -show-all	2015-08-18 17:14:30 +02:00
Clifford Wolf	246e362717	Bugfix in fsm_detect for complex muxtrees	2015-08-18 14:17:50 +02:00
Clifford Wolf	f43815054e	Properly clean up unused "init" attributes	2015-08-18 13:50:15 +02:00