3563 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Clifford Wolf	0935e20003	Implemented expose -evert-dff	2014-02-08 21:08:38 +01:00
Clifford Wolf	793290a304	Merge pull request #24 from hansiglaser/master ... added "log" command	2014-02-08 20:02:32 +01:00
Johann Glaser	af14bb5f65	added "log" command	2014-02-08 19:19:32 +01:00
Clifford Wolf	8f9c707a4c	Improved checking of internal cell conventions	2014-02-08 19:13:49 +01:00
Clifford Wolf	7f52c18a22	Fixed bug in collecting of RD_TRANSPARENT parameter in memory_collect	2014-02-08 19:13:19 +01:00
Clifford Wolf	926fa61119	Added various new options to splice command	2014-02-08 16:37:18 +01:00
Clifford Wolf	0c11d04144	Added %a select operator	2014-02-08 16:31:38 +01:00
Clifford Wolf	6644f80d97	Moved some passes to other source directories	2014-02-08 14:39:15 +01:00
Clifford Wolf	03ee63ff80	Added support for "keep" attribute to abc pass	2014-02-08 14:25:29 +01:00
Clifford Wolf	82c98bbbe6	Added opt -purge (frontend to opt_clean -purge)	2014-02-08 14:21:34 +01:00
Clifford Wolf	922d1c9520	Only count non-trivial attributes when findinf master signal in opt_clean	2014-02-08 14:21:04 +01:00
Clifford Wolf	669a6e462d	Added checking for ABC modifications to Makefile and made sure we do not have the word ERROR in regular make output	2014-02-08 12:27:38 +01:00
Clifford Wolf	2c51619c2b	Now also move net labes to the right position in splice cmd	2014-02-08 00:06:00 +01:00
Clifford Wolf	274bcef66c	Improved detection of primary wire for a signal in opt_clean	2014-02-07 23:50:17 +01:00
Clifford Wolf	244e8ce1f4	Added splice command	2014-02-07 20:30:56 +01:00
Clifford Wolf	08aa1062b4	Added log_header() to splitnets	2014-02-07 19:51:15 +01:00
Clifford Wolf	d85a6bf5d3	Added $slice and $concat to CellTypes list	2014-02-07 19:50:44 +01:00
Clifford Wolf	fc3b3c4ec3	Added $slice and $concat cell types	2014-02-07 17:44:57 +01:00
Clifford Wolf	a1ac710ab8	Stronger checking of internal cells	2014-02-07 17:39:35 +01:00
Clifford Wolf	99b1e9ee56	Re-enabled abc "retime" after sorting yout the yosys-bigsim problem	2014-02-07 16:36:37 +01:00
Clifford Wolf	a51a3fa2d2	Added echo command	2014-02-07 14:17:00 +01:00
Clifford Wolf	366dcd3abf	Fixed use of "cmd_error" in passes/cmds/design.cc	2014-02-07 14:16:42 +01:00
Clifford Wolf	f4f230d7cc	Fixed gcc compiler warnings with release build	2014-02-06 22:49:14 +01:00
Clifford Wolf	0192f1c66e	Disabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim failed)	2014-02-06 22:31:58 +01:00
Clifford Wolf	a170d114a5	Updated ABC to rev 10cc13a2a0f1	2014-02-06 22:18:17 +01:00
Clifford Wolf	58cb8d65af	Added "retime" to standard ABC recipes	2014-02-06 22:16:20 +01:00
Clifford Wolf	91eab69912	Added copy command	2014-02-06 22:09:21 +01:00
Clifford Wolf	cf593222f2	Added design -stash/-copy-from/-copy-to	2014-02-06 21:52:07 +01:00
Clifford Wolf	37fdb2ca7a	Added support for s: select expressions (wire width)	2014-02-06 19:45:03 +01:00
Clifford Wolf	9428050dd6	Added i:, o:, and x: selection pattern	2014-02-06 19:35:33 +01:00
Clifford Wolf	d7d1c7baf8	Added support for %m selection op	2014-02-06 19:30:08 +01:00
Clifford Wolf	f2fdcef13d	Merge branch 'master' of github.com:cliffordwolf/yosys	2014-02-06 19:22:50 +01:00
Clifford Wolf	fa295a4528	Added generic RTLIL::SigSpec::parse_sel() with support for selection variables	2014-02-06 19:22:46 +01:00
Clifford Wolf	9c24b41f55	Merge pull request #23 from hansiglaser/master ... new %s: add sub-modules to selection	2014-02-06 18:08:02 +01:00
Johann Glaser	34eb77d2bf	new %s: add sub-modules to selection	2014-02-06 17:36:39 +01:00
Clifford Wolf	d4b0f28881	Added support for sat -show @<sel_name>	2014-02-06 17:32:51 +01:00
Clifford Wolf	b1a12c5f37	Added sat -set-init-def and sat -tempinduct-def	2014-02-06 16:15:23 +01:00
Clifford Wolf	594d52e0b6	Added opt_const -undriven	2014-02-06 15:49:03 +01:00
Clifford Wolf	c526e56747	Added expose -dff	2014-02-06 15:48:42 +01:00
Clifford Wolf	1c6dea3a0d	Added support for #-comments in same line as command	2014-02-06 14:26:39 +01:00
Clifford Wolf	821156b6cf	presentation progress	2014-02-06 14:01:43 +01:00
Clifford Wolf	c13c5b9b7b	Changed techmap description from "simple" to "generic"	2014-02-06 13:10:06 +01:00
Clifford Wolf	eb8fd4a163	Added miter -make_outcmp	2014-02-06 02:20:55 +01:00
Clifford Wolf	80a1cdb0e2	Added sat -set-init-zero support	2014-02-06 01:40:01 +01:00
Clifford Wolf	19029f377b	Added support for backslash continuation in script files	2014-02-06 01:28:33 +01:00
Clifford Wolf	849fd62cfe	Added counters sat test case	2014-02-06 01:00:56 +01:00
Clifford Wolf	e915043144	Added sat -verify and -falsify support for non-prove cases	2014-02-06 00:59:41 +01:00
Clifford Wolf	cd06055e77	Added expose command	2014-02-05 23:59:55 +01:00
Clifford Wolf	7e9ba60df8	presentation progress	2014-02-05 20:06:34 +01:00
Clifford Wolf	dbfcc2f4e2	Simplified select "Assertation failed" message generation	2014-02-05 18:52:55 +01:00