789 commits

Author	SHA1	Message	Date
Clifford Wolf	5a0f561d9c	Now */ is optional in */<mode>:<arg> selections	2014-01-02 20:35:37 +01:00
Clifford Wolf	456ae31a8a	Added "rename -hide" command	2014-01-02 20:23:34 +01:00
Clifford Wolf	0759c97748	More "freduce" related fixes and improvements	2014-01-02 19:37:34 +01:00
Clifford Wolf	ced4d7b321	Added support for module->connections to select %ci, %co and %x handling	2014-01-02 18:44:24 +01:00
Clifford Wolf	c6b33f81eb	Some cleanups in freduce -inv mode (and switched from -noinv to -inv)	2014-01-02 18:11:01 +01:00
Clifford Wolf	249ef8695a	Major rewrite of "freduce" command	2014-01-02 16:52:33 +01:00
Clifford Wolf	e09ebf475c	Fixed use of limited length buffer in ABC blif parser	2013-12-31 21:58:35 +01:00
Clifford Wolf	4892a3ce6d	Added abc -dff and -clk support	2013-12-31 21:25:09 +01:00
Clifford Wolf	be5dab87fd	Now using BLIF as ABC input format	2013-12-31 14:29:29 +01:00
Clifford Wolf	c616802ac7	Always use BLIF as ABC output format	2013-12-31 13:41:16 +01:00
Clifford Wolf	bf607df6d5	Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)	2013-12-29 17:39:49 +01:00
Clifford Wolf	fe8ec32a1c	Added new cell types to manual	2013-12-28 12:10:32 +01:00
Clifford Wolf	c69c416d28	Added $bu0 cell (for easy correct $eq/$ne mapping)	2013-12-28 12:02:14 +01:00
Clifford Wolf	7f71787599	Added sat -prove-x and -set-def-inputs	2013-12-28 11:24:36 +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	11ffa78677	Added sat -set-def/-set-*-undef support	2013-12-27 13:27:21 +01:00
Clifford Wolf	fb31d10236	Renamed sat -set-undef to -set-any-undef	2013-12-27 13:02:46 +01:00
Clifford Wolf	334b0cc803	Fixed dfflibmap for unused output ports	2013-12-21 20:47:22 +01:00
Clifford Wolf	8856cec308	Now prefer smallest cells in dfflibmap	2013-12-21 08:42:37 +01:00
Clifford Wolf	1fb29050e5	Cleanup of dfflibmap cellmap exploration code	2013-12-20 14:21:18 +01:00
Clifford Wolf	eaf7d9675d	Further improved dfflibmap cellmap exploration	2013-12-20 12:34:34 +01:00
Clifford Wolf	404bcc2d1e	Fixed dfflibmap endless-loop bug	2013-12-20 12:13:51 +01:00
Clifford Wolf	c904f5e197	Prefer non-inverted clocks in dfflibmap	2013-12-19 13:21:57 +01:00
Clifford Wolf	2b90ba1e96	Added sat -max_undef feature	2013-12-07 23:58:55 +01:00
Clifford Wolf	8a815ac741	Added "sat" undef support and "sat -set-init" options	2013-12-07 17:28:51 +01:00
Clifford Wolf	5de57e9970	Fixed compiler warining in passes/sat/eval.cc	2013-12-07 16:19:24 +01:00
Clifford Wolf	325b764341	Added eval -set-undef and eval -table	2013-12-07 11:58:22 +01:00
Clifford Wolf	06d96e8fcf	Fixes in fsm detect/extract for better detection of non-fsm circuits	2013-12-06 12:53:20 +01:00
Clifford Wolf	f4b46ed31e	Replaced signed_parameters API with CONST_FLAG_SIGNED	2013-12-04 14:24:44 +01:00
Clifford Wolf	93a70959f3	Replaced RTLIL::Const::str with generic decoder method	2013-12-04 14:14:05 +01:00
Clifford Wolf	6e227e3666	Fixed submod for non-primitive cells	2013-12-02 12:53:55 +01:00
Clifford Wolf	e881878341	Fixed submod for non-cleaned designs	2013-12-02 12:18:07 +01:00
Clifford Wolf	97efc2ed5f	A fix in memory_dff for write ports with static addresses	2013-12-01 14:08:18 +01:00
Clifford Wolf	7295b25955	Progress on AppNote 011	2013-11-29 16:42:49 +01:00
Clifford Wolf	c60aaf8fa3	Added pattern support to "ls" command	2013-11-28 21:34:41 +01:00
Clifford Wolf	293356e87c	Improved ID matching scheme in select (and thus for all commands)	2013-11-28 21:13:16 +01:00
Clifford Wolf	792bbad448	Fixes and improvements in "show" command	2013-11-28 21:02:19 +01:00
Clifford Wolf	0e52f3fa01	Added "src" attribute to processes	2013-11-28 17:37:50 +01:00
Clifford Wolf	5af7f4db72	Added support for "show -pause" and "show -format dot"	2013-11-28 13:35:28 +01:00
Clifford Wolf	38e7fa6530	Tighter integration of ABC build	2013-11-27 09:08:35 +01:00
Clifford Wolf	bc3cc88719	Started implementing undef support in "sat" command	2013-11-25 21:40:00 +01:00
Clifford Wolf	3d95047ce2	Bugfixes in new "stat" command	2013-11-25 21:08:34 +01:00
Clifford Wolf	4c7d6e63ec	Added "stat" command	2013-11-25 20:43:57 +01:00
Clifford Wolf	61412d167f	Improvements in satgen undef handling	2013-11-25 16:50:45 +01:00
Clifford Wolf	bd65e67d8a	Improvements in satgen undef handling	2013-11-25 15:12:01 +01:00
Clifford Wolf	8c3f4b3957	Started implementing undef handling in satgen	2013-11-25 04:51:33 +01:00