yosys.git
12 years agoAdded support for @<set-name> in expand select ops (%x, %ci, %co)
Clifford Wolf [Mon, 1 Apr 2013 12:58:11 +0000 (14:58 +0200)]
Added support for @<set-name> in expand select ops (%x, %ci, %co)

12 years agoRemoved 4096 bytes limit for size of command from script file
Clifford Wolf [Mon, 1 Apr 2013 12:38:05 +0000 (14:38 +0200)]
Removed 4096 bytes limit for size of command from script file

12 years agoAdded -color <color> <selection> option to show command
Clifford Wolf [Mon, 1 Apr 2013 12:12:17 +0000 (14:12 +0200)]
Added -color <color> <selection> option to show command

12 years agoFixed "select" for "%%" stmt with emty stack
Clifford Wolf [Sun, 31 Mar 2013 16:06:27 +0000 (18:06 +0200)]
Fixed "select" for "%%" stmt with emty stack

12 years agoAdded "script" command
Clifford Wolf [Sun, 31 Mar 2013 16:05:31 +0000 (18:05 +0200)]
Added "script" command

12 years agoNow only use value from "initial" when no matching "always" block is found
Clifford Wolf [Sun, 31 Mar 2013 09:51:12 +0000 (11:51 +0200)]
Now only use value from "initial" when no matching "always" block is found

12 years agoAdded AST_INITIAL (before verilog "initial" was mapped to AST_ALWAYS)
Clifford Wolf [Sun, 31 Mar 2013 09:19:11 +0000 (11:19 +0200)]
Added AST_INITIAL (before verilog "initial" was mapped to AST_ALWAYS)

12 years agoAdded test cases from 2012 paper on comparison of foss verilog synthesis tools
Clifford Wolf [Sun, 31 Mar 2013 09:17:56 +0000 (11:17 +0200)]
Added test cases from 2012 paper on comparison of foss verilog synthesis tools

12 years agoAdded k68 (m68k compatible cpu) test case from verilator
Clifford Wolf [Sun, 31 Mar 2013 09:00:46 +0000 (11:00 +0200)]
Added k68 (m68k compatible cpu) test case from verilator

12 years agoImproved opt_share for reduce cells
Clifford Wolf [Fri, 29 Mar 2013 10:19:21 +0000 (11:19 +0100)]
Improved opt_share for reduce cells

12 years agoImproved opt_share for commutative standard cells
Clifford Wolf [Fri, 29 Mar 2013 10:01:26 +0000 (11:01 +0100)]
Improved opt_share for commutative standard cells

12 years agoAdded EXTRA_TARGETS Makefile variable
Clifford Wolf [Thu, 28 Mar 2013 15:53:40 +0000 (16:53 +0100)]
Added EXTRA_TARGETS Makefile variable

12 years agoImproved Makefile: Added ENABLE_* switches
Clifford Wolf [Thu, 28 Mar 2013 15:50:50 +0000 (16:50 +0100)]
Improved Makefile: Added ENABLE_* switches

12 years agoImplemented TCL support (only via -c option at the moment)
Clifford Wolf [Thu, 28 Mar 2013 11:26:17 +0000 (12:26 +0100)]
Implemented TCL support (only via -c option at the moment)

12 years agoImproved subcircuit verbose output (added portmapper results)
Clifford Wolf [Thu, 28 Mar 2013 10:36:54 +0000 (11:36 +0100)]
Improved subcircuit verbose output (added portmapper results)

12 years agoFixed svgviewer hacks for builtin files
Clifford Wolf [Thu, 28 Mar 2013 09:47:35 +0000 (10:47 +0100)]
Fixed svgviewer hacks for builtin files

12 years agoAdded proper TECHMAP_FAIL support and added support for the celltype attribute in...
Clifford Wolf [Thu, 28 Mar 2013 09:12:50 +0000 (10:12 +0100)]
Added proper TECHMAP_FAIL support and added support for the celltype attribute in the map file

12 years agoImplemented proper handling of stub placeholder modules
Clifford Wolf [Thu, 28 Mar 2013 08:20:10 +0000 (09:20 +0100)]
Implemented proper handling of stub placeholder modules

12 years agoKeep viewport transform stable on reload in yosys-svgviewer
Clifford Wolf [Wed, 27 Mar 2013 17:48:38 +0000 (18:48 +0100)]
Keep viewport transform stable on reload in yosys-svgviewer

12 years agoAdded check: only one module for "show" unless format is "ps"
Clifford Wolf [Wed, 27 Mar 2013 17:31:42 +0000 (18:31 +0100)]
Added check: only one module for "show" unless format is "ps"

12 years agoNow using SVG and yosys-svgviewer per default in show command
Clifford Wolf [Wed, 27 Mar 2013 17:14:16 +0000 (18:14 +0100)]
Now using SVG and yosys-svgviewer per default in show command

12 years agoAdded yosys-svgviewer to build system and renamed filterlib to yosys-filterlib
Clifford Wolf [Wed, 27 Mar 2013 09:51:15 +0000 (10:51 +0100)]
Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlib

12 years agoImported svgviewer from qt4.8
Clifford Wolf [Wed, 27 Mar 2013 05:57:57 +0000 (06:57 +0100)]
Imported svgviewer from qt4.8

This is from commit 543486a41963f8d20d9771d2107cdd5a22894bdb in the
Qt git repository: git://gitorious.org/qt/qt.git

12 years agoCreate nice errors when calling RTLIL::Module::derive() of base class
Clifford Wolf [Tue, 26 Mar 2013 18:27:49 +0000 (19:27 +0100)]
Create nice errors when calling RTLIL::Module::derive() of base class

12 years agoCollect parameters in hierarchy -generate (and do nothing with them)
Clifford Wolf [Tue, 26 Mar 2013 18:11:53 +0000 (19:11 +0100)]
Collect parameters in hierarchy -generate (and do nothing with them)

12 years agoTiny bugfix in simlib.v
Clifford Wolf [Tue, 26 Mar 2013 18:06:28 +0000 (19:06 +0100)]
Tiny bugfix in simlib.v

12 years agoImprovements and bugfixes for generate blocks with local signals
Clifford Wolf [Tue, 26 Mar 2013 10:13:58 +0000 (11:13 +0100)]
Improvements and bugfixes for generate blocks with local signals

12 years agoFixed handling of unconditional generate blocks
Clifford Wolf [Tue, 26 Mar 2013 08:44:54 +0000 (09:44 +0100)]
Fixed handling of unconditional generate blocks

12 years agoAdded nosync attribute and some async reset related fixes
Clifford Wolf [Mon, 25 Mar 2013 16:13:14 +0000 (17:13 +0100)]
Added nosync attribute and some async reset related fixes

12 years agoImproved verbose output of subcircuit
Clifford Wolf [Mon, 25 Mar 2013 10:08:52 +0000 (11:08 +0100)]
Improved verbose output of subcircuit

12 years agoImproved method for finding fsm_expand candidates
Clifford Wolf [Mon, 25 Mar 2013 01:24:11 +0000 (02:24 +0100)]
Improved method for finding fsm_expand candidates

12 years agoAdded hierarchy -generate command for generating skeletton modules
Clifford Wolf [Mon, 25 Mar 2013 01:14:33 +0000 (02:14 +0100)]
Added hierarchy -generate command for generating skeletton modules

12 years agoChanged fsm_expand to merge multiplexers more aggressively
Clifford Wolf [Sun, 24 Mar 2013 16:59:44 +0000 (17:59 +0100)]
Changed fsm_expand to merge multiplexers more aggressively

12 years agoRenamed hansimem.v test case to mem_arst.v
Clifford Wolf [Sun, 24 Mar 2013 14:25:08 +0000 (15:25 +0100)]
Renamed hansimem.v test case to mem_arst.v

12 years agoFixed handling of show -viewer
Clifford Wolf [Sun, 24 Mar 2013 14:21:57 +0000 (15:21 +0100)]
Fixed handling of show -viewer

12 years agoFixed handling of internal signals in show command
Clifford Wolf [Sun, 24 Mar 2013 14:15:28 +0000 (15:15 +0100)]
Fixed handling of internal signals in show command

12 years agoImproved show -colors color assignments
Clifford Wolf [Sun, 24 Mar 2013 12:32:56 +0000 (13:32 +0100)]
Improved show -colors color assignments

12 years agoAdded show -strech and renamed -widthlabels to -width
Clifford Wolf [Sun, 24 Mar 2013 12:27:04 +0000 (13:27 +0100)]
Added show -strech and renamed -widthlabels to -width

12 years agoAdded -widthlabels options to chow command
Clifford Wolf [Sun, 24 Mar 2013 12:11:06 +0000 (13:11 +0100)]
Added -widthlabels options to chow command

12 years agoAdded -notypes option to intersynth backend
Clifford Wolf [Sun, 24 Mar 2013 11:05:25 +0000 (12:05 +0100)]
Added -notypes option to intersynth backend

12 years agoReorganized TODOs
Clifford Wolf [Sun, 24 Mar 2013 10:23:54 +0000 (11:23 +0100)]
Reorganized TODOs

12 years agoAdded mem2reg option to verilog frontend
Clifford Wolf [Sun, 24 Mar 2013 10:13:32 +0000 (11:13 +0100)]
Added mem2reg option to verilog frontend

12 years agoFixed stdcells.v for $adff with undef reset value
Clifford Wolf [Sun, 24 Mar 2013 09:43:05 +0000 (10:43 +0100)]
Fixed stdcells.v for $adff with undef reset value

12 years agoAnother fix in mem2reg ast simplify logic
Clifford Wolf [Sun, 24 Mar 2013 09:42:08 +0000 (10:42 +0100)]
Another fix in mem2reg ast simplify logic

12 years agoAdded -colors option to show command
Clifford Wolf [Sun, 24 Mar 2013 09:41:24 +0000 (10:41 +0100)]
Added -colors option to show command

12 years agoAdded hansimem testcase (memory with async reset)
Clifford Wolf [Sun, 24 Mar 2013 09:40:40 +0000 (10:40 +0100)]
Added hansimem testcase (memory with async reset)

12 years agoImproved mem2reg handling in ast simplifier
Clifford Wolf [Sun, 24 Mar 2013 08:27:01 +0000 (09:27 +0100)]
Improved mem2reg handling in ast simplifier

12 years agoFixed gcc build (intersynth backend)
Clifford Wolf [Sat, 23 Mar 2013 18:01:58 +0000 (19:01 +0100)]
Fixed gcc build (intersynth backend)

12 years agoTiny fixes to verilog parser
Clifford Wolf [Sat, 23 Mar 2013 17:54:31 +0000 (18:54 +0100)]
Tiny fixes to verilog parser

12 years agoVarious improvements in intersynth backend
Clifford Wolf [Sat, 23 Mar 2013 11:02:09 +0000 (12:02 +0100)]
Various improvements in intersynth backend

12 years agoAdded intersynth backend
Clifford Wolf [Sat, 23 Mar 2013 09:58:14 +0000 (10:58 +0100)]
Added intersynth backend

12 years agoAdded help -write-tex-command-reference-manual option
Clifford Wolf [Thu, 21 Mar 2013 10:33:56 +0000 (11:33 +0100)]
Added help -write-tex-command-reference-manual option

12 years agoAdded eclipse CDT project files to .gitignore
Clifford Wolf [Thu, 21 Mar 2013 09:59:35 +0000 (10:59 +0100)]
Added eclipse CDT project files to .gitignore

12 years agoAdded -S option for simple synthesis to gate logic
Clifford Wolf [Thu, 21 Mar 2013 08:52:21 +0000 (09:52 +0100)]
Added -S option for simple synthesis to gate logic

12 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

12 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

12 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

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

12 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

12 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

12 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

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

12 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"

12 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

12 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

12 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

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

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

12 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

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

12 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

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

12 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

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

12 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

12 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

12 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>
12 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>
12 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>
12 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>
12 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>
12 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

12 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)

12 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

12 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

12 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

12 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 %

12 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

12 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

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

12 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

12 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

12 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

12 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

12 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

12 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

12 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)

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

12 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

12 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