yosys.git
11 years agoAvoid verilog-2k in verilog backend
Clifford Wolf [Thu, 21 Mar 2013 08:51:25 +0000 (09:51 +0100)]
Avoid verilog-2k in verilog backend

11 years agoDisabled the per-default dumping of ILANG code
Clifford Wolf [Thu, 21 Mar 2013 08:12:32 +0000 (09:12 +0100)]
Disabled the per-default dumping of ILANG code

11 years agoAdded -nomap option to memory pass
Clifford Wolf [Thu, 21 Mar 2013 08:11:06 +0000 (09:11 +0100)]
Added -nomap option to memory pass

11 years agoMerge branch 'hansiglaser-master'
Clifford Wolf [Tue, 19 Mar 2013 12:47:46 +0000 (13:47 +0100)]
Merge branch 'hansiglaser-master'

11 years agoadded optimizations for single-bit $eq/$ne with constant input to opt_const
Clifford Wolf [Tue, 19 Mar 2013 12:33:33 +0000 (13:33 +0100)]
added optimizations for single-bit $eq/$ne with constant input to opt_const

11 years agoimproved $mux optimization in opt_const
Clifford Wolf [Tue, 19 Mar 2013 12:32:39 +0000 (13:32 +0100)]
improved $mux optimization in opt_const

11 years agokeep $mux and $_MUX_ optimizations separate in opt_const
Clifford Wolf [Tue, 19 Mar 2013 12:32:04 +0000 (13:32 +0100)]
keep $mux and $_MUX_ optimizations separate in opt_const

11 years agoadded a TODO
Johann Glaser [Mon, 18 Mar 2013 21:06:53 +0000 (22:06 +0100)]
added a TODO

11 years agoadded one more suggestion to optimize MUXes in pass "opt_const"
Johann Glaser [Mon, 18 Mar 2013 21:06:16 +0000 (22:06 +0100)]
added one more suggestion to optimize MUXes in pass "opt_const"

11 years agoalso optimize single-bit "$mux" cells in pass "opt_const", added suggestions
Johann Glaser [Mon, 18 Mar 2013 21:05:21 +0000 (22:05 +0100)]
also optimize single-bit "$mux" cells in pass "opt_const", added suggestions
for more optimizations

11 years agofixed a crash when lines start with whitespace
Johann Glaser [Mon, 18 Mar 2013 19:58:47 +0000 (20:58 +0100)]
fixed a crash when lines start with whitespace

11 years agoadded description of Makefile include files for build configuration
Johann Glaser [Mon, 18 Mar 2013 18:26:35 +0000 (19:26 +0100)]
added description of Makefile include files for build configuration

11 years agoMore TODOs in README
Clifford Wolf [Mon, 18 Mar 2013 14:05:15 +0000 (15:05 +0100)]
More TODOs in README

11 years agoMerge branch 'hansi'
Clifford Wolf [Mon, 18 Mar 2013 06:33:53 +0000 (07:33 +0100)]
Merge branch 'hansi'

11 years agoRemoved date from auto-generated passes/techmap/stdcells.inc
Clifford Wolf [Mon, 18 Mar 2013 06:32:33 +0000 (07:32 +0100)]
Removed date from auto-generated passes/techmap/stdcells.inc

11 years agoFixed abc eeror handling
Clifford Wolf [Mon, 18 Mar 2013 06:31:59 +0000 (07:31 +0100)]
Fixed abc eeror handling

11 years agoadd header to autogenerated file on its origin
Johann Glaser [Sun, 17 Mar 2013 21:02:46 +0000 (22:02 +0100)]
add header to autogenerated file on its origin

11 years agofixed typos
Johann Glaser [Sun, 17 Mar 2013 21:02:30 +0000 (22:02 +0100)]
fixed typos

11 years agoFixed strerrno vs. strerror types in ABC pass
Clifford Wolf [Sun, 17 Mar 2013 08:28:58 +0000 (09:28 +0100)]
Fixed strerrno vs. strerror types in ABC pass

11 years agoMerge branch 'hansi'
Clifford Wolf [Sun, 17 Mar 2013 08:18:00 +0000 (09:18 +0100)]
Merge branch 'hansi'

11 years agoCleaned up ABC file/io error handling
Clifford Wolf [Sun, 17 Mar 2013 08:17:18 +0000 (09:17 +0100)]
Cleaned up ABC file/io error handling

11 years agoSet execute bit on tests/openmsp430/run-synth.sh for real
Clifford Wolf [Sun, 17 Mar 2013 08:10:09 +0000 (09:10 +0100)]
Set execute bit on tests/openmsp430/run-synth.sh for real

11 years agoadded error checking at execution of ABC
Johann Glaser [Sat, 16 Mar 2013 21:04:55 +0000 (22:04 +0100)]
added error checking at execution of ABC

Signed-off-by: Clifford Wolf <clifford@clifford.at>
11 years agocorrected typos
Johann Glaser [Sat, 16 Mar 2013 20:29:45 +0000 (21:29 +0100)]
corrected typos

Signed-off-by: Clifford Wolf <clifford@clifford.at>
11 years agoset executable flags to run-synth.sh, added .gitignore
Johann Glaser [Sat, 16 Mar 2013 20:23:25 +0000 (21:23 +0100)]
set executable flags to run-synth.sh, added .gitignore

Signed-off-by: Clifford Wolf <clifford@clifford.at>
11 years agoadded ckeck for Icarus Verilog, otherwise the tests are silently stopped
Johann Glaser [Sat, 16 Mar 2013 20:21:38 +0000 (21:21 +0100)]
added ckeck for Icarus Verilog, otherwise the tests are silently stopped

Signed-off-by: Clifford Wolf <clifford@clifford.at>
11 years agocorrected typos
Johann Glaser [Sat, 16 Mar 2013 20:20:38 +0000 (21:20 +0100)]
corrected typos

Signed-off-by: Clifford Wolf <clifford@clifford.at>
11 years agoFixed gcc warnings and added error handling to shell escape
Clifford Wolf [Fri, 15 Mar 2013 09:29:25 +0000 (10:29 +0100)]
Fixed gcc warnings and added error handling to shell escape

11 years agoAdded scc pass (find logic loops)
Clifford Wolf [Fri, 15 Mar 2013 09:24:08 +0000 (10:24 +0100)]
Added scc pass (find logic loops)

11 years agoAdded vi .*.swp files to .gitignore
Clifford Wolf [Fri, 15 Mar 2013 09:23:53 +0000 (10:23 +0100)]
Added vi .*.swp files to .gitignore

11 years agoAdded [[CITE]] tags to abc and fsm_extract passes
Clifford Wolf [Fri, 15 Mar 2013 09:23:02 +0000 (10:23 +0100)]
Added [[CITE]] tags to abc and fsm_extract passes

11 years agoAdded additional functionality and cleanups in sigtools.h and celltypes.h
Clifford Wolf [Fri, 15 Mar 2013 09:22:23 +0000 (10:22 +0100)]
Added additional functionality and cleanups in sigtools.h and celltypes.h

11 years agoChanged prefix for selection operators from # to %
Clifford Wolf [Thu, 14 Mar 2013 15:15:24 +0000 (16:15 +0100)]
Changed prefix for selection operators from # to %

11 years agoAdded #ci and #co selection operators
Clifford Wolf [Thu, 14 Mar 2013 14:57:47 +0000 (15:57 +0100)]
Added #ci and #co selection operators

11 years agoAdded more features to #x selection operator
Clifford Wolf [Thu, 14 Mar 2013 14:35:05 +0000 (15:35 +0100)]
Added more features to #x selection operator

11 years agoAdded "select -write" command
Clifford Wolf [Thu, 14 Mar 2013 12:02:10 +0000 (13:02 +0100)]
Added "select -write" command

11 years agoMore support code for $sr cells
Clifford Wolf [Thu, 14 Mar 2013 10:15:00 +0000 (11:15 +0100)]
More support code for $sr cells

11 years agoAdded $sr cell type to celltypes.h
Clifford Wolf [Thu, 14 Mar 2013 00:08:30 +0000 (01:08 +0100)]
Added $sr cell type to celltypes.h

11 years agoFixed detection of public wires in opt_rmunused
Clifford Wolf [Sun, 10 Mar 2013 13:20:03 +0000 (14:20 +0100)]
Fixed detection of public wires in opt_rmunused

11 years agoAdded shell escape to command language
Clifford Wolf [Sun, 10 Mar 2013 13:05:42 +0000 (14:05 +0100)]
Added shell escape to command language

11 years agoFixed and improved #x selection operator
Clifford Wolf [Fri, 8 Mar 2013 09:15:15 +0000 (10:15 +0100)]
Fixed and improved #x selection operator

11 years agoAutomatically select new objects in abc and techmap passes
Clifford Wolf [Fri, 8 Mar 2013 08:16:25 +0000 (09:16 +0100)]
Automatically select new objects in abc and techmap passes

11 years agoAdded ## selection operator (union all on stack)
Clifford Wolf [Fri, 8 Mar 2013 07:47:29 +0000 (08:47 +0100)]
Added ## selection operator (union all on stack)

11 years agoAdded select -count mode
Clifford Wolf [Fri, 8 Mar 2013 07:31:12 +0000 (08:31 +0100)]
Added select -count mode

11 years agoSplit extract -attr into extract -cell_attr and -wire_attr
Clifford Wolf [Fri, 8 Mar 2013 07:19:24 +0000 (08:19 +0100)]
Split extract -attr into extract -cell_attr and -wire_attr

11 years agoAdded support for attribute matching in extract pass
Clifford Wolf [Thu, 7 Mar 2013 17:51:17 +0000 (18:51 +0100)]
Added support for attribute matching in extract pass

11 years agoAdded portmapping support to subcircuit userCompareNodes() api
Clifford Wolf [Thu, 7 Mar 2013 16:54:18 +0000 (17:54 +0100)]
Added portmapping support to subcircuit userCompareNodes() api

11 years agoCleanups and improvements in Makefile
Clifford Wolf [Thu, 7 Mar 2013 16:34:40 +0000 (17:34 +0100)]
Cleanups and improvements in Makefile

11 years agoFixed parsing of select #x<num> operator
Clifford Wolf [Wed, 6 Mar 2013 18:01:08 +0000 (19:01 +0100)]
Fixed parsing of select #x<num> operator

11 years agoImproved error message on failed module load
Clifford Wolf [Wed, 6 Mar 2013 17:30:45 +0000 (18:30 +0100)]
Improved error message on failed module load

11 years agoAdded support for loadable modules (aka plugins)
Clifford Wolf [Wed, 6 Mar 2013 10:58:07 +0000 (11:58 +0100)]
Added support for loadable modules (aka plugins)

11 years agoReset Makefile default config setting (oops)
Clifford Wolf [Wed, 6 Mar 2013 08:46:21 +0000 (09:46 +0100)]
Reset Makefile default config setting (oops)

11 years agoFixed mine test case for subcircuit library
Clifford Wolf [Wed, 6 Mar 2013 08:44:29 +0000 (09:44 +0100)]
Fixed mine test case for subcircuit library

11 years agoFixed handling of constant values and port swapping in subcircuit library
Clifford Wolf [Wed, 6 Mar 2013 08:38:47 +0000 (09:38 +0100)]
Fixed handling of constant values and port swapping in subcircuit library

11 years agoChanged default value for extract -mine_cells_span
Clifford Wolf [Tue, 5 Mar 2013 20:52:57 +0000 (21:52 +0100)]
Changed default value for extract -mine_cells_span

11 years agoAdded some simple progress information to verbose subcircuit miner output
Clifford Wolf [Tue, 5 Mar 2013 18:22:59 +0000 (19:22 +0100)]
Added some simple progress information to verbose subcircuit miner output

11 years agoImplemented -mine_split option to extract pass
Clifford Wolf [Tue, 5 Mar 2013 12:50:31 +0000 (13:50 +0100)]
Implemented -mine_split option to extract pass

11 years agoImplemented much better #x select operator
Clifford Wolf [Tue, 5 Mar 2013 11:53:40 +0000 (12:53 +0100)]
Implemented much better #x select operator

11 years agoImplemented extract -mine_max_fanout <num> option
Clifford Wolf [Sun, 3 Mar 2013 22:48:00 +0000 (23:48 +0100)]
Implemented extract -mine_max_fanout <num> option

11 years agoPerformance optimization in subcircuit mining
Clifford Wolf [Sun, 3 Mar 2013 22:17:58 +0000 (23:17 +0100)]
Performance optimization in subcircuit mining

11 years agoFixed a gcc compiler warning [-Wparentheses]
Clifford Wolf [Sun, 3 Mar 2013 21:45:06 +0000 (22:45 +0100)]
Fixed a gcc compiler warning [-Wparentheses]

11 years agoAdded "shared nodes" feature to the subcircuit library
Clifford Wolf [Sun, 3 Mar 2013 20:19:55 +0000 (21:19 +0100)]
Added "shared nodes" feature to the subcircuit library

11 years agoAdded support for "extract_order" attribute to extract pass
Clifford Wolf [Sun, 3 Mar 2013 20:10:27 +0000 (21:10 +0100)]
Added support for "extract_order" attribute to extract pass

11 years agoAdded design->select() api and use it in extract pass
Clifford Wolf [Sun, 3 Mar 2013 19:53:24 +0000 (20:53 +0100)]
Added design->select() api and use it in extract pass

11 years agoFixed subcircuit allowOverlap=false corner case
Clifford Wolf [Sun, 3 Mar 2013 19:33:55 +0000 (20:33 +0100)]
Fixed subcircuit allowOverlap=false corner case

11 years agoAdded support for #x:<num> select stmt
Clifford Wolf [Sun, 3 Mar 2013 16:41:46 +0000 (17:41 +0100)]
Added support for #x:<num> select stmt

11 years agoHandle known inout ports as outputs in show command
Clifford Wolf [Sun, 3 Mar 2013 16:41:09 +0000 (17:41 +0100)]
Handle known inout ports as outputs in show command

11 years agoFixed memory corruption in subcircuit miner
Clifford Wolf [Sun, 3 Mar 2013 12:33:02 +0000 (13:33 +0100)]
Fixed memory corruption in subcircuit miner

11 years agoMinor hotfixes (mostly gcc build fixes)
Clifford Wolf [Sun, 3 Mar 2013 12:18:37 +0000 (13:18 +0100)]
Minor hotfixes (mostly gcc build fixes)

11 years agoAdded library support to celltypes class and show pass
Clifford Wolf [Sun, 3 Mar 2013 09:36:23 +0000 (10:36 +0100)]
Added library support to celltypes class and show pass

11 years agoImplemented general handler for selection arguments
Clifford Wolf [Sun, 3 Mar 2013 09:05:37 +0000 (10:05 +0100)]
Implemented general handler for selection arguments

11 years agoFinished "extract -mine" feature
Clifford Wolf [Sat, 2 Mar 2013 17:57:14 +0000 (18:57 +0100)]
Finished "extract -mine" feature

11 years agoMore fun with subcircuit mining
Clifford Wolf [Sat, 2 Mar 2013 16:44:17 +0000 (17:44 +0100)]
More fun with subcircuit mining

11 years agoAdded -mine option to extract pass (not finished)
Clifford Wolf [Sat, 2 Mar 2013 15:22:37 +0000 (16:22 +0100)]
Added -mine option to extract pass (not finished)

11 years agosubcircuit library: implied allExtern for mining
Clifford Wolf [Sat, 2 Mar 2013 13:34:00 +0000 (14:34 +0100)]
subcircuit library: implied allExtern for mining

11 years agoAdded frequent subcircuit miner to subcircuit library
Clifford Wolf [Sat, 2 Mar 2013 12:53:59 +0000 (13:53 +0100)]
Added frequent subcircuit miner to subcircuit library

11 years agoAdded help messages for fsm_* passes
Clifford Wolf [Fri, 1 Mar 2013 11:35:12 +0000 (12:35 +0100)]
Added help messages for fsm_* passes

11 years agoAdded help messages to memory_* passes
Clifford Wolf [Fri, 1 Mar 2013 09:17:35 +0000 (10:17 +0100)]
Added help messages to memory_* passes

11 years agoAdded help messages to proc_* passes
Clifford Wolf [Fri, 1 Mar 2013 08:26:29 +0000 (09:26 +0100)]
Added help messages to proc_* passes

11 years agoAdded help messages for opt_* passes
Clifford Wolf [Fri, 1 Mar 2013 07:58:55 +0000 (08:58 +0100)]
Added help messages for opt_* passes

11 years agoAdded id2cstr API
Clifford Wolf [Fri, 1 Mar 2013 07:57:58 +0000 (08:57 +0100)]
Added id2cstr API

11 years agoAdded help messages to ilang and verilog frontends
Clifford Wolf [Fri, 1 Mar 2013 07:03:00 +0000 (08:03 +0100)]
Added help messages to ilang and verilog frontends

11 years agoDo not unescape identifiers starting with \$
Clifford Wolf [Fri, 1 Mar 2013 00:10:11 +0000 (01:10 +0100)]
Do not unescape identifiers starting with \$

11 years agoFixed "make qtcreator" (we now have a libs/ directory)
Clifford Wolf [Fri, 1 Mar 2013 00:08:16 +0000 (01:08 +0100)]
Fixed "make qtcreator" (we now have a libs/ directory)

11 years agoAdded more help messages
Clifford Wolf [Thu, 28 Feb 2013 23:36:19 +0000 (00:36 +0100)]
Added more help messages

11 years agoImproved help message for "shell" command
Clifford Wolf [Thu, 28 Feb 2013 15:53:34 +0000 (16:53 +0100)]
Improved help message for "shell" command

11 years agoAdded help command to README (and some other README changes)
Clifford Wolf [Thu, 28 Feb 2013 13:17:57 +0000 (14:17 +0100)]
Added help command to README (and some other README changes)

11 years agoAdded online help for "show" and "hierarchy" commands
Clifford Wolf [Thu, 28 Feb 2013 12:59:49 +0000 (13:59 +0100)]
Added online help for "show" and "hierarchy" commands

11 years agoAdded help for command line options
Clifford Wolf [Thu, 28 Feb 2013 12:13:56 +0000 (13:13 +0100)]
Added help for command line options

11 years agoAdded help msg to select command (and minor improvements)
Clifford Wolf [Thu, 28 Feb 2013 11:51:30 +0000 (12:51 +0100)]
Added help msg to select command (and minor improvements)

11 years agoAdded more help messages (extract, abc, dfflibmap)
Clifford Wolf [Thu, 28 Feb 2013 10:14:59 +0000 (11:14 +0100)]
Added more help messages (extract, abc, dfflibmap)

11 years agoAdded "help" command
Clifford Wolf [Thu, 28 Feb 2013 09:21:55 +0000 (10:21 +0100)]
Added "help" command

11 years agoAdded port swapping and compatible types to "extract" pass
Clifford Wolf [Thu, 28 Feb 2013 09:00:42 +0000 (10:00 +0100)]
Added port swapping and compatible types to "extract" pass

11 years agoAdded "extract -constports" feature
Clifford Wolf [Wed, 27 Feb 2013 22:39:10 +0000 (23:39 +0100)]
Added "extract -constports" feature

11 years agoChanged default frontend for "-" to "script" (was: "ilang")
Clifford Wolf [Wed, 27 Feb 2013 22:38:38 +0000 (23:38 +0100)]
Changed default frontend for "-" to "script" (was: "ilang")

11 years agoFixed "extract" pass for non-optimized needles
Clifford Wolf [Wed, 27 Feb 2013 22:19:30 +0000 (23:19 +0100)]
Fixed "extract" pass for non-optimized needles

11 years agoAdded support for simple gates with one constant input to opt_const
Clifford Wolf [Wed, 27 Feb 2013 17:00:01 +0000 (18:00 +0100)]
Added support for simple gates with one constant input to opt_const

11 years agoAdded extract -verbose and -map ilang support
Clifford Wolf [Wed, 27 Feb 2013 16:26:32 +0000 (17:26 +0100)]
Added extract -verbose and -map ilang support

11 years agoImplemented basic functionality of "extract" pass
Clifford Wolf [Wed, 27 Feb 2013 15:27:20 +0000 (16:27 +0100)]
Implemented basic functionality of "extract" pass

11 years agoAdded support for constant signals in "extract" pass
Clifford Wolf [Wed, 27 Feb 2013 12:35:30 +0000 (13:35 +0100)]
Added support for constant signals in "extract" pass