9540 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Clifford Wolf	4f2edcf2f9	Fixed two bugs in mem2reg functionality in AST frontend	2013-11-18 19:55:12 +01:00
Clifford Wolf	79910a5547	Added dumping of attributes in AST frontend	2013-11-18 19:54:36 +01:00
Clifford Wolf	2a25e3bca3	Fixed parsing of default cases when not last case	2013-11-18 16:10:50 +01:00
Clifford Wolf	de03184150	Fixed mem2reg for reg usage outside always block	2013-11-18 12:35:41 +01:00
Clifford Wolf	97f2979bba	Added commented-out osu025 maping commands to cmos techmap example	2013-11-18 12:01:00 +01:00
Clifford Wolf	7d52eb0ddb	Added -v<level> option and some minor driver cleanups	2013-11-17 13:26:31 +01:00
Clifford Wolf	2df5cd87b2	Renamed ABCHGPULL to ABCPULL in Makefile	2013-11-16 15:17:32 +01:00
Clifford Wolf	f3345bd3b4	Improved building of yosys-abc	2013-11-13 15:49:42 +01:00
Clifford Wolf	a694324a75	Fixed abc pass blif parser for constant bits	2013-11-13 15:46:28 +01:00
Clifford Wolf	63060dcd2e	Fixed parsing of "parameter integer"	2013-11-13 15:30:23 +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	0fd3ebdb23	Added information on all internal cell types to internal checker	2013-11-11 00:13:18 +01:00
Clifford Wolf	378cc509cd	Call internal checker more often	2013-11-10 23:24:21 +01:00
Clifford Wolf	223892ac28	Improved user-friendliness of "sat" and "eval" expression parsing	2013-11-09 12:02:27 +01:00
Clifford Wolf	2864cb3b59	Silenced a gcc warning in spice backend	2013-11-09 12:01:50 +01:00
Clifford Wolf	18f9477e95	Added verification of SAT model to "eval -vloghammer_report" command	2013-11-09 11:38:17 +01:00
Clifford Wolf	259cc1391e	More undef-propagation related fixes	2013-11-08 11:40:36 +01:00
Clifford Wolf	9f49d538e1	Fixed handling of different signedness in power operands	2013-11-08 11:06:11 +01:00
Clifford Wolf	b04051a0e2	Fixed keep attribute on wires in opt_clean	2013-11-08 05:20:15 +01:00
Clifford Wolf	4abc8e695a	Implemented const folding of ternary op with undef select	2013-11-08 04:44:09 +01:00
Clifford Wolf	81b8f3292e	Removed debug log from const_pow()	2013-11-08 04:43:38 +01:00
Clifford Wolf	fc6dc0d7b8	Fixed handling of power operator	2013-11-07 22:20:00 +01:00
Clifford Wolf	d7cb62ac96	Fixed more extend vs. extend_u0 issues	2013-11-07 19:20:20 +01:00
Clifford Wolf	02f4f89fdb	Disabled const folding of ternary op when select is undef	2013-11-07 18:18:16 +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	ed4bcd52e5	Fixed sign handling in constants	2013-11-07 14:53:10 +01:00
Clifford Wolf	83a8b8b5ca	Fixed const folding in corner cases with parameters	2013-11-07 14:08:53 +01:00
Clifford Wolf	90300cbacc	Removed done or obsolete TODO items	2013-11-07 12:55:09 +01:00
Clifford Wolf	b52bf379b9	Fixed width detection for replicate operator	2013-11-07 12:43:04 +01:00
Clifford Wolf	db42a8f89b	Fixed $eq/$ne bitwise optimization in opt_const	2013-11-07 11:54:59 +01:00
Clifford Wolf	536621a98b	Fixed at_zero evaluation of dynamic ranges	2013-11-07 11:25:19 +01:00
Clifford Wolf	f050c40519	Various fixes for correct parameter support	2013-11-07 10:02:11 +01:00
Clifford Wolf	160adccca2	Fixed the fix for propagation of width hints for $signed() and $unsigned()	2013-11-07 03:01:28 +01:00
Clifford Wolf	404b46674b	Fixed techmap of $reduce_xnor with multi-bit outputs	2013-11-07 00:58:06 +01:00
Clifford Wolf	b41740060b	Fixed techmap of $gt and $ge with multi-bit outputs	2013-11-06 22:59:45 +01:00
Clifford Wolf	f485962c5e	Added handling of unconnected/unspecified signals to eval -vloghammer_report	2013-11-06 22:42:07 +01:00
Clifford Wolf	7fe13faefa	Fixed propagation of width hints for $signed() and $unsigned()	2013-11-06 22:41:21 +01:00
Clifford Wolf	8c523ef81d	Improved undef handling in == and != for ConstEval	2013-11-06 22:25:35 +01:00
Clifford Wolf	baeca48a24	Additional fixes for undef propagation in concat and replicate ops	2013-11-06 21:16:54 +01:00
Clifford Wolf	6fcbc79b5c	Improved width extension with regard to undef propagation	2013-11-06 21:05:11 +01:00
Clifford Wolf	f839b842a2	Fixed handling of undef values in POS cells in ConstEval	2013-11-06 18:45:31 +01:00
Clifford Wolf	204572d926	Fixed handling of undef values in MUX select input in ConstEval	2013-11-06 17:33:20 +01:00
Clifford Wolf	031a91dc94	Added correct RTL undef handling to eval vloghammer mode	2013-11-06 13:16:47 +01:00
Clifford Wolf	f94266bb42	Added eval -vloghammer_report mode	2013-11-06 04:14:56 +01:00
Clifford Wolf	1d34fd7608	Added support for "keep" attributes on wires	2013-11-05 15:52:29 +01:00
Clifford Wolf	27fec4e77c	Fixed sign handling in const eval of sshl and sshr	2013-11-05 10:22:22 +01:00
Clifford Wolf	2b5f4d1df3	Makefile DESTDIR default (/usr/local) without quotes	2013-11-04 21:30:57 +01:00
Clifford Wolf	f2786df146	Another fix for early width and sign detection in ast simplifier	2013-11-04 21:29:36 +01:00
Clifford Wolf	31ddf7b9d4	Merge branch 'master' of github.com:cliffordwolf/yosys	2013-11-04 16:51:13 +01:00