149 commits

Author	SHA1	Message	Date
Clifford Wolf	e679a5d046	Fixed handling of boolean attributes (passes)	2013-10-24 11:37:54 +02:00
Clifford Wolf	d61699843f	Improved handling of dff with async resets	2013-10-21 14:51:58 +02:00
Clifford Wolf	56ea230676	Added handling of multiple async paths in proc_arst	2013-10-19 00:50:13 +02:00
Clifford Wolf	bfa1a65fa9	Added dffsr support to proc_dff pass	2013-10-18 13:26:52 +02:00
Clifford Wolf	9bc703b964	Improved way of connecting ports in techmap pass	2013-10-17 22:19:38 +02:00
Clifford Wolf	8cc53ef72c	Only prefer connected signals iff they have public names	2013-10-17 22:10:55 +02:00
Clifford Wolf	95dbacefbf	Fixed bug in synthesis of memories that are never written	2013-10-17 21:00:37 +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	b6db2d9b33	Moved dfflibmap from passes/dfflibmap to passes/techmap	2013-10-16 15:32:26 +02:00
Clifford Wolf	845590aa8e	Fixed parsing or liberty file statements such as 'clocked_on : "(!CLK)";' ... Patch by Tim Edwards	2013-10-16 06:32:35 +02:00
Clifford Wolf	288ba9618a	Moved common techlib files to techlibs/common	2013-09-15 11:52:57 +02:00
Clifford Wolf	f8107ab7fc	Some minor documentation fixes	2013-08-21 12:16:44 +02:00
Clifford Wolf	1af1cebb64	Minor fixes in abc build instructions and abc pass	2013-08-20 09:46:05 +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	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	6068b8902f	freduce performance fix	2013-08-10 15:03:13 +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	d97782b848	Sort ctrl signals in fsm_extract	2013-08-08 15:46:00 +02:00
Clifford Wolf	6a40e46a04	Added -try option to freduce pass	2013-08-08 10:56:27 +02:00
Clifford Wolf	8cd153612e	Added "clean" command (less verbose opt_clean)	2013-08-08 10:53:37 +02:00
Clifford Wolf	56e01ce389	Fixed topological ordering in freduce pass	2013-08-07 19:38:19 +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	653750faac	Small bugfixes in freduce pass	2013-08-06 15:53:09 +02:00
Clifford Wolf	6efca9ea5a	Added freduce command	2013-08-06 15:04:52 +02:00
Clifford Wolf	0f38008ed3	Added "design" command (-reset, -save, -load)	2013-07-27 14:27:51 +02:00
Clifford Wolf	88d0829d65	Automatically run "proc" on extract map files	2013-07-24 20:19:08 +02:00
Clifford Wolf	ad9bbcbf40	Added $lut cells and abc lut mapping support	2013-07-23 16:19:34 +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	101491132f	Added SAT support for -all/-max with -verify	2013-06-23 13:28:30 +02:00
Clifford Wolf	46b177eb8a	Merge branch 'master' of github.com:cliffordwolf/yosys	2013-06-20 12:49:28 +02:00
Clifford Wolf	8fbb5b6240	Added timout functionality to SAT solver	2013-06-20 12:49:10 +02:00
Clifford Wolf	a6aeb3dbf0	Added renaming of wires and cells to "rename" command	2013-06-19 16:55:43 +02:00
Clifford Wolf	21e38bed98	Added "eval" pass	2013-06-19 09:30:37 +02:00
Clifford Wolf	48aa72ae8f	Added splitnets command	2013-06-18 17:11:36 +02:00
Clifford Wolf	c09b66b2a1	Added support for "assign" statements in abc vlparse	2013-06-15 13:50:38 +02:00
Clifford Wolf	6d7b5f9064	Fixed even more ConstEval bugs found using xsthammer	2013-06-14 17:50:26 +02:00
Clifford Wolf	30db70b1ba	Added consteval testing to xsthammer and fixed bugs	2013-06-13 19:51:13 +02:00
Clifford Wolf	7f6c83a853	More xsthammer improvements (using xst 14.5 now)	2013-06-13 17:23:51 +02:00
Clifford Wolf	a42dd4549b	Added "scatter" command	2013-06-12 14:41:33 +02:00
Clifford Wolf	49293a182d	Renamed yosys-show temp files to be dot-files in the users home directory	2013-06-12 10:42:59 +02:00
Clifford Wolf	7d790febb0	Improvements and fixes in SAT code	2013-06-10 16:09:29 +02:00
Clifford Wolf	95e937438f	Added "rename" command	2013-06-10 12:37:22 +02:00
Clifford Wolf	08e2fa978c	Renamed "sat_solve" pass to "sat"	2013-06-09 21:55:53 +02:00