yosys.git
9 years agoUsing Yosys::dict and Yosys::pool in sigtools.h
Clifford Wolf [Fri, 26 Dec 2014 21:08:44 +0000 (22:08 +0100)]
Using Yosys::dict and Yosys::pool in sigtools.h

9 years agoReplaced std::unordered_set (nodict) with Yosys::pool
Clifford Wolf [Fri, 26 Dec 2014 20:59:41 +0000 (21:59 +0100)]
Replaced std::unordered_set (nodict) with Yosys::pool

9 years agoReplaced std::unordered_map as implementation for Yosys::dict
Clifford Wolf [Fri, 26 Dec 2014 20:35:22 +0000 (21:35 +0100)]
Replaced std::unordered_map as implementation for Yosys::dict

9 years agoAdded new_dict (hashmap.h) and re-enabled code coverage counters
Clifford Wolf [Fri, 26 Dec 2014 18:28:52 +0000 (19:28 +0100)]
Added new_dict (hashmap.h) and re-enabled code coverage counters

9 years agoTemporary gcc 4.6 build hotfix for Yosys::dict and Yosys::nodict
Clifford Wolf [Fri, 26 Dec 2014 10:05:23 +0000 (11:05 +0100)]
Temporary gcc 4.6 build hotfix for Yosys::dict and Yosys::nodict

9 years agoAdded "yosys -d" command line option
Clifford Wolf [Fri, 26 Dec 2014 09:54:23 +0000 (10:54 +0100)]
Added "yosys -d" command line option

9 years agoAdded Yosys::{dict,nodict,vector} container types
Clifford Wolf [Fri, 26 Dec 2014 09:53:21 +0000 (10:53 +0100)]
Added Yosys::{dict,nodict,vector} container types

9 years agoVarious fixes and improvements in "write_smt2 -bv"
Clifford Wolf [Thu, 25 Dec 2014 19:28:16 +0000 (20:28 +0100)]
Various fixes and improvements in "write_smt2 -bv"

9 years agoAdded "test_cell -muxdiv"
Clifford Wolf [Thu, 25 Dec 2014 18:22:39 +0000 (19:22 +0100)]
Added "test_cell -muxdiv"

9 years agoVarious fixes and improvements in write_smt2
Clifford Wolf [Thu, 25 Dec 2014 16:52:31 +0000 (17:52 +0100)]
Various fixes and improvements in write_smt2

9 years agoAdded "test_cell -w" feature
Clifford Wolf [Thu, 25 Dec 2014 16:04:13 +0000 (17:04 +0100)]
Added "test_cell -w" feature

9 years agoFixed simplemap for $ne cells with output width > 1
Clifford Wolf [Thu, 25 Dec 2014 15:41:20 +0000 (16:41 +0100)]
Fixed simplemap for $ne cells with output width > 1

9 years agoAdded support for most BV cell types to write_smt2
Clifford Wolf [Thu, 25 Dec 2014 14:37:02 +0000 (15:37 +0100)]
Added support for most BV cell types to write_smt2

9 years agoAdded "write_smt2 -bv" and other write_smt2 improvements
Clifford Wolf [Thu, 25 Dec 2014 12:30:20 +0000 (13:30 +0100)]
Added "write_smt2 -bv" and other write_smt2 improvements

9 years agoFixed off-by-one bug in "hierarchy -check" for positional module args
Clifford Wolf [Wed, 24 Dec 2014 15:26:18 +0000 (16:26 +0100)]
Fixed off-by-one bug in "hierarchy -check" for positional module args

9 years agoAdded write_smt2 (only gate level logic supported so far)
Clifford Wolf [Wed, 24 Dec 2014 15:17:57 +0000 (16:17 +0100)]
Added write_smt2 (only gate level logic supported so far)

9 years agoAdded "dfflibmap -prepare" help
Clifford Wolf [Wed, 24 Dec 2014 11:56:05 +0000 (12:56 +0100)]
Added "dfflibmap -prepare" help

9 years agoAdded "dfflibmap -prepare"
Clifford Wolf [Wed, 24 Dec 2014 11:19:20 +0000 (12:19 +0100)]
Added "dfflibmap -prepare"

9 years agoAdded "dff2dffe -direct" for direct gate mapping
Clifford Wolf [Wed, 24 Dec 2014 10:39:15 +0000 (11:39 +0100)]
Added "dff2dffe -direct" for direct gate mapping

9 years agoAdded "dff2dffe -unmap"
Clifford Wolf [Wed, 24 Dec 2014 10:09:01 +0000 (11:09 +0100)]
Added "dff2dffe -unmap"

9 years agoAdded support for gate-level cells in dff2dffe
Clifford Wolf [Wed, 24 Dec 2014 09:49:54 +0000 (10:49 +0100)]
Added support for gate-level cells in dff2dffe

9 years agoImprovements in simplemap api, added $ne $nex $eq $eqx support
Clifford Wolf [Wed, 24 Dec 2014 09:49:24 +0000 (10:49 +0100)]
Improvements in simplemap api, added $ne $nex $eq $eqx support

9 years agoRenamed extend() to extend_xx(), changed most users to extend_u0()
Clifford Wolf [Wed, 24 Dec 2014 08:51:17 +0000 (09:51 +0100)]
Renamed extend() to extend_xx(), changed most users to extend_u0()

9 years agoImproved ABC clock domain partitioning
Clifford Wolf [Tue, 23 Dec 2014 13:08:38 +0000 (14:08 +0100)]
Improved ABC clock domain partitioning

9 years agoIndenting fix in show.cc
Clifford Wolf [Tue, 23 Dec 2014 12:49:54 +0000 (13:49 +0100)]
Indenting fix in show.cc

9 years agoAdded "show -colorattr"
Clifford Wolf [Tue, 23 Dec 2014 11:29:29 +0000 (12:29 +0100)]
Added "show -colorattr"

9 years agoAdded "abc -markgroups"
Clifford Wolf [Tue, 23 Dec 2014 11:29:02 +0000 (12:29 +0100)]
Added "abc -markgroups"

9 years agoAdded support for multiple clock domains to "abc" pass
Clifford Wolf [Sun, 21 Dec 2014 15:52:05 +0000 (16:52 +0100)]
Added support for multiple clock domains to "abc" pass

9 years agoFixed "abc" pass for clk and enable signals driven by logic
Clifford Wolf [Sun, 21 Dec 2014 10:13:25 +0000 (11:13 +0100)]
Fixed "abc" pass for clk and enable signals driven by logic

9 years agoAdded DFFE support to "abc" pass
Clifford Wolf [Fri, 19 Dec 2014 23:44:03 +0000 (00:44 +0100)]
Added DFFE support to "abc" pass

9 years agoAdded $dffe support to write_verilog
Clifford Wolf [Fri, 19 Dec 2014 23:03:20 +0000 (00:03 +0100)]
Added $dffe support to write_verilog

9 years agoChecking existence of ports in "hierarchy -check"
Clifford Wolf [Fri, 19 Dec 2014 17:47:19 +0000 (18:47 +0100)]
Checking existence of ports in "hierarchy -check"

9 years agoFixed another bug in write_blif handling of $lut cells
Clifford Wolf [Fri, 19 Dec 2014 16:54:44 +0000 (17:54 +0100)]
Fixed another bug in write_blif handling of $lut cells

9 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 17 Dec 2014 10:16:39 +0000 (11:16 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

9 years agoFixed writing of $lut cells in BLIF backend
Clifford Wolf [Wed, 17 Dec 2014 10:13:57 +0000 (11:13 +0100)]
Fixed writing of $lut cells in BLIF backend

9 years agoFixed build with gcc 4.6
Clifford Wolf [Tue, 16 Dec 2014 09:38:25 +0000 (10:38 +0100)]
Fixed build with gcc 4.6

9 years agoAdded "write_blif -undef" and support for special "-" true/false/undef type
Clifford Wolf [Sun, 14 Dec 2014 17:00:38 +0000 (18:00 +0100)]
Added "write_blif -undef" and support for special "-" true/false/undef type

9 years agoAdded "write_blif -blackbox"
Clifford Wolf [Sun, 14 Dec 2014 16:45:03 +0000 (17:45 +0100)]
Added "write_blif -blackbox"

based on code by Eddie Hung from
https://github.com/eddiehung/yosys/commit/1e481661cb4a4

9 years agoAdded "blif -unbuf" feature
Clifford Wolf [Sun, 14 Dec 2014 16:37:46 +0000 (17:37 +0100)]
Added "blif -unbuf" feature

9 years agoRemoved psmisc from deps list (usually fuser is already installed and the package...
Clifford Wolf [Sun, 14 Dec 2014 16:24:44 +0000 (17:24 +0100)]
Removed psmisc from deps list (usually fuser is already installed and the package name for it varies)

9 years agoAdded psmisc to prerequisites
Clifford Wolf [Fri, 12 Dec 2014 11:49:46 +0000 (12:49 +0100)]
Added psmisc to prerequisites

9 years agoRemoved UTF-8 chars from techmap.v
Clifford Wolf [Fri, 12 Dec 2014 11:44:16 +0000 (12:44 +0100)]
Removed UTF-8 chars from techmap.v

9 years agoAdded missing prerequisites to README
Clifford Wolf [Fri, 12 Dec 2014 10:34:25 +0000 (11:34 +0100)]
Added missing prerequisites to README

9 years agoAdded IdString::destruct_guard hack
Clifford Wolf [Thu, 11 Dec 2014 20:46:36 +0000 (21:46 +0100)]
Added IdString::destruct_guard hack

9 years agoCompile fix for visual studio
Clifford Wolf [Thu, 11 Dec 2014 14:27:38 +0000 (15:27 +0100)]
Compile fix for visual studio

9 years agoFixed supply0/supply1 with many wires
Clifford Wolf [Thu, 11 Dec 2014 12:56:20 +0000 (13:56 +0100)]
Fixed supply0/supply1 with many wires

9 years agoAdded functionality to dff2dffe pass
Clifford Wolf [Mon, 8 Dec 2014 14:38:58 +0000 (15:38 +0100)]
Added functionality to dff2dffe pass

9 years agoAdded bool constructors to SigBit and SigSpec
Clifford Wolf [Mon, 8 Dec 2014 14:08:02 +0000 (15:08 +0100)]
Added bool constructors to SigBit and SigSpec

9 years agoAdded module->addDffe() and module->addDffeGate()
Clifford Wolf [Mon, 8 Dec 2014 13:59:38 +0000 (14:59 +0100)]
Added module->addDffe() and module->addDffeGate()

9 years agoAdded skeleton dff2dffe pass
Clifford Wolf [Mon, 8 Dec 2014 13:10:52 +0000 (14:10 +0100)]
Added skeleton dff2dffe pass

9 years agoAdded more documentation fixmes for nontrivial register cells
Clifford Wolf [Mon, 8 Dec 2014 09:56:43 +0000 (10:56 +0100)]
Added more documentation fixmes for nontrivial register cells

9 years agoAdded $dffe cell type
Clifford Wolf [Mon, 8 Dec 2014 09:50:19 +0000 (10:50 +0100)]
Added $dffe cell type

9 years agoAdded $_DFFE_??_ cell types
Clifford Wolf [Mon, 8 Dec 2014 09:43:38 +0000 (10:43 +0100)]
Added $_DFFE_??_ cell types

9 years agoMerge branch 'master' of https://github.com/Martoni/yosys
Clifford Wolf [Sun, 7 Dec 2014 22:15:27 +0000 (23:15 +0100)]
Merge branch 'master' of https://github.com/Martoni/yosys

9 years agomanual/presentation.tex: bg option is unknown with beamer 3.3 in beamercolorbox
Fabien Marteau [Sun, 7 Dec 2014 18:04:06 +0000 (19:04 +0100)]
manual/presentation.tex: bg option is unknown with beamer 3.3 in beamercolorbox

9 years agoMerge pull request #43 from Martoni/master
Clifford Wolf [Sat, 6 Dec 2014 11:46:37 +0000 (12:46 +0100)]
Merge pull request #43 from Martoni/master

suppressing semi-colon at the end of dot files

9 years agosuppressing semi-colon at the end of dot files
Fabien Marteau [Fri, 5 Dec 2014 17:17:00 +0000 (18:17 +0100)]
suppressing semi-colon at the end of dot files

9 years agoAdded some missing .gitignore in manual/
Clifford Wolf [Thu, 4 Dec 2014 12:37:58 +0000 (13:37 +0100)]
Added some missing .gitignore in manual/

9 years agoFixed bug in "hierarchy -top" with array of instances
Clifford Wolf [Thu, 27 Nov 2014 11:47:33 +0000 (12:47 +0100)]
Fixed bug in "hierarchy -top" with array of instances

10 years agoFixed minor bug in parsing delays
Clifford Wolf [Mon, 24 Nov 2014 13:48:07 +0000 (14:48 +0100)]
Fixed minor bug in parsing delays

10 years agoFixed two minor bugs in constant parsing
Clifford Wolf [Mon, 24 Nov 2014 13:39:24 +0000 (14:39 +0100)]
Fixed two minor bugs in constant parsing

10 years agoSome fixes in stubnets example
Clifford Wolf [Mon, 24 Nov 2014 11:55:30 +0000 (12:55 +0100)]
Some fixes in stubnets example

10 years agoMerge pull request #42 from slowriot/master
Clifford Wolf [Thu, 20 Nov 2014 08:26:33 +0000 (09:26 +0100)]
Merge pull request #42 from slowriot/master

SHA1 library: fixing incorrect buffer size allocation, and unsafe integer size type

10 years agoswitching from unreliable typedefs to precisely sized uint32_t and uint64_t
SlowRiot [Thu, 20 Nov 2014 02:03:08 +0000 (02:03 +0000)]
switching from unreliable typedefs to precisely sized uint32_t and uint64_t

10 years agofixing incorrect buffer size allocation, and unsafe integer size type
SlowRiot [Thu, 20 Nov 2014 01:58:57 +0000 (01:58 +0000)]
fixing incorrect buffer size allocation, and unsafe integer size type

10 years agoAdded warning for use of 'z' constants in HDL
Clifford Wolf [Fri, 14 Nov 2014 18:59:50 +0000 (19:59 +0100)]
Added warning for use of 'z' constants in HDL

10 years agoFixed parsing of nested verilog concatenation and replicate
Clifford Wolf [Wed, 12 Nov 2014 18:10:35 +0000 (19:10 +0100)]
Fixed parsing of nested verilog concatenation and replicate

10 years agoAnother 'make vcxsrc'
Clifford Wolf [Wed, 12 Nov 2014 00:17:11 +0000 (01:17 +0100)]
Another 'make vcxsrc'

10 years agoSome fixed in "make vcxsrc" srcfiles.txt creation
Clifford Wolf [Tue, 11 Nov 2014 23:45:21 +0000 (00:45 +0100)]
Some fixed in "make vcxsrc" srcfiles.txt creation

10 years agoSplit MXE "make dist" into MXE "make mxebin" and non-MXE "make vcxsrc"
Clifford Wolf [Tue, 11 Nov 2014 23:26:47 +0000 (00:26 +0100)]
Split MXE "make dist" into MXE "make mxebin" and non-MXE "make vcxsrc"

10 years agoAdded "yosys -qq" to also quiet warning messages
Clifford Wolf [Sun, 9 Nov 2014 10:02:20 +0000 (11:02 +0100)]
Added "yosys -qq" to also quiet warning messages

10 years agoIntroducing YS_OVERRIDE, YS_FINAL, YS_ATTRIBUTE, YS_NORETURN
Clifford Wolf [Sun, 9 Nov 2014 09:55:04 +0000 (10:55 +0100)]
Introducing YS_OVERRIDE, YS_FINAL, YS_ATTRIBUTE, YS_NORETURN

10 years agoAdded log_warning() API
Clifford Wolf [Sun, 9 Nov 2014 09:44:23 +0000 (10:44 +0100)]
Added log_warning() API

10 years agoAdded automatic "make clean" to abc "hg pull" make rules
Clifford Wolf [Sat, 8 Nov 2014 21:19:22 +0000 (22:19 +0100)]
Added automatic "make clean" to abc "hg pull" make rules

10 years agoSome fixes in presentation
Clifford Wolf [Sat, 8 Nov 2014 11:39:01 +0000 (12:39 +0100)]
Some fixes in presentation

10 years agoAdded missing fixup_ports() calls to "rename" command
Clifford Wolf [Sat, 8 Nov 2014 11:38:48 +0000 (12:38 +0100)]
Added missing fixup_ports() calls to "rename" command

10 years agoUse a cache for log_id() memory management
Clifford Wolf [Sat, 8 Nov 2014 11:38:22 +0000 (12:38 +0100)]
Use a cache for log_id() memory management

10 years agoNow we are in Yoys 0.4+ development
Clifford Wolf [Sat, 8 Nov 2014 11:20:58 +0000 (12:20 +0100)]
Now we are in Yoys 0.4+ development

10 years agoYosys 0.4 yosys-0.4
Clifford Wolf [Sat, 8 Nov 2014 11:15:01 +0000 (12:15 +0100)]
Yosys 0.4

10 years agoAdded "ENABLE_PLUGINS := 0" to verific amd64 build instructions
Clifford Wolf [Sat, 8 Nov 2014 10:38:44 +0000 (11:38 +0100)]
Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions

10 years agoVarious documentation updates
Clifford Wolf [Sat, 8 Nov 2014 09:59:48 +0000 (10:59 +0100)]
Various documentation updates

10 years agoAdded "Nx" syntax to "show" command for repeating SigChunks
Clifford Wolf [Sat, 8 Nov 2014 09:58:57 +0000 (10:58 +0100)]
Added "Nx" syntax to "show" command for repeating SigChunks

10 years agoAdded "used" attribute to entries in yosys_cover_list
Clifford Wolf [Fri, 7 Nov 2014 19:58:08 +0000 (20:58 +0100)]
Added "used" attribute to entries in yosys_cover_list

http://www.reddit.com/r/yosys/comments/2kw479/fyi_clang_350_build_error/cltgwyc
http://llvm.org/bugs/show_bug.cgi?id=19474

10 years agoMinor corrections in CodingReadme
Clifford Wolf [Fri, 7 Nov 2014 14:47:18 +0000 (15:47 +0100)]
Minor corrections in CodingReadme

10 years agoImproved TopoSort determinism
Clifford Wolf [Fri, 7 Nov 2014 14:21:03 +0000 (15:21 +0100)]
Improved TopoSort determinism

10 years agoFixed generation of temp names in verilog backend
Clifford Wolf [Fri, 7 Nov 2014 13:40:06 +0000 (14:40 +0100)]
Fixed generation of temp names in verilog backend

10 years agoUpdated ABC to 5b5af75f1dda
Clifford Wolf [Fri, 7 Nov 2014 13:39:49 +0000 (14:39 +0100)]
Updated ABC to 5b5af75f1dda

10 years agoChangelog for Yosys 0.4
Clifford Wolf [Fri, 7 Nov 2014 12:34:05 +0000 (13:34 +0100)]
Changelog for Yosys 0.4

10 years agoFixed typo in "log_cmd_error_exception"
Clifford Wolf [Fri, 7 Nov 2014 11:48:15 +0000 (12:48 +0100)]
Fixed typo in "log_cmd_error_exception"

10 years agoMade "cover" a compile-time option (disabled by default)
Clifford Wolf [Thu, 6 Nov 2014 08:39:55 +0000 (09:39 +0100)]
Made "cover" a compile-time option (disabled by default)

10 years agoRemoved QMAKE variable from Makefile
Clifford Wolf [Wed, 5 Nov 2014 09:37:37 +0000 (10:37 +0100)]
Removed QMAKE variable from Makefile

10 years agoAdded "abc" label in synth script
Clifford Wolf [Fri, 31 Oct 2014 02:46:27 +0000 (03:46 +0100)]
Added "abc" label in synth script

10 years agoAdded "opt -full" alias for all more aggressive optimizations
Clifford Wolf [Fri, 31 Oct 2014 02:36:51 +0000 (03:36 +0100)]
Added "opt -full" alias for all more aggressive optimizations

10 years agoFixed parsing of "module mymod #( parameter foo = 1, bar = 2 ..."
Clifford Wolf [Thu, 30 Oct 2014 13:01:02 +0000 (14:01 +0100)]
Fixed parsing of "module mymod #( parameter foo = 1, bar = 2 ..."

10 years agoImproved nomem2reg documentation
Clifford Wolf [Thu, 30 Oct 2014 08:12:55 +0000 (09:12 +0100)]
Improved nomem2reg documentation

10 years agoAdded support for empty lines to here documents
Clifford Wolf [Wed, 29 Oct 2014 08:05:17 +0000 (09:05 +0100)]
Added support for empty lines to here documents

10 years agoAST simplifier: optimize constant AST_CASE nodes before recursively descending
Clifford Wolf [Wed, 29 Oct 2014 07:29:51 +0000 (08:29 +0100)]
AST simplifier: optimize constant AST_CASE nodes before recursively descending

10 years agoAdded support for task and function args in parentheses
Clifford Wolf [Mon, 27 Oct 2014 12:21:57 +0000 (13:21 +0100)]
Added support for task and function args in parentheses

10 years agoImprovements in $readmem[bh] implementation
Clifford Wolf [Sun, 26 Oct 2014 22:29:36 +0000 (23:29 +0100)]
Improvements in $readmem[bh] implementation

10 years agoAdded support for $readmemh/$readmemb
Clifford Wolf [Sun, 26 Oct 2014 19:33:10 +0000 (20:33 +0100)]
Added support for $readmemh/$readmemb