4295 commits

Author	SHA1	Message	Date
Clifford Wolf	94b802c65d	Merge branch 'master' of github.com:cliffordwolf/yosys	2014-02-05 18:46:47 +01:00
Clifford Wolf	f6e6e9b844	Added selection support for r: and selection with relational operators	2014-02-05 18:24:45 +01:00
Johann Glaser	3c0b5139a1	be more verbose for select -assert-any and -assert-none	2014-02-05 16:03:02 +01:00
Johann Glaser	667543de0b	improved help for "select"	2014-02-05 15:53:02 +01:00
Clifford Wolf	5bf33de24a	Added setattr and setparam commands	2014-02-05 11:11:55 +01:00
Clifford Wolf	1fb8ba73bd	Throw errors if non-existing selection variables are used	2014-02-04 23:31:06 +01:00
Clifford Wolf	b1bf55dd63	Added select -none	2014-02-04 23:23:44 +01:00
Clifford Wolf	99b9c56da1	Fixed detection of init attribute in opt_rmdff	2014-02-04 23:00:32 +01:00
Clifford Wolf	69e867f3e8	Added support for inline commands to abc -script	2014-02-04 22:01:53 +01:00
Clifford Wolf	7a5f378bae	Added hierarchy -purge_lib option	2014-02-04 16:50:13 +01:00
Clifford Wolf	6891fd79a3	added sat -falsify	2014-02-04 13:34:37 +01:00
Clifford Wolf	d267bcde4e	Fixed bug in sequential sat proofs and improved handling of asserts	2014-02-04 12:46:16 +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	9e35021585	Addred sat option -ignore_unknown_cells	2014-02-03 16:26:10 +01:00
Clifford Wolf	a6750b3753	Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)	2014-02-03 13:01:45 +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	67b0ce2578	Only generate write-enable $and if WE is not constant 1 in memory_map	2014-02-02 21:27:26 +01:00
Clifford Wolf	83fa652820	Added constant-clock case to opt_rmdff	2014-02-02 21:09:08 +01:00
Clifford Wolf	aa732b0c73	Added show -notitle option	2014-02-02 17:55:32 +01:00
Clifford Wolf	9808acdc75	Added delete command	2014-02-02 17:11:19 +01:00
Clifford Wolf	a9e2d86f86	Added suuport for module attribute matching with A:<pattern>[=<pattern>] syntax	2014-02-02 16:47:17 +01:00
Clifford Wolf	f4f0bd6eef	Fixed a bug in miter command	2014-02-01 22:53:27 +01:00
Clifford Wolf	374674aff4	Added sat -show-inputs and -show-outputs	2014-02-01 22:52:44 +01:00
Clifford Wolf	caf540d1ad	Added show -color support for cells and finished show -label implementation	2014-02-01 18:23:32 +01:00
Clifford Wolf	fa92722358	Added miter command	2014-02-01 10:35:56 +01:00
Johann Glaser	e9a2094774	enabled multiple "-map" for the extract pass	2014-01-25 21:11:34 +01:00
Clifford Wolf	c1ed2607fb	Added support for // comments in liberty parser	2014-01-25 06:32:16 +01:00
Clifford Wolf	32a91458a7	Added hilomap command	2014-01-19 21:58:58 +01:00
Clifford Wolf	03a876c7e8	Added sat -tempinduc and sat -prove-asserts	2014-01-19 16:35:17 +01:00
Clifford Wolf	1e67099b77	Added $assert cell	2014-01-19 14:03:40 +01:00
Clifford Wolf	839af272ad	Improved setundef random number generator	2014-01-18 02:56:36 +01:00
Clifford Wolf	091d9abc3e	Added setundef command	2014-01-17 23:14:36 +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	651ce67d97	Added select -assert-none and -assert-any	2014-01-17 16:34:50 +01:00
Clifford Wolf	f3154f5694	Added automatic memid generation to memory_unpack command	2014-01-17 00:15:15 +01:00
Clifford Wolf	4d8318ad1b	Added memory_unpack command	2014-01-17 00:05:02 +01:00
Martin Schmölzer	aa17f16fec	Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3)) ... This fixes compilation errors on Arch Linux. Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>	2014-01-14 20:12:45 +01:00
Clifford Wolf	0c5b1f32d4	Added hierarchy -libdir option	2014-01-14 19:28:20 +01:00
Clifford Wolf	9a00980129	renamed LibertyParer to LibertyParser	2014-01-14 18:57:47 +01:00
Clifford Wolf	c1da7661a5	Added "+" to list of liberty token characters	2014-01-14 18:56:29 +01:00
Clifford Wolf	54275c61ee	Added "opt_const -mux_undef"	2014-01-14 11:10:29 +01:00
Clifford Wolf	bc541b47ea	Improved performance of freduce input cone reduction	2014-01-04 13:10:51 +01:00
Clifford Wolf	b791af174e	Improved freduce performance on const signals	2014-01-04 00:06:36 +01:00
Clifford Wolf	10f45b8c8e	Performance improvements in freduce pass	2014-01-03 21:29:28 +01:00
Clifford Wolf	c44e1bec6d	More freduce cleanups	2014-01-03 18:17:28 +01:00
Clifford Wolf	03f0ab9de2	Cleanups in freduce command	2014-01-03 17:50:39 +01:00
Clifford Wolf	8a8d444648	Tiny cleanup in proc_mux.cc	2014-01-03 16:54:59 +01:00
Clifford Wolf	60fbca9970	Added "splitnets -driver"	2014-01-03 14:01:06 +01:00