yosys.git
10 years agopmux2mux
Ahmed Irfan [Sat, 18 Jan 2014 16:29:55 +0000 (17:29 +0100)]
pmux2mux

10 years agoRemoved cases of trailing comma in stdcells.v
Clifford Wolf [Sat, 18 Jan 2014 14:36:17 +0000 (15:36 +0100)]
Removed cases of trailing comma in stdcells.v

10 years agoAdded $bu0 cell to simlib.v
Clifford Wolf [Sat, 18 Jan 2014 14:35:15 +0000 (15:35 +0100)]
Added $bu0 cell to simlib.v

10 years agoImproved setundef random number generator
Clifford Wolf [Sat, 18 Jan 2014 01:56:36 +0000 (02:56 +0100)]
Improved setundef random number generator

10 years agoAdded setundef command
Clifford Wolf [Fri, 17 Jan 2014 22:14:36 +0000 (23:14 +0100)]
Added setundef command

10 years agoSome improvements in log_dump_val_worker() templates
Clifford Wolf [Fri, 17 Jan 2014 22:14:17 +0000 (23:14 +0100)]
Some improvements in log_dump_val_worker() templates

10 years agoAdded techlibs/common/pmux2mux.v
Clifford Wolf [Fri, 17 Jan 2014 19:06:15 +0000 (20:06 +0100)]
Added techlibs/common/pmux2mux.v

10 years agoverilog default options pull
Ahmed Irfan [Fri, 17 Jan 2014 18:32:35 +0000 (19:32 +0100)]
verilog default options pull
shift operator width issues

10 years agoMerge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
Ahmed Irfan [Fri, 17 Jan 2014 18:07:41 +0000 (19:07 +0100)]
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor

10 years agoMerge pull request #4 from cliffordwolf/master
Ahmed Irfan [Fri, 17 Jan 2014 18:07:05 +0000 (10:07 -0800)]
Merge pull request #4 from cliffordwolf/master

verilog defaults

10 years agoAdded verilog_defaults command
Clifford Wolf [Fri, 17 Jan 2014 16:22:29 +0000 (17:22 +0100)]
Added verilog_defaults command

10 years agoAdded support for $adff with undef data inputs to opt_rmdff
Clifford Wolf [Fri, 17 Jan 2014 15:42:40 +0000 (16:42 +0100)]
Added support for $adff with undef data inputs to opt_rmdff

10 years agoAdded select -assert-none and -assert-any
Clifford Wolf [Fri, 17 Jan 2014 15:34:50 +0000 (16:34 +0100)]
Added select -assert-none and -assert-any

10 years agoMerge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
Ahmed Irfan [Fri, 17 Jan 2014 09:50:59 +0000 (10:50 +0100)]
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor

10 years agoMerge pull request #3 from cliffordwolf/master
Ahmed Irfan [Fri, 17 Jan 2014 09:48:55 +0000 (01:48 -0800)]
Merge pull request #3 from cliffordwolf/master

memory_unpack

10 years agoAdded automatic memid generation to memory_unpack command
Clifford Wolf [Thu, 16 Jan 2014 23:15:15 +0000 (00:15 +0100)]
Added automatic memid generation to memory_unpack command

10 years agoAdded memory_unpack command
Clifford Wolf [Thu, 16 Jan 2014 23:05:02 +0000 (00:05 +0100)]
Added memory_unpack command

10 years agoslice error corrected
Ahmed Irfan [Thu, 16 Jan 2014 19:16:01 +0000 (20:16 +0100)]
slice error corrected

10 years agowidth issues
Ahmed Irfan [Wed, 15 Jan 2014 16:36:33 +0000 (17:36 +0100)]
width issues
dff cell for more than one registers

10 years agoMerge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
Ahmed Irfan [Wed, 15 Jan 2014 10:26:44 +0000 (11:26 +0100)]
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor

10 years agoMerge pull request #2 from cliffordwolf/master
Ahmed Irfan [Wed, 15 Jan 2014 10:20:34 +0000 (02:20 -0800)]
Merge pull request #2 from cliffordwolf/master

hierarchy

10 years agoMerge pull request #20 from mschmoelzer/master
Clifford Wolf [Tue, 14 Jan 2014 19:51:28 +0000 (11:51 -0800)]
Merge pull request #20 from mschmoelzer/master

Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))

10 years agoInclude unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))
Martin Schmölzer [Tue, 14 Jan 2014 19:12:45 +0000 (20:12 +0100)]
Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))

This fixes compilation errors on Arch Linux.

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
10 years agoAdded hierarchy -libdir option
Clifford Wolf [Tue, 14 Jan 2014 18:28:20 +0000 (19:28 +0100)]
Added hierarchy -libdir option

10 years agorenamed LibertyParer to LibertyParser
Clifford Wolf [Tue, 14 Jan 2014 17:57:47 +0000 (18:57 +0100)]
renamed LibertyParer to LibertyParser

10 years agoAdded "+" to list of liberty token characters
Clifford Wolf [Tue, 14 Jan 2014 17:56:29 +0000 (18:56 +0100)]
Added "+" to list of liberty token characters

10 years agoBTOR backend
Ahmed Irfan [Tue, 14 Jan 2014 11:03:53 +0000 (12:03 +0100)]
BTOR backend

10 years agoMerge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
Ahmed Irfan [Tue, 14 Jan 2014 10:25:06 +0000 (11:25 +0100)]
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor

10 years agoMerge pull request #1 from cliffordwolf/master
Ahmed Irfan [Tue, 14 Jan 2014 10:22:10 +0000 (02:22 -0800)]
Merge pull request #1 from cliffordwolf/master

Added "opt_const -mux_undef"

10 years agoAdded "opt_const -mux_undef"
Clifford Wolf [Tue, 14 Jan 2014 10:10:29 +0000 (11:10 +0100)]
Added "opt_const -mux_undef"

10 years agoFixed typo in frontends/ast/simplify.cc
Clifford Wolf [Sun, 12 Jan 2014 20:04:42 +0000 (21:04 +0100)]
Fixed typo in frontends/ast/simplify.cc

10 years agoImproved performance of freduce input cone reduction
Clifford Wolf [Sat, 4 Jan 2014 12:10:51 +0000 (13:10 +0100)]
Improved performance of freduce input cone reduction

10 years agoImproved freduce performance on const signals
Clifford Wolf [Fri, 3 Jan 2014 23:06:36 +0000 (00:06 +0100)]
Improved freduce performance on const signals

10 years agoPerformance improvements in freduce pass
Clifford Wolf [Fri, 3 Jan 2014 20:29:28 +0000 (21:29 +0100)]
Performance improvements in freduce pass

10 years agoMore freduce cleanups
Clifford Wolf [Fri, 3 Jan 2014 17:17:28 +0000 (18:17 +0100)]
More freduce cleanups

10 years agoAdded updating of RTLIL::autoidx to ilang frontend
Clifford Wolf [Fri, 3 Jan 2014 16:51:05 +0000 (17:51 +0100)]
Added updating of RTLIL::autoidx to ilang frontend

10 years agoCleanups in freduce command
Clifford Wolf [Fri, 3 Jan 2014 16:50:39 +0000 (17:50 +0100)]
Cleanups in freduce command

10 years agoFixed SAT and ConstEval undef handling for $pmux and $safe_pmux
Clifford Wolf [Fri, 3 Jan 2014 16:30:50 +0000 (17:30 +0100)]
Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux

10 years agoTiny cleanup in proc_mux.cc
Clifford Wolf [Fri, 3 Jan 2014 15:54:59 +0000 (16:54 +0100)]
Tiny cleanup in proc_mux.cc

10 years agosplitnet -driver feature
Ahmed Irfan [Fri, 3 Jan 2014 15:54:32 +0000 (16:54 +0100)]
splitnet -driver feature

Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor

10 years agoAdded "splitnets -driver"
Clifford Wolf [Fri, 3 Jan 2014 13:01:06 +0000 (14:01 +0100)]
Added "splitnets -driver"

10 years agoUse selection in freduce command
Clifford Wolf [Fri, 3 Jan 2014 12:15:11 +0000 (13:15 +0100)]
Use selection in freduce command

10 years agoAnother small freduce cleanup/bugfix
Clifford Wolf [Fri, 3 Jan 2014 11:34:18 +0000 (12:34 +0100)]
Another small freduce cleanup/bugfix

10 years agoAdded "connect" command
Clifford Wolf [Fri, 3 Jan 2014 11:33:00 +0000 (12:33 +0100)]
Added "connect" command

10 years agoMerge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Ahmed Irfan [Fri, 3 Jan 2014 09:54:54 +0000 (10:54 +0100)]
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor

10 years agomakefile
Ahmed Irfan [Fri, 3 Jan 2014 09:54:30 +0000 (10:54 +0100)]
makefile

10 years agobtor
Ahmed Irfan [Fri, 3 Jan 2014 09:52:44 +0000 (10:52 +0100)]
btor

10 years agoMore freduce cleanups and bugfixes
Clifford Wolf [Fri, 3 Jan 2014 01:44:05 +0000 (02:44 +0100)]
More freduce cleanups and bugfixes

10 years agoAdded RTLIL::SigSpec::optimized() API
Clifford Wolf [Fri, 3 Jan 2014 01:43:31 +0000 (02:43 +0100)]
Added RTLIL::SigSpec::optimized() API

10 years agoAdded correct handling of $memwr priority
Clifford Wolf [Thu, 2 Jan 2014 23:22:17 +0000 (00:22 +0100)]
Added correct handling of $memwr priority

10 years agoFixed more complex undef cases in freduce
Clifford Wolf [Thu, 2 Jan 2014 22:40:20 +0000 (23:40 +0100)]
Fixed more complex undef cases in freduce

10 years agoNow */ is optional in */<mode>:<arg> selections
Clifford Wolf [Thu, 2 Jan 2014 19:35:37 +0000 (20:35 +0100)]
Now */ is optional in */<mode>:<arg> selections

10 years agoAdded "rename -hide" command
Clifford Wolf [Thu, 2 Jan 2014 19:23:34 +0000 (20:23 +0100)]
Added "rename -hide" command

10 years agoAdded SAT undef model for $pmux and $safe_pmux
Clifford Wolf [Thu, 2 Jan 2014 18:58:59 +0000 (19:58 +0100)]
Added SAT undef model for $pmux and $safe_pmux

10 years agoMore "freduce" related fixes and improvements
Clifford Wolf [Thu, 2 Jan 2014 18:37:34 +0000 (19:37 +0100)]
More "freduce" related fixes and improvements

10 years agoAdded support for module->connections to select %ci, %co and %x handling
Clifford Wolf [Thu, 2 Jan 2014 17:44:24 +0000 (18:44 +0100)]
Added support for module->connections to select %ci, %co and %x handling

10 years agoSome cleanups in freduce -inv mode (and switched from -noinv to -inv)
Clifford Wolf [Thu, 2 Jan 2014 17:11:01 +0000 (18:11 +0100)]
Some cleanups in freduce -inv mode (and switched from -noinv to -inv)

10 years agoAdded autotest.sh -p option
Clifford Wolf [Thu, 2 Jan 2014 16:51:30 +0000 (17:51 +0100)]
Added autotest.sh -p option

10 years agoMajor rewrite of "freduce" command
Clifford Wolf [Thu, 2 Jan 2014 15:52:33 +0000 (16:52 +0100)]
Major rewrite of "freduce" command

10 years agoUpdated CHANGELOG
Clifford Wolf [Wed, 1 Jan 2014 17:55:21 +0000 (18:55 +0100)]
Updated CHANGELOG

10 years agoFixed use of limited length buffer in ABC blif parser
Clifford Wolf [Tue, 31 Dec 2013 20:58:35 +0000 (21:58 +0100)]
Fixed use of limited length buffer in ABC blif parser

10 years agoUse "abc -dff" in "make test"
Clifford Wolf [Tue, 31 Dec 2013 20:25:34 +0000 (21:25 +0100)]
Use "abc -dff" in "make test"

10 years agoAdded abc -dff and -clk support
Clifford Wolf [Tue, 31 Dec 2013 20:25:09 +0000 (21:25 +0100)]
Added abc -dff and -clk support

10 years agoVarious small cleanups in stdcells.v techmap code
Clifford Wolf [Tue, 31 Dec 2013 14:41:40 +0000 (15:41 +0100)]
Various small cleanups in stdcells.v techmap code

10 years agoAdded additional checks for A_SIGNED == B_SIGNED for cells with that constraint
Clifford Wolf [Tue, 31 Dec 2013 13:54:06 +0000 (14:54 +0100)]
Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint

10 years agoUpdated ABC to hg rev 57517e81666b
Clifford Wolf [Tue, 31 Dec 2013 13:39:02 +0000 (14:39 +0100)]
Updated ABC to hg rev 57517e81666b

10 years agoNow using BLIF as ABC input format
Clifford Wolf [Tue, 31 Dec 2013 13:29:29 +0000 (14:29 +0100)]
Now using BLIF as ABC input format

10 years agoFixed commented out techmap call in tests/tools/autotest.sh
Clifford Wolf [Tue, 31 Dec 2013 12:51:25 +0000 (13:51 +0100)]
Fixed commented out techmap call in tests/tools/autotest.sh

10 years agoAlways use BLIF as ABC output format
Clifford Wolf [Tue, 31 Dec 2013 12:41:16 +0000 (13:41 +0100)]
Always use BLIF as ABC output format

10 years agoFixed a stupid access after delete bug
Clifford Wolf [Sun, 29 Dec 2013 19:18:22 +0000 (20:18 +0100)]
Fixed a stupid access after delete bug

10 years agoFixed undef extend for bitwise binary ops (bugs in simplemap and satgen)
Clifford Wolf [Sun, 29 Dec 2013 16:39:49 +0000 (17:39 +0100)]
Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)

10 years agoUpdated manual/command-reference-manual.tex
Clifford Wolf [Sat, 28 Dec 2013 11:14:47 +0000 (12:14 +0100)]
Updated manual/command-reference-manual.tex

10 years agoAdded new cell types to manual
Clifford Wolf [Sat, 28 Dec 2013 11:10:32 +0000 (12:10 +0100)]
Added new cell types to manual

10 years agoAdded $bu0 cell (for easy correct $eq/$ne mapping)
Clifford Wolf [Sat, 28 Dec 2013 10:54:40 +0000 (11:54 +0100)]
Added $bu0 cell (for easy correct $eq/$ne mapping)

10 years agoAdded sat -prove-x and -set-def-inputs
Clifford Wolf [Sat, 28 Dec 2013 10:24:36 +0000 (11:24 +0100)]
Added sat -prove-x and -set-def-inputs

10 years agoImproved $_MUX_ handling in opt_const
Clifford Wolf [Sat, 28 Dec 2013 09:30:31 +0000 (10:30 +0100)]
Improved $_MUX_ handling in opt_const

10 years agoMore conservastive $eq/$ne/$eqx/$nex opt_const code
Clifford Wolf [Sat, 28 Dec 2013 09:29:22 +0000 (10:29 +0100)]
More conservastive $eq/$ne/$eqx/$nex opt_const code

10 years agoFixed sat handling of $eqx and $nex with unequal port widths
Clifford Wolf [Fri, 27 Dec 2013 17:11:05 +0000 (18:11 +0100)]
Fixed sat handling of $eqx and $nex with unequal port widths

10 years agoFixed parsing of non-arg macro calls followed by "("
Clifford Wolf [Fri, 27 Dec 2013 15:25:27 +0000 (16:25 +0100)]
Fixed parsing of non-arg macro calls followed by "("

10 years agoSmall cleanup in SatGen
Clifford Wolf [Fri, 27 Dec 2013 14:15:20 +0000 (15:15 +0100)]
Small cleanup in SatGen

10 years agoMore $eq/$ne/$eqx/$nex fixes in opt_const
Clifford Wolf [Fri, 27 Dec 2013 14:10:07 +0000 (15:10 +0100)]
More $eq/$ne/$eqx/$nex fixes in opt_const

10 years agoFixed parsing of macros with no arguments and expansion text starting with "("
Clifford Wolf [Fri, 27 Dec 2013 14:05:52 +0000 (15:05 +0100)]
Fixed parsing of macros with no arguments and expansion text starting with "("

10 years agoFixed sat handling of $eqx and $nex cells
Clifford Wolf [Fri, 27 Dec 2013 13:32:42 +0000 (14:32 +0100)]
Fixed sat handling of $eqx and $nex cells

10 years agoFixed/improved opt_const $eq/$ne/$eqx/$nex handling
Clifford Wolf [Fri, 27 Dec 2013 13:21:24 +0000 (14:21 +0100)]
Fixed/improved opt_const $eq/$ne/$eqx/$nex handling

10 years agoAdded support for non-const === and !== (for miter circuits)
Clifford Wolf [Fri, 27 Dec 2013 13:20:15 +0000 (14:20 +0100)]
Added support for non-const === and !== (for miter circuits)

10 years agoAdded proper === and !== support in constant expressions
Clifford Wolf [Fri, 27 Dec 2013 12:50:08 +0000 (13:50 +0100)]
Added proper === and !== support in constant expressions

10 years agoAdded sat -set-def/-set-*-undef support
Clifford Wolf [Fri, 27 Dec 2013 12:27:21 +0000 (13:27 +0100)]
Added sat -set-def/-set-*-undef support

10 years agoRenamed sat -set-undef to -set-any-undef
Clifford Wolf [Fri, 27 Dec 2013 12:02:46 +0000 (13:02 +0100)]
Renamed sat -set-undef to -set-any-undef

10 years agoFixed dfflibmap for unused output ports
Clifford Wolf [Sat, 21 Dec 2013 19:47:22 +0000 (20:47 +0100)]
Fixed dfflibmap for unused output ports

10 years agoNow prefer smallest cells in dfflibmap
Clifford Wolf [Sat, 21 Dec 2013 07:42:37 +0000 (08:42 +0100)]
Now prefer smallest cells in dfflibmap

10 years agoCleanup of dfflibmap cellmap exploration code
Clifford Wolf [Fri, 20 Dec 2013 13:21:18 +0000 (14:21 +0100)]
Cleanup of dfflibmap cellmap exploration code

10 years agoFurther improved dfflibmap cellmap exploration
Clifford Wolf [Fri, 20 Dec 2013 11:34:34 +0000 (12:34 +0100)]
Further improved dfflibmap cellmap exploration

10 years agoFixed dfflibmap endless-loop bug
Clifford Wolf [Fri, 20 Dec 2013 11:13:51 +0000 (12:13 +0100)]
Fixed dfflibmap endless-loop bug

10 years agoAdded log_dump() API
Clifford Wolf [Fri, 20 Dec 2013 11:11:58 +0000 (12:11 +0100)]
Added log_dump() API

10 years agoPrefer non-inverted clocks in dfflibmap
Clifford Wolf [Thu, 19 Dec 2013 12:21:57 +0000 (13:21 +0100)]
Prefer non-inverted clocks in dfflibmap

10 years agoAdded multiplier test case from eda playground
Clifford Wolf [Wed, 18 Dec 2013 12:43:53 +0000 (13:43 +0100)]
Added multiplier test case from eda playground

10 years agoAdded elsif preproc support
Clifford Wolf [Wed, 18 Dec 2013 12:41:36 +0000 (13:41 +0100)]
Added elsif preproc support

10 years agoAdded support for macro arguments
Clifford Wolf [Wed, 18 Dec 2013 12:21:02 +0000 (13:21 +0100)]
Added support for macro arguments

10 years agoFixes and other changes in README
Clifford Wolf [Sun, 8 Dec 2013 14:42:27 +0000 (15:42 +0100)]
Fixes and other changes in README

10 years agoFinished AppNote 011
Clifford Wolf [Sun, 8 Dec 2013 14:12:32 +0000 (15:12 +0100)]
Finished AppNote 011