yosys.git
8 years agoChangelog for upcoming 0.6 release
Clifford Wolf [Sun, 14 Feb 2016 09:50:19 +0000 (10:50 +0100)]
Changelog for upcoming 0.6 release

8 years agoFixed more visual studio warnings
Clifford Wolf [Sun, 14 Feb 2016 08:35:25 +0000 (09:35 +0100)]
Fixed more visual studio warnings

8 years agoFixed some visual studio warnings
Clifford Wolf [Sat, 13 Feb 2016 16:31:24 +0000 (17:31 +0100)]
Fixed some visual studio warnings

8 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Sat, 13 Feb 2016 16:01:29 +0000 (17:01 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

8 years agoAdded "int ceil_log2(int)" function
Clifford Wolf [Sat, 13 Feb 2016 15:52:16 +0000 (16:52 +0100)]
Added "int ceil_log2(int)" function

8 years agoFixed MXE ABC build
Clifford Wolf [Sat, 13 Feb 2016 14:43:23 +0000 (15:43 +0100)]
Fixed MXE ABC build

8 years agoRun dffsr2dff in synth_xilinx
Clifford Wolf [Sat, 13 Feb 2016 07:20:19 +0000 (08:20 +0100)]
Run dffsr2dff in synth_xilinx

8 years agoSupport for more Verific primitives (patch I got per email)
Clifford Wolf [Sat, 13 Feb 2016 07:19:30 +0000 (08:19 +0100)]
Support for more Verific primitives (patch I got per email)

8 years agoUpdated ABC
Clifford Wolf [Mon, 8 Feb 2016 00:13:53 +0000 (01:13 +0100)]
Updated ABC

8 years agoWork around DDR dout sim glitches in ice40 SB_IO sim model
Clifford Wolf [Sun, 7 Feb 2016 10:19:48 +0000 (11:19 +0100)]
Work around DDR dout sim glitches in ice40 SB_IO sim model

8 years agoUpdated ABC
Clifford Wolf [Sun, 7 Feb 2016 07:56:32 +0000 (08:56 +0100)]
Updated ABC

8 years agoAdded "stat -liberty" for calculating chip area
Clifford Wolf [Thu, 4 Feb 2016 11:26:13 +0000 (12:26 +0100)]
Added "stat -liberty" for calculating chip area

8 years agoBugfix in Verific front-end
Clifford Wolf [Wed, 3 Feb 2016 07:59:57 +0000 (08:59 +0100)]
Bugfix in Verific front-end

8 years agoUpdated verific build instructions
Clifford Wolf [Tue, 2 Feb 2016 18:50:17 +0000 (19:50 +0100)]
Updated verific build instructions

8 years agoImproved dffsr2dff pass
Clifford Wolf [Tue, 2 Feb 2016 18:42:49 +0000 (19:42 +0100)]
Improved dffsr2dff pass

8 years agoAdded dffsr2dff
Clifford Wolf [Tue, 2 Feb 2016 16:19:01 +0000 (17:19 +0100)]
Added dffsr2dff

8 years agoAdded addBufGate module method
Clifford Wolf [Tue, 2 Feb 2016 10:26:07 +0000 (11:26 +0100)]
Added addBufGate module method

8 years agoUse alphanumerical order instead of idstring idx in opt_clean compare_signals()
Clifford Wolf [Tue, 2 Feb 2016 08:16:18 +0000 (09:16 +0100)]
Use alphanumerical order instead of idstring idx in opt_clean compare_signals()

8 years agoAdded CodeOfConduct
Clifford Wolf [Mon, 1 Feb 2016 15:36:59 +0000 (16:36 +0100)]
Added CodeOfConduct

8 years agoUpdated ABC to hg rev ee212a9e94df
Clifford Wolf [Mon, 1 Feb 2016 14:51:27 +0000 (15:51 +0100)]
Updated ABC to hg rev ee212a9e94df

8 years agoProgress in cell library documentation
Clifford Wolf [Mon, 1 Feb 2016 12:58:10 +0000 (13:58 +0100)]
Progress in cell library documentation

8 years agoAdded "abc -luts" option, Improved Xilinx logic mapping
Clifford Wolf [Mon, 1 Feb 2016 11:40:32 +0000 (12:40 +0100)]
Added "abc -luts" option, Improved Xilinx logic mapping

8 years agoImprovements in dfflibmap (FFs with Q/QN outputs, DFFs from ADFFs)
Clifford Wolf [Mon, 1 Feb 2016 10:49:11 +0000 (11:49 +0100)]
Improvements in dfflibmap (FFs with Q/QN outputs, DFFs from ADFFs)

8 years agoSigMap performance improvement
Clifford Wolf [Mon, 1 Feb 2016 09:10:20 +0000 (10:10 +0100)]
SigMap performance improvement

8 years agohashlib mfp<> performance improvements
Clifford Wolf [Mon, 1 Feb 2016 09:03:03 +0000 (10:03 +0100)]
hashlib mfp<> performance improvements

8 years agoAdded reserve() method to haslib classes and
Clifford Wolf [Sun, 31 Jan 2016 21:50:34 +0000 (22:50 +0100)]
Added reserve() method to haslib classes and
calculate hashtable size based on entries capacity, not size

8 years agoMerge branch 'rtlil_remove2_speedup' of https://github.com/kc8apf/yosys
Clifford Wolf [Sun, 31 Jan 2016 20:53:18 +0000 (21:53 +0100)]
Merge branch 'rtlil_remove2_speedup' of https://github.com/kc8apf/yosys

8 years agoMore clang sanitizer stuff
Clifford Wolf [Sun, 31 Jan 2016 18:55:48 +0000 (19:55 +0100)]
More clang sanitizer stuff

8 years agortlil: Improve performance of SigSpec::extract(SigSpec, SigSpec*)
Rick Altherr [Sun, 31 Jan 2016 17:07:21 +0000 (09:07 -0800)]
rtlil: Improve performance of SigSpec::extract(SigSpec, SigSpec*)

Converting to a pool<SigBit> is fairly expensive due to inserts somewhat
frequently causing rehashing.  Instead, walk through the pattern SigSpec
directly on a chunk-by-chunk basis and apply it to this SigSpec's
individual bits.  Using chunks for the pattern minimizes the number of
iterations in the outer loop.

8 years agortlil: speed up SigSpec::sort_and_unify()
Rick Altherr [Sun, 31 Jan 2016 16:55:49 +0000 (08:55 -0800)]
rtlil: speed up SigSpec::sort_and_unify()

std::set<> internally is often a red-black tree which is fairly
expensive to create but fast to lookup.  In the case of
sort_and_unify(), a set<> is constructed as a temporary object to
attempt to speed up lookups.  Being a temporarily, however, the cost of
creation far outweights the lookup improvement and is a net performance
loss.  Instead, sort the vector<> that already exists and then apply
std::unique().

8 years agortlil: improve performance of SigSpec::replace(SigSpec, SigSpec, SigSpec*)
Rick Altherr [Sun, 31 Jan 2016 03:43:29 +0000 (19:43 -0800)]
rtlil: improve performance of SigSpec::replace(SigSpec, SigSpec, SigSpec*)

8 years agogenrtlil: avoid converting SigSpec to set<SigBit> when going through removeSignalFrom...
Rick Altherr [Sun, 31 Jan 2016 03:26:46 +0000 (19:26 -0800)]
genrtlil: avoid converting SigSpec to set<SigBit> when going through removeSignalFromCaseTree()

8 years agortlil: improve performance of SigSpec::remove2(SigSpec, SigSpec*)
Rick Altherr [Sun, 31 Jan 2016 03:25:35 +0000 (19:25 -0800)]
rtlil: improve performance of SigSpec::remove2(SigSpec, SigSpec*)

8 years agoMeaningless coding style change
Clifford Wolf [Sun, 31 Jan 2016 15:12:35 +0000 (16:12 +0100)]
Meaningless coding style change

8 years agoMerge branch 'rtlil_remove2_speedup' of https://github.com/kc8apf/yosys
Clifford Wolf [Sun, 31 Jan 2016 15:10:27 +0000 (16:10 +0100)]
Merge branch 'rtlil_remove2_speedup' of https://github.com/kc8apf/yosys

8 years agoAddedd clang sanitizers
Clifford Wolf [Sun, 31 Jan 2016 15:08:21 +0000 (16:08 +0100)]
Addedd clang sanitizers

8 years agortlil: rewrite remove2() to avoid copying
Rick Altherr [Sat, 30 Jan 2016 06:40:45 +0000 (22:40 -0800)]
rtlil: rewrite remove2() to avoid copying

8 years agortlil: duplicate remove2() for std::set<>
Rick Altherr [Sat, 30 Jan 2016 06:03:12 +0000 (22:03 -0800)]
rtlil: duplicate remove2() for std::set<>

8 years agortlil: change IdString comparison operators to take references instead of copies
Rick Altherr [Sat, 30 Jan 2016 06:40:17 +0000 (22:40 -0800)]
rtlil: change IdString comparison operators to take references instead of copies

8 years agoAdded "equiv_struct -fwonly"
Clifford Wolf [Fri, 8 Jan 2016 09:59:16 +0000 (10:59 +0100)]
Added "equiv_struct -fwonly"

8 years agoBugfixes in equiv_struct
Clifford Wolf [Fri, 8 Jan 2016 08:39:27 +0000 (09:39 +0100)]
Bugfixes in equiv_struct

8 years agoAdded "submod -copy"
Clifford Wolf [Fri, 8 Jan 2016 08:08:12 +0000 (09:08 +0100)]
Added "submod -copy"

8 years agoAdded "write_blif -cname" mode
Clifford Wolf [Wed, 6 Jan 2016 13:32:28 +0000 (14:32 +0100)]
Added "write_blif -cname" mode

8 years agoAdded "equiv_struct -maxiter <N>"
Clifford Wolf [Wed, 6 Jan 2016 12:54:54 +0000 (13:54 +0100)]
Added "equiv_struct -maxiter <N>"

8 years agoAdded "equiv_add -try" mode
Clifford Wolf [Wed, 6 Jan 2016 12:54:00 +0000 (13:54 +0100)]
Added "equiv_add -try" mode

8 years agoFixed "splitnets -ports" for hierarchical designs
Clifford Wolf [Tue, 22 Dec 2015 12:25:00 +0000 (13:25 +0100)]
Fixed "splitnets -ports" for hierarchical designs

8 years agoRe-run ice40_opt in "synth_ice40 -abc2"
Clifford Wolf [Tue, 22 Dec 2015 11:19:11 +0000 (12:19 +0100)]
Re-run ice40_opt in "synth_ice40 -abc2"

8 years agoImprovements in ice40_opt
Clifford Wolf [Tue, 22 Dec 2015 11:18:38 +0000 (12:18 +0100)]
Improvements in ice40_opt

8 years agoBugfix in ice40_ffinit
Clifford Wolf [Tue, 22 Dec 2015 11:18:06 +0000 (12:18 +0100)]
Bugfix in ice40_ffinit

8 years agoImproved ice40_ffinit
Clifford Wolf [Tue, 22 Dec 2015 10:15:25 +0000 (11:15 +0100)]
Improved ice40_ffinit

8 years agoRun opt_const before check in default scripts
Clifford Wolf [Tue, 22 Dec 2015 10:15:05 +0000 (11:15 +0100)]
Run opt_const before check in default scripts

8 years agoAdded %R select expression
Clifford Wolf [Sun, 20 Dec 2015 12:35:58 +0000 (13:35 +0100)]
Added %R select expression

8 years agoVarious improvements in BLIF front-end
Clifford Wolf [Sun, 20 Dec 2015 12:12:24 +0000 (13:12 +0100)]
Various improvements in BLIF front-end

8 years agoAdded yosys-smtbmc -S
Clifford Wolf [Sun, 20 Dec 2015 08:58:54 +0000 (09:58 +0100)]
Added yosys-smtbmc -S

8 years agoMerge pull request #110 from scanlime/master
Clifford Wolf [Tue, 15 Dec 2015 18:54:07 +0000 (19:54 +0100)]
Merge pull request #110 from scanlime/master

Trivial changes to fix Mac OS build

8 years agoMac build fix, gsed -> sed
Micah Elizabeth Scott [Tue, 15 Dec 2015 18:22:35 +0000 (10:22 -0800)]
Mac build fix, gsed -> sed

Homebrew is calling its GNU sed just 'sed' now.

8 years agoRemove nonportable "-r" option from xargs
Micah Elizabeth Scott [Tue, 15 Dec 2015 18:13:06 +0000 (10:13 -0800)]
Remove nonportable "-r" option from xargs

On Linux, this avoids an empty "rm -f" call when there's nothing to clean. But it isn't portable, and it causes the build to fail on Mac OS. It doesn't seem to be harmful to remove this option entirely, and it's a step toward fixing the Mac build.

8 years agoAdded "synth_ice40 -abc2"
Clifford Wolf [Tue, 8 Dec 2015 10:16:26 +0000 (11:16 +0100)]
Added "synth_ice40 -abc2"

8 years agoMerge pull request #108 from cseed/master
Clifford Wolf [Mon, 7 Dec 2015 02:32:20 +0000 (03:32 +0100)]
Merge pull request #108 from cseed/master

Added LO to ICESTORM_LC for LUT cascade route.

8 years agoAdded LO to ICESTORM_LC for LUT cascade route.
Cotton Seed [Sun, 6 Dec 2015 22:24:48 +0000 (17:24 -0500)]
Added LO to ICESTORM_LC for LUT cascade route.

8 years agoImproved proc_mux performance for huge always blocks
Clifford Wolf [Wed, 2 Dec 2015 21:02:20 +0000 (22:02 +0100)]
Improved proc_mux performance for huge always blocks

8 years agoAdded default values for hashlib at() methods
Clifford Wolf [Wed, 2 Dec 2015 19:41:57 +0000 (20:41 +0100)]
Added default values for hashlib at() methods

8 years agoRe-added SigMap::allbits()
Clifford Wolf [Mon, 30 Nov 2015 18:43:52 +0000 (19:43 +0100)]
Re-added SigMap::allbits()

8 years agoAdded tests/simple/graphtest.v
Clifford Wolf [Mon, 30 Nov 2015 10:41:12 +0000 (11:41 +0100)]
Added tests/simple/graphtest.v

8 years agoFixed oom bug in ilang parser
Clifford Wolf [Sun, 29 Nov 2015 19:30:32 +0000 (20:30 +0100)]
Fixed oom bug in ilang parser

8 years agoFixed performance bug in ilang parser
Clifford Wolf [Fri, 27 Nov 2015 18:46:47 +0000 (19:46 +0100)]
Fixed performance bug in ilang parser

8 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 26 Nov 2015 17:24:23 +0000 (18:24 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

8 years agoRemoved dangling ';' in rtlil.h
Clifford Wolf [Thu, 26 Nov 2015 17:11:34 +0000 (18:11 +0100)]
Removed dangling ';' in rtlil.h

8 years agoAdded ice40_ffinit pass
Clifford Wolf [Thu, 26 Nov 2015 17:11:06 +0000 (18:11 +0100)]
Added ice40_ffinit pass

9 years agoAdded PRIM_DLATCHRS support to verific front-end
Clifford Wolf [Tue, 24 Nov 2015 11:16:19 +0000 (12:16 +0100)]
Added PRIM_DLATCHRS support to verific front-end

9 years agoFixed WE/RE usage in iCE40 BRAM mapping
Clifford Wolf [Tue, 24 Nov 2015 09:51:34 +0000 (10:51 +0100)]
Fixed WE/RE usage in iCE40 BRAM mapping

9 years agoFixed handling of re-declarations of wires in tasks and functions
Clifford Wolf [Mon, 23 Nov 2015 16:09:57 +0000 (17:09 +0100)]
Fixed handling of re-declarations of wires in tasks and functions

9 years agoAdded torder command
Clifford Wolf [Thu, 19 Nov 2015 14:34:32 +0000 (15:34 +0100)]
Added torder command

9 years agoFixed performance bug in Verific importer
Clifford Wolf [Mon, 16 Nov 2015 11:38:56 +0000 (12:38 +0100)]
Fixed performance bug in Verific importer

9 years agoChanges for Verific 3.16_484_32_151112
Clifford Wolf [Thu, 12 Nov 2015 18:28:14 +0000 (19:28 +0100)]
Changes for Verific 3.16_484_32_151112

9 years agoLink to vlsitechnology.org for liberty files
Clifford Wolf [Thu, 12 Nov 2015 12:15:19 +0000 (13:15 +0100)]
Link to vlsitechnology.org for liberty files

9 years agoMore bugfixes in handling of parameters in tasks and functions
Clifford Wolf [Thu, 12 Nov 2015 12:02:36 +0000 (13:02 +0100)]
More bugfixes in handling of parameters in tasks and functions

9 years agoFixed handling of parameters and localparams in functions
Clifford Wolf [Wed, 11 Nov 2015 09:54:35 +0000 (10:54 +0100)]
Fixed handling of parameters and localparams in functions

9 years agoAdded "abc -g"
Clifford Wolf [Tue, 10 Nov 2015 10:10:11 +0000 (11:10 +0100)]
Added "abc -g"

9 years agoMerge pull request #97 from zeldin/master
Clifford Wolf [Sun, 8 Nov 2015 21:16:49 +0000 (22:16 +0100)]
Merge pull request #97 from zeldin/master

Fix a segfault in dffinit when the value has too few bits

9 years agoFix a segfault in dffinit when the value has too few bits
Marcus Comstedt [Sun, 8 Nov 2015 18:16:56 +0000 (19:16 +0100)]
Fix a segfault in dffinit when the value has too few bits

The code was already trying to add the required number of bits, but
fell one short of the mark.

9 years agoAdded "singleton" pass
Clifford Wolf [Sat, 7 Nov 2015 18:10:43 +0000 (19:10 +0100)]
Added "singleton" pass

9 years agoFixed iCE40 SB_IO OUTPUT_ENABLE vs. outena_q handling
Clifford Wolf [Fri, 6 Nov 2015 16:02:16 +0000 (17:02 +0100)]
Fixed iCE40 SB_IO OUTPUT_ENABLE vs. outena_q handling

9 years agoBugfix in mapping $tribuf to $_TBUF_
Clifford Wolf [Thu, 5 Nov 2015 11:37:43 +0000 (12:37 +0100)]
Bugfix in mapping $tribuf to $_TBUF_

9 years agoBugfix in memory_dff
Clifford Wolf [Sat, 31 Oct 2015 21:01:41 +0000 (22:01 +0100)]
Bugfix in memory_dff

9 years agoImprovements in wreduce
Clifford Wolf [Sat, 31 Oct 2015 12:39:30 +0000 (13:39 +0100)]
Improvements in wreduce

9 years agoBugfix in Xilinx LUT mapping
Clifford Wolf [Fri, 30 Oct 2015 12:58:03 +0000 (13:58 +0100)]
Bugfix in Xilinx LUT mapping

9 years agoImproved SigMap performance
Clifford Wolf [Wed, 28 Oct 2015 10:21:55 +0000 (11:21 +0100)]
Improved SigMap performance

9 years agoImprovements in new SigMap
Clifford Wolf [Tue, 27 Oct 2015 23:39:53 +0000 (00:39 +0100)]
Improvements in new SigMap

9 years agoUse mfp<> in equiv_mark
Clifford Wolf [Tue, 27 Oct 2015 18:15:35 +0000 (19:15 +0100)]
Use mfp<> in equiv_mark

9 years agoRemoved old SigMap implementation
Clifford Wolf [Tue, 27 Oct 2015 14:09:44 +0000 (15:09 +0100)]
Removed old SigMap implementation

9 years agoAdded hashlib::mfp and new SigMap
Clifford Wolf [Tue, 27 Oct 2015 14:04:47 +0000 (15:04 +0100)]
Added hashlib::mfp and new SigMap

9 years agoImprovements in equiv_struct
Clifford Wolf [Sun, 25 Oct 2015 21:04:20 +0000 (22:04 +0100)]
Improvements in equiv_struct

9 years agoMajor refactoring of equiv_struct
Clifford Wolf [Sun, 25 Oct 2015 18:31:29 +0000 (19:31 +0100)]
Major refactoring of equiv_struct

9 years agoImport more std:: stuff into Yosys namespace
Clifford Wolf [Sun, 25 Oct 2015 18:30:49 +0000 (19:30 +0100)]
Import more std:: stuff into Yosys namespace

9 years agoAdded "equiv_add -cell"
Clifford Wolf [Sun, 25 Oct 2015 13:35:40 +0000 (14:35 +0100)]
Added "equiv_add -cell"

9 years agoequiv_struct now creates equiv_merged attributes
Clifford Wolf [Sun, 25 Oct 2015 00:15:20 +0000 (02:15 +0200)]
equiv_struct now creates equiv_merged attributes

9 years agoImprovements in equiv_struct
Clifford Wolf [Sat, 24 Oct 2015 21:04:17 +0000 (23:04 +0200)]
Improvements in equiv_struct

9 years agorenamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()
Clifford Wolf [Sat, 24 Oct 2015 20:56:40 +0000 (22:56 +0200)]
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()

9 years agoimprovement in "stat"
Clifford Wolf [Sat, 24 Oct 2015 19:56:53 +0000 (21:56 +0200)]
improvement in "stat"