62 commits

Author	SHA1	Message	Date
Clifford Wolf	28e14ee50a	Fixed handling of "keep" attribute on wires in opt_clean	2014-02-16 21:58:27 +01:00
Clifford Wolf	67effc9f5b	Fixed opt_const handling of double invert with non-1 output width	2014-02-15 13:16:08 +01:00
Clifford Wolf	82c98bbbe6	Added opt -purge (frontend to opt_clean -purge)	2014-02-08 14:21:34 +01:00
Clifford Wolf	922d1c9520	Only count non-trivial attributes when findinf master signal in opt_clean	2014-02-08 14:21:04 +01:00
Clifford Wolf	274bcef66c	Improved detection of primary wire for a signal in opt_clean	2014-02-07 23:50:17 +01:00
Clifford Wolf	594d52e0b6	Added opt_const -undriven	2014-02-06 15:49:03 +01:00
Clifford Wolf	99b9c56da1	Fixed detection of init attribute in opt_rmdff	2014-02-04 23:00:32 +01:00
Clifford Wolf	ecdf1f5577	Improved handling of reg init in opt_share and opt_rmdff	2014-02-04 12:02:47 +01:00
Clifford Wolf	de336d93b2	More opt_const -mux_bool features	2014-02-02 22:41:24 +01:00
Clifford Wolf	9d0b69edaa	Added opt_const -mux_bool	2014-02-02 22:11:08 +01:00
Clifford Wolf	bee4450c4c	Added support for inverter chains to opt_const	2014-02-02 21:46:42 +01:00
Clifford Wolf	83fa652820	Added constant-clock case to opt_rmdff	2014-02-02 21:09:08 +01:00
Clifford Wolf	1e67099b77	Added $assert cell	2014-01-19 14:03:40 +01:00
Clifford Wolf	2e370d5a2f	Added support for $adff with undef data inputs to opt_rmdff	2014-01-17 16:42:40 +01:00
Clifford Wolf	54275c61ee	Added "opt_const -mux_undef"	2014-01-14 11:10:29 +01:00
Clifford Wolf	bd39263796	Improved $_MUX_ handling in opt_const	2013-12-28 10:30:31 +01:00
Clifford Wolf	d81e3ed3ae	More conservastive $eq/$ne/$eqx/$nex opt_const code	2013-12-28 10:29:22 +01:00
Clifford Wolf	c9699fe76d	More $eq/$ne/$eqx/$nex fixes in opt_const	2013-12-27 15:18:14 +01:00
Clifford Wolf	7b02a44efb	Fixed/improved opt_const $eq/$ne/$eqx/$nex handling	2013-12-27 14:21:24 +01:00
Clifford Wolf	369bf81a70	Added support for non-const === and !== (for miter circuits)	2013-12-27 14:20:15 +01:00
Clifford Wolf	e5b974fa2a	Cleanups and bugfixes in response to new internal cell checker	2013-11-11 00:39:45 +01:00
Clifford Wolf	b04051a0e2	Fixed keep attribute on wires in opt_clean	2013-11-08 05:20:15 +01:00
Clifford Wolf	947bd9b96b	Renamed extend_un0() to extend_u0() and use it in genrtlil	2013-11-07 18:17:10 +01:00
Clifford Wolf	0e1661f84e	Fixed type of sign extension in opt_const $eq/$ne handling	2013-11-07 16:53:28 +01:00
Clifford Wolf	db42a8f89b	Fixed $eq/$ne bitwise optimization in opt_const	2013-11-07 11:54:59 +01:00
Clifford Wolf	1d34fd7608	Added support for "keep" attributes on wires	2013-11-05 15:52:29 +01:00
Clifford Wolf	e679a5d046	Fixed handling of boolean attributes (passes)	2013-10-24 11:37:54 +02:00
Clifford Wolf	8cc53ef72c	Only prefer connected signals iff they have public names	2013-10-17 22:10:55 +02:00
Clifford Wolf	c20571ca5e	Avoid re-arranging signals on register outputs	2013-10-17 20:48:40 +02:00
Clifford Wolf	f5c0ed6c79	Fixed detection of major wires in opt_clean	2013-10-17 02:41:59 +02:00
Clifford Wolf	96e7abad48	Added iopadmap pass	2013-10-16 16:16:06 +02:00
Clifford Wolf	a5836af172	Added "clean -purge" and ";;;" support	2013-08-11 13:59:14 +02:00
Clifford Wolf	080f0aac34	Added ";;" as shortcut for "; clean;"	2013-08-11 13:33:38 +02:00
Clifford Wolf	05483619f0	Some fixes to improve determinism	2013-08-09 12:42:32 +02:00
Clifford Wolf	8cd153612e	Added "clean" command (less verbose opt_clean)	2013-08-08 10:53:37 +02:00
Clifford Wolf	e729857647	Improved handling of private names in opt_clean and rename commands	2013-08-07 18:39:49 +02:00
Clifford Wolf	a9fefc6ce1	Bugfixes for empty signal vectors	2013-07-10 12:52:29 +02:00
Clifford Wolf	cf885c4a28	Added opt_clean -purge option	2013-07-07 12:59:30 +02:00
Clifford Wolf	0c0197cf45	Fixed handling of $eq and $ne in opt_const	2013-07-07 12:59:00 +02:00
Clifford Wolf	c32b918681	Renamed opt_rmunused to opt_clean	2013-06-05 07:07:31 +02:00
Clifford Wolf	ccd2a93439	Added log_abort() api	2013-05-24 12:32:06 +02:00
Clifford Wolf	f674150f1c	Fixed memory corruption bug in opt_rmunused	2013-05-23 13:19:28 +02:00
Clifford Wolf	3b8882ae49	Some improvements in opt_rmdff	2013-05-23 07:48:18 +02:00
Clifford Wolf	3ecc314238	Fixed to aggressive x-folding in opt_const	2013-05-17 14:55:18 +02:00
Clifford Wolf	c6198ea5a8	Fixed a bug in opt_const when optimizing 1-bit compares with constants	2013-04-13 21:18:24 +02:00
Clifford Wolf	88af5b6a16	Improved opt_share for reduce cells	2013-03-29 11:19:21 +01:00
Clifford Wolf	0d48b846ac	Improved opt_share for commutative standard cells	2013-03-29 11:01:26 +01:00
Clifford Wolf	9f10acb840	added optimizations for single-bit $eq/$ne with constant input to opt_const	2013-03-19 13:33:33 +01:00
Clifford Wolf	d8a7fa6b67	improved $mux optimization in opt_const	2013-03-19 13:32:39 +01:00
Clifford Wolf	b7fcf1fb9a	keep $mux and $_MUX_ optimizations separate in opt_const	2013-03-19 13:32:04 +01:00