Clifford Wolf [Sun, 16 Feb 2014 19:20:25 +0000 (20:20 +0100)]
Added a warning note about error reporting to read_verilog help message
Clifford Wolf [Sun, 16 Feb 2014 16:56:19 +0000 (17:56 +0100)]
Progress in presentation
Clifford Wolf [Sun, 16 Feb 2014 16:39:50 +0000 (17:39 +0100)]
Fixed use of selection in splitnets command
Clifford Wolf [Sun, 16 Feb 2014 16:16:44 +0000 (17:16 +0100)]
Added recursion support to techmap
Clifford Wolf [Sun, 16 Feb 2014 13:32:56 +0000 (14:32 +0100)]
Progress in presentation
Clifford Wolf [Sun, 16 Feb 2014 12:45:47 +0000 (13:45 +0100)]
Progress in presentation
Clifford Wolf [Sun, 16 Feb 2014 12:16:38 +0000 (13:16 +0100)]
Improved support for constant functions
Clifford Wolf [Sat, 15 Feb 2014 23:54:41 +0000 (00:54 +0100)]
Now we are in Yoys 0.2.0+ development
Clifford Wolf [Sat, 15 Feb 2014 23:35:53 +0000 (00:35 +0100)]
Tagging Yoys 0.2.0
Clifford Wolf [Sat, 15 Feb 2014 23:16:54 +0000 (00:16 +0100)]
Added != support for relational select pattern
Clifford Wolf [Sat, 15 Feb 2014 20:59:26 +0000 (21:59 +0100)]
Added iopadmap -bits
Clifford Wolf [Sat, 15 Feb 2014 18:36:33 +0000 (19:36 +0100)]
Added ff and latch support to read_liberty
Clifford Wolf [Sat, 15 Feb 2014 18:36:09 +0000 (19:36 +0100)]
Bugfix in expression parser of read_liberty
Clifford Wolf [Sat, 15 Feb 2014 15:34:12 +0000 (16:34 +0100)]
Fixed dfflibmap for cell libraries with no set-reset-ff
Clifford Wolf [Sat, 15 Feb 2014 14:42:10 +0000 (15:42 +0100)]
Correctly convert constants to RTLIL (fixed undef handling)
Clifford Wolf [Sat, 15 Feb 2014 14:40:17 +0000 (15:40 +0100)]
Added frontend (-f) option to autotest.sh
Clifford Wolf [Sat, 15 Feb 2014 12:16:08 +0000 (13:16 +0100)]
Fixed opt_const handling of double invert with non-1 output width
Clifford Wolf [Sat, 15 Feb 2014 11:57:28 +0000 (12:57 +0100)]
Added liberty frontend
Clifford Wolf [Fri, 14 Feb 2014 19:45:30 +0000 (20:45 +0100)]
Be more conservative with new const-function code
Clifford Wolf [Fri, 14 Feb 2014 19:33:22 +0000 (20:33 +0100)]
Added support for FOR loops in function calls in parameters
Clifford Wolf [Fri, 14 Feb 2014 18:56:44 +0000 (19:56 +0100)]
Created basic support for function calls in parameter values
Clifford Wolf [Fri, 14 Feb 2014 10:28:42 +0000 (11:28 +0100)]
Added abc -keepff option
Clifford Wolf [Thu, 13 Feb 2014 18:14:15 +0000 (19:14 +0100)]
updated default ABC command strings
Clifford Wolf [Thu, 13 Feb 2014 17:56:36 +0000 (18:56 +0100)]
Updated ABC
Clifford Wolf [Thu, 13 Feb 2014 12:59:13 +0000 (13:59 +0100)]
Implemented read_verilog -defer
Clifford Wolf [Thu, 13 Feb 2014 07:12:52 +0000 (08:12 +0100)]
Removed double blanks in ABC default command sequences
Clifford Wolf [Thu, 13 Feb 2014 07:09:17 +0000 (08:09 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 13 Feb 2014 07:07:08 +0000 (08:07 +0100)]
Updated ABC and some related changes
Clifford Wolf [Wed, 12 Feb 2014 22:46:58 +0000 (23:46 +0100)]
Merge pull request #26 from ahmedirfan1983/btor
Btor
Clifford Wolf [Wed, 12 Feb 2014 22:30:02 +0000 (23:30 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 12 Feb 2014 22:29:54 +0000 (23:29 +0100)]
Added support for functions returning integer
Ahmed Irfan [Wed, 12 Feb 2014 12:38:28 +0000 (13:38 +0100)]
modified btor synthesis script for correct use of splice command.
Clifford Wolf [Wed, 12 Feb 2014 12:11:58 +0000 (13:11 +0100)]
Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)
Clifford Wolf [Wed, 12 Feb 2014 07:35:42 +0000 (08:35 +0100)]
Updated ABC to rev
e97a6e1d59b9
Clifford Wolf [Tue, 11 Feb 2014 18:17:07 +0000 (19:17 +0100)]
renamed ilang "scope error" to "ilang error"
Ahmed Irfan [Tue, 11 Feb 2014 14:43:03 +0000 (15:43 +0100)]
disabling splice command in the script
Ahmed Irfan [Tue, 11 Feb 2014 12:28:05 +0000 (13:28 +0100)]
register output corrected
Ahmed Irfan [Tue, 11 Feb 2014 12:26:43 +0000 (13:26 +0100)]
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Ahmed Irfan [Tue, 11 Feb 2014 12:06:01 +0000 (13:06 +0100)]
added concat and slice cell translation
Clifford Wolf [Tue, 11 Feb 2014 11:58:08 +0000 (12:58 +0100)]
More Makefile cleanups
Clifford Wolf [Tue, 11 Feb 2014 11:55:58 +0000 (12:55 +0100)]
Improved "make manual" and "make clean"
Clifford Wolf [Sun, 9 Feb 2014 14:35:31 +0000 (15:35 +0100)]
Improved ilang parser error messages
Clifford Wolf [Sun, 9 Feb 2014 14:27:58 +0000 (15:27 +0100)]
fixed a bug in subcircuit library with cells that have connections to itself
Clifford Wolf [Sun, 9 Feb 2014 10:07:46 +0000 (11:07 +0100)]
Various improvements in expose command (added -sep and -cut)
Clifford Wolf [Sun, 9 Feb 2014 09:03:26 +0000 (10:03 +0100)]
Added delete {-input|-output|-port}
Clifford Wolf [Sun, 9 Feb 2014 08:34:58 +0000 (09:34 +0100)]
Bugfix in delete command
Clifford Wolf [Sat, 8 Feb 2014 20:27:04 +0000 (21:27 +0100)]
Added test cases for expose -evert-dff
Clifford Wolf [Sat, 8 Feb 2014 20:26:40 +0000 (21:26 +0100)]
Fixed handling of async reset in expose -evert-dff
Clifford Wolf [Sat, 8 Feb 2014 20:21:51 +0000 (21:21 +0100)]
Build fixes for log cmd
Clifford Wolf [Sat, 8 Feb 2014 20:08:46 +0000 (21:08 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Sat, 8 Feb 2014 20:08:38 +0000 (21:08 +0100)]
Implemented expose -evert-dff
Clifford Wolf [Sat, 8 Feb 2014 19:02:32 +0000 (20:02 +0100)]
Merge pull request #24 from hansiglaser/master
added "log" command
Johann Glaser [Sat, 8 Feb 2014 18:19:32 +0000 (19:19 +0100)]
added "log" command
Clifford Wolf [Sat, 8 Feb 2014 18:13:49 +0000 (19:13 +0100)]
Improved checking of internal cell conventions
Clifford Wolf [Sat, 8 Feb 2014 18:13:19 +0000 (19:13 +0100)]
Fixed bug in collecting of RD_TRANSPARENT parameter in memory_collect
Clifford Wolf [Sat, 8 Feb 2014 15:37:18 +0000 (16:37 +0100)]
Added various new options to splice command
Clifford Wolf [Sat, 8 Feb 2014 15:31:38 +0000 (16:31 +0100)]
Added %a select operator
Clifford Wolf [Sat, 8 Feb 2014 13:39:15 +0000 (14:39 +0100)]
Moved some passes to other source directories
Clifford Wolf [Sat, 8 Feb 2014 13:25:29 +0000 (14:25 +0100)]
Added support for "keep" attribute to abc pass
Clifford Wolf [Sat, 8 Feb 2014 13:21:34 +0000 (14:21 +0100)]
Added opt -purge (frontend to opt_clean -purge)
Clifford Wolf [Sat, 8 Feb 2014 13:21:04 +0000 (14:21 +0100)]
Only count non-trivial attributes when findinf master signal in opt_clean
Clifford Wolf [Sat, 8 Feb 2014 11:27:38 +0000 (12:27 +0100)]
Added checking for ABC modifications to Makefile and made sure we do not have the word ERROR in regular make output
Clifford Wolf [Fri, 7 Feb 2014 23:06:00 +0000 (00:06 +0100)]
Now also move net labes to the right position in splice cmd
Clifford Wolf [Fri, 7 Feb 2014 22:50:17 +0000 (23:50 +0100)]
Improved detection of primary wire for a signal in opt_clean
Clifford Wolf [Fri, 7 Feb 2014 19:26:40 +0000 (20:26 +0100)]
Added splice command
Clifford Wolf [Fri, 7 Feb 2014 18:51:15 +0000 (19:51 +0100)]
Added log_header() to splitnets
Clifford Wolf [Fri, 7 Feb 2014 18:50:44 +0000 (19:50 +0100)]
Added $slice and $concat to CellTypes list
Clifford Wolf [Fri, 7 Feb 2014 16:44:57 +0000 (17:44 +0100)]
Added $slice and $concat cell types
Clifford Wolf [Fri, 7 Feb 2014 16:39:35 +0000 (17:39 +0100)]
Stronger checking of internal cells
Clifford Wolf [Fri, 7 Feb 2014 15:36:37 +0000 (16:36 +0100)]
Re-enabled abc "retime" after sorting yout the yosys-bigsim problem
Clifford Wolf [Fri, 7 Feb 2014 13:17:00 +0000 (14:17 +0100)]
Added echo command
Clifford Wolf [Fri, 7 Feb 2014 13:16:42 +0000 (14:16 +0100)]
Fixed use of "cmd_error" in passes/cmds/design.cc
Clifford Wolf [Thu, 6 Feb 2014 21:49:14 +0000 (22:49 +0100)]
Fixed gcc compiler warnings with release build
Clifford Wolf [Thu, 6 Feb 2014 21:31:58 +0000 (22:31 +0100)]
Disabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim failed)
Clifford Wolf [Thu, 6 Feb 2014 21:18:17 +0000 (22:18 +0100)]
Updated ABC to rev
10cc13a2a0f1
Clifford Wolf [Thu, 6 Feb 2014 21:16:20 +0000 (22:16 +0100)]
Added "retime" to standard ABC recipes
Clifford Wolf [Thu, 6 Feb 2014 21:09:21 +0000 (22:09 +0100)]
Added copy command
Clifford Wolf [Thu, 6 Feb 2014 20:52:07 +0000 (21:52 +0100)]
Added design -stash/-copy-from/-copy-to
Clifford Wolf [Thu, 6 Feb 2014 18:45:03 +0000 (19:45 +0100)]
Added support for s: select expressions (wire width)
Clifford Wolf [Thu, 6 Feb 2014 18:35:33 +0000 (19:35 +0100)]
Added i:, o:, and x: selection pattern
Clifford Wolf [Thu, 6 Feb 2014 18:30:08 +0000 (19:30 +0100)]
Added support for %m selection op
Clifford Wolf [Thu, 6 Feb 2014 18:22:50 +0000 (19:22 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 6 Feb 2014 18:22:46 +0000 (19:22 +0100)]
Added generic RTLIL::SigSpec::parse_sel() with support for selection variables
Clifford Wolf [Thu, 6 Feb 2014 17:08:02 +0000 (18:08 +0100)]
Merge pull request #23 from hansiglaser/master
new %s: add sub-modules to selection
Johann Glaser [Thu, 6 Feb 2014 16:36:39 +0000 (17:36 +0100)]
new %s: add sub-modules to selection
Clifford Wolf [Thu, 6 Feb 2014 16:32:51 +0000 (17:32 +0100)]
Added support for sat -show @<sel_name>
Clifford Wolf [Thu, 6 Feb 2014 15:15:23 +0000 (16:15 +0100)]
Added sat -set-init-def and sat -tempinduct-def
Clifford Wolf [Thu, 6 Feb 2014 14:49:03 +0000 (15:49 +0100)]
Added opt_const -undriven
Clifford Wolf [Thu, 6 Feb 2014 14:48:42 +0000 (15:48 +0100)]
Added expose -dff
Clifford Wolf [Thu, 6 Feb 2014 13:26:39 +0000 (14:26 +0100)]
Added support for #-comments in same line as command
Clifford Wolf [Thu, 6 Feb 2014 13:01:43 +0000 (14:01 +0100)]
presentation progress
Clifford Wolf [Thu, 6 Feb 2014 12:10:06 +0000 (13:10 +0100)]
Changed techmap description from "simple" to "generic"
Clifford Wolf [Thu, 6 Feb 2014 01:20:55 +0000 (02:20 +0100)]
Added miter -make_outcmp
Clifford Wolf [Thu, 6 Feb 2014 00:40:01 +0000 (01:40 +0100)]
Added sat -set-init-zero support
Clifford Wolf [Thu, 6 Feb 2014 00:28:33 +0000 (01:28 +0100)]
Added support for backslash continuation in script files
Clifford Wolf [Thu, 6 Feb 2014 00:00:11 +0000 (01:00 +0100)]
Added counters sat test case
Clifford Wolf [Wed, 5 Feb 2014 23:59:41 +0000 (00:59 +0100)]
Added sat -verify and -falsify support for non-prove cases
Clifford Wolf [Wed, 5 Feb 2014 22:59:55 +0000 (23:59 +0100)]
Added expose command
Clifford Wolf [Wed, 5 Feb 2014 19:06:34 +0000 (20:06 +0100)]
presentation progress
Clifford Wolf [Wed, 5 Feb 2014 17:52:55 +0000 (18:52 +0100)]
Simplified select "Assertation failed" message generation