4079 commits

Author	SHA1	Message	Date
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
Clifford Wolf	d8a7fa6b67	improved $mux optimization in opt_const	2013-03-19 13:32:39 +01:00
Clifford Wolf	b7fcf1fb9a	keep $mux and $_MUX_ optimizations separate in opt_const	2013-03-19 13:32:04 +01:00
Johann Glaser	69674652c5	added one more suggestion to optimize MUXes in pass "opt_const"	2013-03-18 22:06:16 +01:00
Johann Glaser	a4e2c887f1	also optimize single-bit "$mux" cells in pass "opt_const", added suggestions ... for more optimizations	2013-03-18 22:05:21 +01:00
Clifford Wolf	020a35d11e	Removed date from auto-generated passes/techmap/stdcells.inc	2013-03-18 07:32:33 +01:00
Clifford Wolf	52914c2e68	Fixed abc eeror handling	2013-03-18 07:31:59 +01:00
Johann Glaser	3b8ebd694d	add header to autogenerated file on its origin	2013-03-18 07:28:31 +01:00
Johann Glaser	cd8008bda0	fixed typos	2013-03-18 07:28:31 +01:00
Clifford Wolf	ba3793b642	Fixed strerrno vs. strerror types in ABC pass	2013-03-17 09:28:58 +01:00
Clifford Wolf	1390de4b74	Cleaned up ABC file/io error handling	2013-03-17 09:17:18 +01:00
Johann Glaser	0cb4a5936f	added error checking at execution of ABC ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2013-03-17 09:06:03 +01:00
Johann Glaser	fb494d4dd7	corrected typos ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2013-03-17 09:06:02 +01:00
Clifford Wolf	35b4a2c553	Fixed gcc warnings and added error handling to shell escape	2013-03-15 10:29:25 +01:00
Clifford Wolf	cd5767d61b	Added scc pass (find logic loops)	2013-03-15 10:24:08 +01:00
Clifford Wolf	10956cb84a	Added [[CITE]] tags to abc and fsm_extract passes	2013-03-15 10:23:02 +01:00
Clifford Wolf	55f927eecb	Fixed detection of public wires in opt_rmunused	2013-03-10 14:20:03 +01:00
Clifford Wolf	b96ffed69b	Automatically select new objects in abc and techmap passes	2013-03-08 09:16:25 +01:00
Clifford Wolf	ef4f1c55b6	Split extract -attr into extract -cell_attr and -wire_attr	2013-03-08 08:19:24 +01:00
Clifford Wolf	bf3a3b9589	Added support for attribute matching in extract pass	2013-03-07 18:51:17 +01:00
Clifford Wolf	4347423ca6	Changed default value for extract -mine_cells_span	2013-03-05 21:52:57 +01:00
Clifford Wolf	29c17fddf5	Implemented -mine_split option to extract pass	2013-03-05 13:50:31 +01:00
Clifford Wolf	334fd03e1c	Implemented much better #x select operator	2013-03-05 12:53:40 +01:00
Clifford Wolf	efbb89de1a	Implemented extract -mine_max_fanout <num> option	2013-03-03 23:48:00 +01:00
Clifford Wolf	bc8d94b4ae	Added "shared nodes" feature to the subcircuit library	2013-03-03 21:19:55 +01:00