Clifford Wolf [Wed, 2 Mar 2016 11:07:57 +0000 (12:07 +0100)]
Added digital (xspice) example code to examples/cmos/
Clifford Wolf [Wed, 2 Mar 2016 11:02:59 +0000 (12:02 +0100)]
Be more conservative with net names in spice output
Clifford Wolf [Mon, 29 Feb 2016 09:18:50 +0000 (10:18 +0100)]
Merge pull request #119 from SebKuzminsky/spelling-fixes
user-facing spelling fixes
Sebastian Kuzminsky [Sun, 28 Feb 2016 22:14:01 +0000 (15:14 -0700)]
user-facing spelling fixes
"speciefied" -> "specified"
"unkown" -> "unknown"
Clifford Wolf [Fri, 26 Feb 2016 16:24:31 +0000 (17:24 +0100)]
We are now in 0.6+ development
Clifford Wolf [Fri, 26 Feb 2016 15:55:21 +0000 (16:55 +0100)]
Yosys 0.6
Clifford Wolf [Wed, 24 Feb 2016 08:16:43 +0000 (09:16 +0100)]
Fixed BLIF parser for empty port assignments
Clifford Wolf [Mon, 15 Feb 2016 22:06:18 +0000 (23:06 +0100)]
Use easyer-to-read unoptimized ceil_log2()
see here for details on the optimized version:
http://svn.clifford.at/handicraft/2016/esbmc/ceilog2.c
Clifford Wolf [Mon, 15 Feb 2016 14:30:46 +0000 (15:30 +0100)]
Updated ABC to
ae7d65e71adc
Clifford Wolf [Sun, 14 Feb 2016 10:02:11 +0000 (11:02 +0100)]
Updated command reference in manual
Clifford Wolf [Sun, 14 Feb 2016 09:50:19 +0000 (10:50 +0100)]
Changelog for upcoming 0.6 release
Clifford Wolf [Sun, 14 Feb 2016 08:35:25 +0000 (09:35 +0100)]
Fixed more visual studio warnings
Clifford Wolf [Sat, 13 Feb 2016 16:31:24 +0000 (17:31 +0100)]
Fixed some visual studio warnings
Clifford Wolf [Sat, 13 Feb 2016 16:01:29 +0000 (17:01 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Sat, 13 Feb 2016 15:52:16 +0000 (16:52 +0100)]
Added "int ceil_log2(int)" function
Clifford Wolf [Sat, 13 Feb 2016 14:43:23 +0000 (15:43 +0100)]
Fixed MXE ABC build
Clifford Wolf [Sat, 13 Feb 2016 07:20:19 +0000 (08:20 +0100)]
Run dffsr2dff in synth_xilinx
Clifford Wolf [Sat, 13 Feb 2016 07:19:30 +0000 (08:19 +0100)]
Support for more Verific primitives (patch I got per email)
Clifford Wolf [Mon, 8 Feb 2016 00:13:53 +0000 (01:13 +0100)]
Updated ABC
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
Clifford Wolf [Sun, 7 Feb 2016 07:56:32 +0000 (08:56 +0100)]
Updated ABC
Clifford Wolf [Thu, 4 Feb 2016 11:26:13 +0000 (12:26 +0100)]
Added "stat -liberty" for calculating chip area
Clifford Wolf [Wed, 3 Feb 2016 07:59:57 +0000 (08:59 +0100)]
Bugfix in Verific front-end
Clifford Wolf [Tue, 2 Feb 2016 18:50:17 +0000 (19:50 +0100)]
Updated verific build instructions
Clifford Wolf [Tue, 2 Feb 2016 18:42:49 +0000 (19:42 +0100)]
Improved dffsr2dff pass
Clifford Wolf [Tue, 2 Feb 2016 16:19:01 +0000 (17:19 +0100)]
Added dffsr2dff
Clifford Wolf [Tue, 2 Feb 2016 10:26:07 +0000 (11:26 +0100)]
Added addBufGate module method
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()
Clifford Wolf [Mon, 1 Feb 2016 15:36:59 +0000 (16:36 +0100)]
Added CodeOfConduct
Clifford Wolf [Mon, 1 Feb 2016 14:51:27 +0000 (15:51 +0100)]
Updated ABC to hg rev
ee212a9e94df
Clifford Wolf [Mon, 1 Feb 2016 12:58:10 +0000 (13:58 +0100)]
Progress in cell library documentation
Clifford Wolf [Mon, 1 Feb 2016 11:40:32 +0000 (12:40 +0100)]
Added "abc -luts" option, Improved Xilinx logic mapping
Clifford Wolf [Mon, 1 Feb 2016 10:49:11 +0000 (11:49 +0100)]
Improvements in dfflibmap (FFs with Q/QN outputs, DFFs from ADFFs)
Clifford Wolf [Mon, 1 Feb 2016 09:10:20 +0000 (10:10 +0100)]
SigMap performance improvement
Clifford Wolf [Mon, 1 Feb 2016 09:03:03 +0000 (10:03 +0100)]
hashlib mfp<> performance improvements
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
Clifford Wolf [Sun, 31 Jan 2016 20:53:18 +0000 (21:53 +0100)]
Merge branch 'rtlil_remove2_speedup' of https://github.com/kc8apf/yosys
Clifford Wolf [Sun, 31 Jan 2016 18:55:48 +0000 (19:55 +0100)]
More clang sanitizer stuff
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.
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().
Rick Altherr [Sun, 31 Jan 2016 03:43:29 +0000 (19:43 -0800)]
rtlil: improve performance of SigSpec::replace(SigSpec, SigSpec, SigSpec*)
Rick Altherr [Sun, 31 Jan 2016 03:26:46 +0000 (19:26 -0800)]
genrtlil: avoid converting SigSpec to set<SigBit> when going through removeSignalFromCaseTree()
Rick Altherr [Sun, 31 Jan 2016 03:25:35 +0000 (19:25 -0800)]
rtlil: improve performance of SigSpec::remove2(SigSpec, SigSpec*)
Clifford Wolf [Sun, 31 Jan 2016 15:12:35 +0000 (16:12 +0100)]
Meaningless coding style change
Clifford Wolf [Sun, 31 Jan 2016 15:10:27 +0000 (16:10 +0100)]
Merge branch 'rtlil_remove2_speedup' of https://github.com/kc8apf/yosys
Clifford Wolf [Sun, 31 Jan 2016 15:08:21 +0000 (16:08 +0100)]
Addedd clang sanitizers
Rick Altherr [Sat, 30 Jan 2016 06:40:45 +0000 (22:40 -0800)]
rtlil: rewrite remove2() to avoid copying
Rick Altherr [Sat, 30 Jan 2016 06:03:12 +0000 (22:03 -0800)]
rtlil: duplicate remove2() for std::set<>
Rick Altherr [Sat, 30 Jan 2016 06:40:17 +0000 (22:40 -0800)]
rtlil: change IdString comparison operators to take references instead of copies
Clifford Wolf [Fri, 8 Jan 2016 09:59:16 +0000 (10:59 +0100)]
Added "equiv_struct -fwonly"
Clifford Wolf [Fri, 8 Jan 2016 08:39:27 +0000 (09:39 +0100)]
Bugfixes in equiv_struct
Clifford Wolf [Fri, 8 Jan 2016 08:08:12 +0000 (09:08 +0100)]
Added "submod -copy"
Clifford Wolf [Wed, 6 Jan 2016 13:32:28 +0000 (14:32 +0100)]
Added "write_blif -cname" mode
Clifford Wolf [Wed, 6 Jan 2016 12:54:54 +0000 (13:54 +0100)]
Added "equiv_struct -maxiter <N>"
Clifford Wolf [Wed, 6 Jan 2016 12:54:00 +0000 (13:54 +0100)]
Added "equiv_add -try" mode
Clifford Wolf [Tue, 22 Dec 2015 12:25:00 +0000 (13:25 +0100)]
Fixed "splitnets -ports" for hierarchical designs
Clifford Wolf [Tue, 22 Dec 2015 11:19:11 +0000 (12:19 +0100)]
Re-run ice40_opt in "synth_ice40 -abc2"
Clifford Wolf [Tue, 22 Dec 2015 11:18:38 +0000 (12:18 +0100)]
Improvements in ice40_opt
Clifford Wolf [Tue, 22 Dec 2015 11:18:06 +0000 (12:18 +0100)]
Bugfix in ice40_ffinit
Clifford Wolf [Tue, 22 Dec 2015 10:15:25 +0000 (11:15 +0100)]
Improved ice40_ffinit
Clifford Wolf [Tue, 22 Dec 2015 10:15:05 +0000 (11:15 +0100)]
Run opt_const before check in default scripts
Clifford Wolf [Sun, 20 Dec 2015 12:35:58 +0000 (13:35 +0100)]
Added %R select expression
Clifford Wolf [Sun, 20 Dec 2015 12:12:24 +0000 (13:12 +0100)]
Various improvements in BLIF front-end
Clifford Wolf [Sun, 20 Dec 2015 08:58:54 +0000 (09:58 +0100)]
Added yosys-smtbmc -S
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
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.
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.
Clifford Wolf [Tue, 8 Dec 2015 10:16:26 +0000 (11:16 +0100)]
Added "synth_ice40 -abc2"
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.
Cotton Seed [Sun, 6 Dec 2015 22:24:48 +0000 (17:24 -0500)]
Added LO to ICESTORM_LC for LUT cascade route.
Clifford Wolf [Wed, 2 Dec 2015 21:02:20 +0000 (22:02 +0100)]
Improved proc_mux performance for huge always blocks
Clifford Wolf [Wed, 2 Dec 2015 19:41:57 +0000 (20:41 +0100)]
Added default values for hashlib at() methods
Clifford Wolf [Mon, 30 Nov 2015 18:43:52 +0000 (19:43 +0100)]
Re-added SigMap::allbits()
Clifford Wolf [Mon, 30 Nov 2015 10:41:12 +0000 (11:41 +0100)]
Added tests/simple/graphtest.v
Clifford Wolf [Sun, 29 Nov 2015 19:30:32 +0000 (20:30 +0100)]
Fixed oom bug in ilang parser
Clifford Wolf [Fri, 27 Nov 2015 18:46:47 +0000 (19:46 +0100)]
Fixed performance bug in ilang parser
Clifford Wolf [Thu, 26 Nov 2015 17:24:23 +0000 (18:24 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 26 Nov 2015 17:11:34 +0000 (18:11 +0100)]
Removed dangling ';' in rtlil.h
Clifford Wolf [Thu, 26 Nov 2015 17:11:06 +0000 (18:11 +0100)]
Added ice40_ffinit pass
Clifford Wolf [Tue, 24 Nov 2015 11:16:19 +0000 (12:16 +0100)]
Added PRIM_DLATCHRS support to verific front-end
Clifford Wolf [Tue, 24 Nov 2015 09:51:34 +0000 (10:51 +0100)]
Fixed WE/RE usage in iCE40 BRAM mapping
Clifford Wolf [Mon, 23 Nov 2015 16:09:57 +0000 (17:09 +0100)]
Fixed handling of re-declarations of wires in tasks and functions
Clifford Wolf [Thu, 19 Nov 2015 14:34:32 +0000 (15:34 +0100)]
Added torder command
Clifford Wolf [Mon, 16 Nov 2015 11:38:56 +0000 (12:38 +0100)]
Fixed performance bug in Verific importer
Clifford Wolf [Thu, 12 Nov 2015 18:28:14 +0000 (19:28 +0100)]
Changes for Verific 3.16_484_32_151112
Clifford Wolf [Thu, 12 Nov 2015 12:15:19 +0000 (13:15 +0100)]
Link to vlsitechnology.org for liberty files
Clifford Wolf [Thu, 12 Nov 2015 12:02:36 +0000 (13:02 +0100)]
More bugfixes in handling of parameters in tasks and functions
Clifford Wolf [Wed, 11 Nov 2015 09:54:35 +0000 (10:54 +0100)]
Fixed handling of parameters and localparams in functions
Clifford Wolf [Tue, 10 Nov 2015 10:10:11 +0000 (11:10 +0100)]
Added "abc -g"
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
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.
Clifford Wolf [Sat, 7 Nov 2015 18:10:43 +0000 (19:10 +0100)]
Added "singleton" pass
Clifford Wolf [Fri, 6 Nov 2015 16:02:16 +0000 (17:02 +0100)]
Fixed iCE40 SB_IO OUTPUT_ENABLE vs. outena_q handling
Clifford Wolf [Thu, 5 Nov 2015 11:37:43 +0000 (12:37 +0100)]
Bugfix in mapping $tribuf to $_TBUF_
Clifford Wolf [Sat, 31 Oct 2015 21:01:41 +0000 (22:01 +0100)]
Bugfix in memory_dff
Clifford Wolf [Sat, 31 Oct 2015 12:39:30 +0000 (13:39 +0100)]
Improvements in wreduce
Clifford Wolf [Fri, 30 Oct 2015 12:58:03 +0000 (13:58 +0100)]
Bugfix in Xilinx LUT mapping
Clifford Wolf [Wed, 28 Oct 2015 10:21:55 +0000 (11:21 +0100)]
Improved SigMap performance
Clifford Wolf [Tue, 27 Oct 2015 23:39:53 +0000 (00:39 +0100)]
Improvements in new SigMap
Clifford Wolf [Tue, 27 Oct 2015 18:15:35 +0000 (19:15 +0100)]
Use mfp<> in equiv_mark