1353 commits

Author	SHA1	Message	Date
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
Clifford Wolf	a75b249427	Implemented temporal induction proofs in sat_solve	2013-06-09 18:07:05 +02:00
Clifford Wolf	b210234612	Added support for non-temporal proofs to sat_solve	2013-06-09 16:30:37 +02:00
Clifford Wolf	1349b845e3	Re-organization in sat_solver pass for temporal induction	2013-06-09 15:49:32 +02:00
Clifford Wolf	41932e8b64	Added ezSAT api support for don't care values in models	2013-06-09 14:21:18 +02:00
Clifford Wolf	b7ba90910d	Fixed handling of $_XOR_ in SAT generator	2013-06-09 14:01:50 +02:00
Clifford Wolf	0efde13775	Added sequential solving support to sat_solve	2013-06-09 13:35:46 +02:00
Clifford Wolf	bf59a28f80	Look for yosys-abc and yosys-svgviewer where the main exe is	2013-06-09 00:07:26 +02:00
Clifford Wolf	6c8a424872	Added "make abc" and "make install-abc"	2013-06-08 23:48:19 +02:00
Clifford Wolf	5a592b3739	Moved cmds from kernel/ to passes/cmds/	2013-06-08 23:16:36 +02:00
Clifford Wolf	4b7f070b69	Fixed typo is sat_solve help msg	2013-06-08 15:36:32 +02:00
Clifford Wolf	23a7973094	Added support for shifter cells to SAT generator	2013-06-08 15:12:08 +02:00
Clifford Wolf	1434312fdd	Various improvements in sat_solve pass and SAT generator	2013-06-08 14:11:50 +02:00
Clifford Wolf	99957a825f	Added -all and -max options to sat_solve	2013-06-08 12:17:30 +02:00
Clifford Wolf	c681c17038	Improved auto-detection of -show signals in sat_solve	2013-06-08 09:34:36 +02:00
Clifford Wolf	56b593b91c	Improved sat generator and sat_solve pass	2013-06-07 14:37:33 +02:00
Clifford Wolf	46fbe9d262	Added SAT generator and simple sat_solve command	2013-06-07 13:59:13 +02:00
Clifford Wolf	c32b918681	Renamed opt_rmunused to opt_clean	2013-06-05 07:07:31 +02:00
Clifford Wolf	5f2c5f9017	Fixed techmap/flatten for positional module arguments	2013-05-26 12:21:17 +02:00
Clifford Wolf	b11d9408d9	Improved log messages generated by hierarchy pass	2013-05-26 12:20:51 +02:00
Clifford Wolf	cc587fb5f3	Added -nodetect option to fsm pass	2013-05-24 15:34:25 +02:00
Clifford Wolf	66bc46b30b	Improved FSM one-hot encoding, added binary encoding	2013-05-24 14:39:19 +02:00
Clifford Wolf	ccd2a93439	Added log_abort() api	2013-05-24 12:32:06 +02:00
Clifford Wolf	585fcace10	Fixed a gcc vs. clang determinism problem in abc pass	2013-05-23 16:17:23 +02:00
Clifford Wolf	f674150f1c	Fixed memory corruption bug in opt_rmunused	2013-05-23 13:19:28 +02:00
Clifford Wolf	e04d88cf22	Added missing newline to some error messages	2013-05-23 11:19:33 +02:00
Clifford Wolf	3b8882ae49	Some improvements in opt_rmdff	2013-05-23 07:48:18 +02:00
Clifford Wolf	3ecc314238	Fixed to aggressive x-folding in opt_const	2013-05-17 14:55:18 +02:00
Clifford Wolf	83c743f717	Added support for const cell inputs in techmap	2013-04-27 18:30:29 +02:00
Clifford Wolf	b1cb4d7871	Added "flatten" pass	2013-04-26 14:40:45 +02:00
Clifford Wolf	94744ac7b0	Fixed hierarchy pass for hierarchies of parametric modules	2013-04-26 13:28:15 +02:00
Clifford Wolf	6626aad29a	Added "submod -name ..." support	2013-04-15 11:58:24 +02:00
Clifford Wolf	c6198ea5a8	Fixed a bug in opt_const when optimizing 1-bit compares with constants	2013-04-13 21:18:24 +02:00
Johann Glaser	7ef245aa7d	fsm_export: optionally use binary state encoding as state names instead of ... s0, s1, ...	2013-04-05 15:34:40 +02:00
Johann Glaser	9714072b28	fsm_export: specify KISS filename on command line	2013-04-05 11:17:49 +02:00
Clifford Wolf	88af5b6a16	Improved opt_share for reduce cells	2013-03-29 11:19:21 +01:00
Clifford Wolf	0d48b846ac	Improved opt_share for commutative standard cells	2013-03-29 11:01:26 +01:00
Clifford Wolf	8edf4f378a	Added proper TECHMAP_FAIL support and added support for the celltype attribute in the map file	2013-03-28 10:12:50 +01:00
Clifford Wolf	7bfc7b61a8	Implemented proper handling of stub placeholder modules	2013-03-28 09:20:10 +01:00
Clifford Wolf	9c401b58a2	Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlib	2013-03-27 10:51:15 +01:00
Clifford Wolf	6a231816fa	Collect parameters in hierarchy -generate (and do nothing with them)	2013-03-26 19:11:53 +01:00
Clifford Wolf	227520f94d	Added nosync attribute and some async reset related fixes	2013-03-25 17:13:14 +01:00
Clifford Wolf	0f5378b559	Improved method for finding fsm_expand candidates	2013-03-25 02:24:11 +01:00
Clifford Wolf	4a7d624bef	Added hierarchy -generate command for generating skeletton modules	2013-03-25 02:14:33 +01:00
Clifford Wolf	4bd6f1ee8e	Changed fsm_expand to merge multiplexers more aggressively	2013-03-24 17:59:44 +01:00
Clifford Wolf	8d37d1e08b	Added -nomap option to memory pass	2013-03-21 09:11:06 +01:00
Clifford Wolf	9f10acb840	added optimizations for single-bit $eq/$ne with constant input to opt_const	2013-03-19 13:33:33 +01:00