1439 commits

Author	SHA1	Message	Date
Clifford Wolf	18d003254c	Massive performance improvement from refactoring RTLIL::SigSpec::optimize()	2013-11-22 04:41:20 +01:00
Clifford Wolf	8e58bb330d	Added SigBit struct and refactored RTLIL::SigSpec::extract	2013-11-22 04:07:13 +01:00
Clifford Wolf	09471846c5	Major improvements in mem2reg and added "init" sync rules	2013-11-21 13:49: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	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	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	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	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	8c523ef81d	Improved undef handling in == and != for ConstEval	2013-11-06 22:25:35 +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	f94266bb42	Added eval -vloghammer_report mode	2013-11-06 04:14:56 +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	1dcb683fcb	Write yosys version to output files	2013-11-03 21:41:39 +01:00
Clifford Wolf	f39c0c9928	Fixed get_share_file_name() for installed yosys	2013-10-27 10:05:19 +01:00
Clifford Wolf	73e68fe323	Added API and Makefile rules for share/ files	2013-10-27 09:33:26 +01:00
Clifford Wolf	bd2c8ec886	Added design->full_selection() helper method	2013-10-27 09:30:58 +01:00
Clifford Wolf	e679a5d046	Fixed handling of boolean attributes (passes)	2013-10-24 11:37:54 +02:00
Clifford Wolf	eae43e2db4	Fixed handling of boolean attributes (kernel)	2013-10-24 10:59:27 +02:00
Clifford Wolf	8e8f1994b8	Changed NEW_WIRE API to return the wire, not the signal	2013-10-18 14:19:45 +02:00
Clifford Wolf	cc5e379eca	Added RTLIL NEW_WIRE macro	2013-10-18 13:25:24 +02:00
Clifford Wolf	e0f693cbb0	Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_	2013-10-18 12:13:34 +02:00
Clifford Wolf	5998c101a4	Added $sr, $dffsr and $dlatch cell types	2013-10-18 11:56:16 +02:00
Clifford Wolf	485e870bcd	Added version info to yosys command and added -V option	2013-08-20 09:48:12 +02:00
Clifford Wolf	a860efa8ac	Implemented same div-by-zero behavior as found in other synthesis tools	2013-08-15 21:00:06 +02:00
Clifford Wolf	78658199e6	Fixed signed div/mod in const eval (rounding and stuff)	2013-08-15 18:23:42 +02:00
Clifford Wolf	2f3da54f26	Added sat -ignore_div_by_zero switch	2013-08-15 11:40:01 +02:00
Clifford Wolf	d0e93e04d1	Added eval -brute_force_equiv_checker_x mode	2013-08-15 11:09:30 +02:00
Clifford Wolf	ccf36cb7d8	Added SAT support for $div and $mod cells	2013-08-11 16:27:15 +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	376150c926	Added techmap -opt mode	2013-08-09 15:20:22 +02:00
Clifford Wolf	05483619f0	Some fixes to improve determinism	2013-08-09 12:42:32 +02:00
Clifford Wolf	117489f95a	Fixed SigPool::del() method	2013-08-06 15:04:24 +02:00
Clifford Wolf	ff965424c2	Added proper deallocation of history buffer	2013-08-06 15:03:46 +02:00
Clifford Wolf	0f38008ed3	Added "design" command (-reset, -save, -load)	2013-07-27 14:27:51 +02:00
Clifford Wolf	974b6a947c	Added "help -write-web-command-reference-manual"	2013-07-26 00:01:31 +02:00
Clifford Wolf	ad9bbcbf40	Added $lut cells and abc lut mapping support	2013-07-23 16:19:34 +02:00
Clifford Wolf	7daeee340a	Fixed shift ops with large right hand side	2013-07-09 18:59:59 +02:00
Clifford Wolf	21e38bed98	Added "eval" pass	2013-06-19 09:30:37 +02:00
Clifford Wolf	a046a302f0	Fixed build with clang	2013-06-18 19:54:33 +02:00
Clifford Wolf	6971c4db62	Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API	2013-06-18 17:11:13 +02:00
Clifford Wolf	6d7b5f9064	Fixed even more ConstEval bugs found using xsthammer	2013-06-14 17:50:26 +02:00