yosys.git
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

11 years agoAdded "extract" pass (not functional yet)
Clifford Wolf [Wed, 27 Feb 2013 12:25:18 +0000 (13:25 +0100)]
Added "extract" pass (not functional yet)

11 years agoAdded some additional TODO items
Clifford Wolf [Wed, 27 Feb 2013 09:36:17 +0000 (10:36 +0100)]
Added some additional TODO items

11 years agoFixed typo in README
Clifford Wolf [Wed, 27 Feb 2013 08:45:09 +0000 (09:45 +0100)]
Fixed typo in README

11 years agoAdded copyright statement to readme file
Clifford Wolf [Wed, 27 Feb 2013 08:41:04 +0000 (09:41 +0100)]
Added copyright statement to readme file

11 years agoMoved stand-alone libs to libs/ directory and added libs/subcircuit
Clifford Wolf [Wed, 27 Feb 2013 08:32:19 +0000 (09:32 +0100)]
Moved stand-alone libs to libs/ directory and added libs/subcircuit

11 years agoAdded support for verilog genblock[index].member syntax
Clifford Wolf [Tue, 26 Feb 2013 12:18:22 +0000 (13:18 +0100)]
Added support for verilog genblock[index].member syntax

11 years agoMerge pull request #2 from mschmoelzer/master
Clifford Wolf [Sun, 24 Feb 2013 08:08:07 +0000 (00:08 -0800)]
Merge pull request #2 from mschmoelzer/master

"fsm_export" pass: fix KISS file generation.

11 years ago"fsm_export" pass: fix KISS file generation.
Martin Schmölzer [Sat, 23 Feb 2013 17:22:19 +0000 (18:22 +0100)]
"fsm_export" pass: fix KISS file generation.

The KISS file format now follows the conventions specified in
"Logic Synthesis and Optimization Benchmarks User Guide", Version 3.0
by Saeyang Yang.

This change ensures interoperability with the "trfsmgen" program by Johann
Glaser.

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>