yosys.git
10 years agoupdated default ABC command strings
Clifford Wolf [Thu, 13 Feb 2014 18:14:15 +0000 (19:14 +0100)]
updated default ABC command strings

10 years agoUpdated ABC
Clifford Wolf [Thu, 13 Feb 2014 17:56:36 +0000 (18:56 +0100)]
Updated ABC

10 years agoImplemented read_verilog -defer
Clifford Wolf [Thu, 13 Feb 2014 12:59:13 +0000 (13:59 +0100)]
Implemented read_verilog -defer

10 years agoRemoved double blanks in ABC default command sequences
Clifford Wolf [Thu, 13 Feb 2014 07:12:52 +0000 (08:12 +0100)]
Removed double blanks in ABC default command sequences

10 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 13 Feb 2014 07:09:17 +0000 (08:09 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

10 years agoUpdated ABC and some related changes
Clifford Wolf [Thu, 13 Feb 2014 07:07:08 +0000 (08:07 +0100)]
Updated ABC and some related changes

10 years agoMerge pull request #26 from ahmedirfan1983/btor
Clifford Wolf [Wed, 12 Feb 2014 22:46:58 +0000 (23:46 +0100)]
Merge pull request #26 from ahmedirfan1983/btor

Btor

10 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 12 Feb 2014 22:30:02 +0000 (23:30 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

10 years agoAdded support for functions returning integer
Clifford Wolf [Wed, 12 Feb 2014 22:29:54 +0000 (23:29 +0100)]
Added support for functions returning integer

10 years agomodified btor synthesis script for correct use of splice command.
Ahmed Irfan [Wed, 12 Feb 2014 12:38:28 +0000 (13:38 +0100)]
modified btor synthesis script for correct use of splice command.

10 years agoDisabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)
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)

10 years agoUpdated ABC to rev e97a6e1d59b9
Clifford Wolf [Wed, 12 Feb 2014 07:35:42 +0000 (08:35 +0100)]
Updated ABC to rev e97a6e1d59b9

10 years agorenamed ilang "scope error" to "ilang error"
Clifford Wolf [Tue, 11 Feb 2014 18:17:07 +0000 (19:17 +0100)]
renamed ilang "scope error" to "ilang error"

10 years agodisabling splice command in the script
Ahmed Irfan [Tue, 11 Feb 2014 14:43:03 +0000 (15:43 +0100)]
disabling splice command in the script

10 years agoregister output corrected
Ahmed Irfan [Tue, 11 Feb 2014 12:28:05 +0000 (13:28 +0100)]
register output corrected

10 years agoMerge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Ahmed Irfan [Tue, 11 Feb 2014 12:26:43 +0000 (13:26 +0100)]
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor

10 years agoadded concat and slice cell translation
Ahmed Irfan [Tue, 11 Feb 2014 12:06:01 +0000 (13:06 +0100)]
added concat and slice cell translation

10 years agoMore Makefile cleanups
Clifford Wolf [Tue, 11 Feb 2014 11:58:08 +0000 (12:58 +0100)]
More Makefile cleanups

10 years agoImproved "make manual" and "make clean"
Clifford Wolf [Tue, 11 Feb 2014 11:55:58 +0000 (12:55 +0100)]
Improved "make manual" and "make clean"

10 years agoImproved ilang parser error messages
Clifford Wolf [Sun, 9 Feb 2014 14:35:31 +0000 (15:35 +0100)]
Improved ilang parser error messages

10 years agofixed a bug in subcircuit library with cells that have connections to itself
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

10 years agoVarious improvements in expose command (added -sep and -cut)
Clifford Wolf [Sun, 9 Feb 2014 10:07:46 +0000 (11:07 +0100)]
Various improvements in expose command (added -sep and -cut)

10 years agoAdded delete {-input|-output|-port}
Clifford Wolf [Sun, 9 Feb 2014 09:03:26 +0000 (10:03 +0100)]
Added delete {-input|-output|-port}

10 years agoBugfix in delete command
Clifford Wolf [Sun, 9 Feb 2014 08:34:58 +0000 (09:34 +0100)]
Bugfix in delete command

10 years agoAdded test cases for expose -evert-dff
Clifford Wolf [Sat, 8 Feb 2014 20:27:04 +0000 (21:27 +0100)]
Added test cases for expose -evert-dff

10 years agoFixed handling of async reset in 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

10 years agoBuild fixes for log cmd
Clifford Wolf [Sat, 8 Feb 2014 20:21:51 +0000 (21:21 +0100)]
Build fixes for log cmd

10 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Sat, 8 Feb 2014 20:08:46 +0000 (21:08 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

10 years agoImplemented expose -evert-dff
Clifford Wolf [Sat, 8 Feb 2014 20:08:38 +0000 (21:08 +0100)]
Implemented expose -evert-dff

10 years agoMerge pull request #24 from hansiglaser/master
Clifford Wolf [Sat, 8 Feb 2014 19:02:32 +0000 (20:02 +0100)]
Merge pull request #24 from hansiglaser/master

added "log" command

10 years agoadded "log" command
Johann Glaser [Sat, 8 Feb 2014 18:19:32 +0000 (19:19 +0100)]
added "log" command

10 years agoImproved checking of internal cell conventions
Clifford Wolf [Sat, 8 Feb 2014 18:13:49 +0000 (19:13 +0100)]
Improved checking of internal cell conventions

10 years agoFixed bug in collecting of RD_TRANSPARENT parameter in memory_collect
Clifford Wolf [Sat, 8 Feb 2014 18:13:19 +0000 (19:13 +0100)]
Fixed bug in collecting of RD_TRANSPARENT parameter in memory_collect

10 years agoAdded various new options to splice command
Clifford Wolf [Sat, 8 Feb 2014 15:37:18 +0000 (16:37 +0100)]
Added various new options to splice command

10 years agoAdded %a select operator
Clifford Wolf [Sat, 8 Feb 2014 15:31:38 +0000 (16:31 +0100)]
Added %a select operator

10 years agoMoved some passes to other source directories
Clifford Wolf [Sat, 8 Feb 2014 13:39:15 +0000 (14:39 +0100)]
Moved some passes to other source directories

10 years agoAdded support for "keep" attribute to abc pass
Clifford Wolf [Sat, 8 Feb 2014 13:25:29 +0000 (14:25 +0100)]
Added support for "keep" attribute to abc pass

10 years agoAdded opt -purge (frontend to opt_clean -purge)
Clifford Wolf [Sat, 8 Feb 2014 13:21:34 +0000 (14:21 +0100)]
Added opt -purge (frontend to opt_clean -purge)

10 years agoOnly count non-trivial attributes when findinf master signal in opt_clean
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

10 years agoAdded checking for ABC modifications to Makefile and made sure we do not have the...
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

10 years agoNow also move net labes to the right position in splice cmd
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

10 years agoImproved detection of primary wire for a signal in opt_clean
Clifford Wolf [Fri, 7 Feb 2014 22:50:17 +0000 (23:50 +0100)]
Improved detection of primary wire for a signal in opt_clean

10 years agoAdded splice command
Clifford Wolf [Fri, 7 Feb 2014 19:26:40 +0000 (20:26 +0100)]
Added splice command

10 years agoAdded log_header() to splitnets
Clifford Wolf [Fri, 7 Feb 2014 18:51:15 +0000 (19:51 +0100)]
Added log_header() to splitnets

10 years agoAdded $slice and $concat to CellTypes list
Clifford Wolf [Fri, 7 Feb 2014 18:50:44 +0000 (19:50 +0100)]
Added $slice and $concat to CellTypes list

10 years agoAdded $slice and $concat cell types
Clifford Wolf [Fri, 7 Feb 2014 16:44:57 +0000 (17:44 +0100)]
Added $slice and $concat cell types

10 years agoStronger checking of internal cells
Clifford Wolf [Fri, 7 Feb 2014 16:39:35 +0000 (17:39 +0100)]
Stronger checking of internal cells

10 years agoRe-enabled abc "retime" after sorting yout the yosys-bigsim problem
Clifford Wolf [Fri, 7 Feb 2014 15:36:37 +0000 (16:36 +0100)]
Re-enabled abc "retime" after sorting yout the yosys-bigsim problem

10 years agoAdded echo command
Clifford Wolf [Fri, 7 Feb 2014 13:17:00 +0000 (14:17 +0100)]
Added echo command

10 years agoFixed use of "cmd_error" in passes/cmds/design.cc
Clifford Wolf [Fri, 7 Feb 2014 13:16:42 +0000 (14:16 +0100)]
Fixed use of "cmd_error" in passes/cmds/design.cc

10 years agoFixed gcc compiler warnings with release build
Clifford Wolf [Thu, 6 Feb 2014 21:49:14 +0000 (22:49 +0100)]
Fixed gcc compiler warnings with release build

10 years agoDisabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim failed)
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)

10 years agoUpdated ABC to rev 10cc13a2a0f1
Clifford Wolf [Thu, 6 Feb 2014 21:18:17 +0000 (22:18 +0100)]
Updated ABC to rev 10cc13a2a0f1

10 years agoAdded "retime" to standard ABC recipes
Clifford Wolf [Thu, 6 Feb 2014 21:16:20 +0000 (22:16 +0100)]
Added "retime" to standard ABC recipes

10 years agoAdded copy command
Clifford Wolf [Thu, 6 Feb 2014 21:09:21 +0000 (22:09 +0100)]
Added copy command

10 years agoAdded design -stash/-copy-from/-copy-to
Clifford Wolf [Thu, 6 Feb 2014 20:52:07 +0000 (21:52 +0100)]
Added design -stash/-copy-from/-copy-to

10 years agoAdded support for s: select expressions (wire width)
Clifford Wolf [Thu, 6 Feb 2014 18:45:03 +0000 (19:45 +0100)]
Added support for s: select expressions (wire width)

10 years agoAdded i:, o:, and x: selection pattern
Clifford Wolf [Thu, 6 Feb 2014 18:35:33 +0000 (19:35 +0100)]
Added i:, o:, and x: selection pattern

10 years agoAdded support for %m selection op
Clifford Wolf [Thu, 6 Feb 2014 18:30:08 +0000 (19:30 +0100)]
Added support for %m selection op

10 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 6 Feb 2014 18:22:50 +0000 (19:22 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

10 years agoAdded generic RTLIL::SigSpec::parse_sel() with support for selection variables
Clifford Wolf [Thu, 6 Feb 2014 18:22:46 +0000 (19:22 +0100)]
Added generic RTLIL::SigSpec::parse_sel() with support for selection variables

10 years agoMerge pull request #23 from hansiglaser/master
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

10 years agonew %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

10 years agoAdded support for sat -show @<sel_name>
Clifford Wolf [Thu, 6 Feb 2014 16:32:51 +0000 (17:32 +0100)]
Added support for sat -show @<sel_name>

10 years agoAdded sat -set-init-def and sat -tempinduct-def
Clifford Wolf [Thu, 6 Feb 2014 15:15:23 +0000 (16:15 +0100)]
Added sat -set-init-def and sat -tempinduct-def

10 years agoAdded opt_const -undriven
Clifford Wolf [Thu, 6 Feb 2014 14:49:03 +0000 (15:49 +0100)]
Added opt_const -undriven

10 years agoAdded expose -dff
Clifford Wolf [Thu, 6 Feb 2014 14:48:42 +0000 (15:48 +0100)]
Added expose -dff

10 years agoAdded support for #-comments in same line as command
Clifford Wolf [Thu, 6 Feb 2014 13:26:39 +0000 (14:26 +0100)]
Added support for #-comments in same line as command

10 years agopresentation progress
Clifford Wolf [Thu, 6 Feb 2014 13:01:43 +0000 (14:01 +0100)]
presentation progress

10 years agoChanged techmap description from "simple" to "generic"
Clifford Wolf [Thu, 6 Feb 2014 12:10:06 +0000 (13:10 +0100)]
Changed techmap description from "simple" to "generic"

10 years agoAdded miter -make_outcmp
Clifford Wolf [Thu, 6 Feb 2014 01:20:55 +0000 (02:20 +0100)]
Added miter -make_outcmp

10 years agoAdded sat -set-init-zero support
Clifford Wolf [Thu, 6 Feb 2014 00:40:01 +0000 (01:40 +0100)]
Added sat -set-init-zero support

10 years agoAdded support for backslash continuation in script files
Clifford Wolf [Thu, 6 Feb 2014 00:28:33 +0000 (01:28 +0100)]
Added support for backslash continuation in script files

10 years agoAdded counters sat test case
Clifford Wolf [Thu, 6 Feb 2014 00:00:11 +0000 (01:00 +0100)]
Added counters sat test case

10 years agoAdded sat -verify and -falsify support for non-prove cases
Clifford Wolf [Wed, 5 Feb 2014 23:59:41 +0000 (00:59 +0100)]
Added sat -verify and -falsify support for non-prove cases

10 years agoAdded expose command
Clifford Wolf [Wed, 5 Feb 2014 22:59:55 +0000 (23:59 +0100)]
Added expose command

10 years agopresentation progress
Clifford Wolf [Wed, 5 Feb 2014 19:06:34 +0000 (20:06 +0100)]
presentation progress

10 years agoSimplified select "Assertation failed" message generation
Clifford Wolf [Wed, 5 Feb 2014 17:52:55 +0000 (18:52 +0100)]
Simplified select "Assertation failed" message generation

10 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 5 Feb 2014 17:46:47 +0000 (18:46 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

10 years agoMerge pull request #22 from hansiglaser/master
Clifford Wolf [Wed, 5 Feb 2014 17:46:36 +0000 (18:46 +0100)]
Merge pull request #22 from hansiglaser/master

Little improvements for "select"

10 years agoAdded BTOR backend README file
Clifford Wolf [Wed, 5 Feb 2014 17:31:10 +0000 (18:31 +0100)]
Added BTOR backend README file

10 years agoAdded selection support for r: and selection with relational operators
Clifford Wolf [Wed, 5 Feb 2014 17:24:45 +0000 (18:24 +0100)]
Added selection support for r: and selection with relational operators

10 years agobe more verbose for select -assert-any and -assert-none
Johann Glaser [Wed, 5 Feb 2014 15:03:02 +0000 (16:03 +0100)]
be more verbose for select -assert-any and -assert-none

10 years agoimproved help for "select"
Johann Glaser [Wed, 5 Feb 2014 14:53:02 +0000 (15:53 +0100)]
improved help for "select"

10 years agopresentation progress
Clifford Wolf [Wed, 5 Feb 2014 14:06:13 +0000 (15:06 +0100)]
presentation progress

10 years agopresentation progress
Clifford Wolf [Wed, 5 Feb 2014 12:12:50 +0000 (13:12 +0100)]
presentation progress

10 years agoAdded read_verilog -setattr
Clifford Wolf [Wed, 5 Feb 2014 10:22:10 +0000 (11:22 +0100)]
Added read_verilog -setattr

10 years agoAdded setattr and setparam commands
Clifford Wolf [Wed, 5 Feb 2014 10:11:55 +0000 (11:11 +0100)]
Added setattr and setparam commands

10 years agoUpdated todo items in README file
Clifford Wolf [Wed, 5 Feb 2014 00:59:30 +0000 (01:59 +0100)]
Updated todo items in README file

10 years agoRemoved old unused files from tests/
Clifford Wolf [Wed, 5 Feb 2014 00:55:39 +0000 (01:55 +0100)]
Removed old unused files from tests/

10 years agoAdded support for dump -append
Clifford Wolf [Tue, 4 Feb 2014 22:45:30 +0000 (23:45 +0100)]
Added support for dump -append

10 years agoThrow errors if non-existing selection variables are used
Clifford Wolf [Tue, 4 Feb 2014 22:31:06 +0000 (23:31 +0100)]
Throw errors if non-existing selection variables are used

10 years agoAdded select -none
Clifford Wolf [Tue, 4 Feb 2014 22:23:44 +0000 (23:23 +0100)]
Added select -none

10 years agopresentation progress
Clifford Wolf [Tue, 4 Feb 2014 22:00:48 +0000 (23:00 +0100)]
presentation progress

10 years agoFixed detection of init attribute in opt_rmdff
Clifford Wolf [Tue, 4 Feb 2014 22:00:32 +0000 (23:00 +0100)]
Fixed detection of init attribute in opt_rmdff

10 years agoAdded support for inline commands to abc -script
Clifford Wolf [Tue, 4 Feb 2014 21:01:53 +0000 (22:01 +0100)]
Added support for inline commands to abc -script

10 years agopresentation progress
Clifford Wolf [Tue, 4 Feb 2014 15:51:12 +0000 (16:51 +0100)]
presentation progress

10 years agoAdded hierarchy -purge_lib option
Clifford Wolf [Tue, 4 Feb 2014 15:50:13 +0000 (16:50 +0100)]
Added hierarchy -purge_lib option

10 years agoAdded test cases for sat command
Clifford Wolf [Tue, 4 Feb 2014 12:43:34 +0000 (13:43 +0100)]
Added test cases for sat command

10 years agoadded sat -falsify
Clifford Wolf [Tue, 4 Feb 2014 12:34:37 +0000 (13:34 +0100)]
added sat -falsify