yosys.git
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 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

10 years agoFixed constant "cond ? string1 : string2" with strings of different size
Clifford Wolf [Sat, 25 Oct 2014 16:23:53 +0000 (18:23 +0200)]
Fixed constant "cond ? string1 : string2" with strings of different size

10 years agoRe-introduced Yosys::readsome() helper function
Clifford Wolf [Thu, 23 Oct 2014 08:47:21 +0000 (10:47 +0200)]
Re-introduced Yosys::readsome() helper function
(f.read() + f.gcount() made problems with lines > 16kB)

10 years agominor indenting corrections
Clifford Wolf [Sun, 19 Oct 2014 16:42:03 +0000 (18:42 +0200)]
minor indenting corrections

10 years agoMerge pull request #40 from parvizp/compile_mac_10.9.2
Clifford Wolf [Sun, 19 Oct 2014 16:40:22 +0000 (18:40 +0200)]
Merge pull request #40 from parvizp/compile_mac_10.9.2

Builds on Mac 10.9.2 with LLVM 3.5.

10 years agoBuilds on Mac 10.9.2 with LLVM 3.5.
Parviz Palangpour [Sat, 18 Oct 2014 19:26:49 +0000 (14:26 -0500)]
Builds on Mac 10.9.2 with LLVM 3.5.

10 years agoImproved new_id() for win32
Clifford Wolf [Sat, 18 Oct 2014 17:26:03 +0000 (19:26 +0200)]
Improved new_id() for win32

10 years agoAlso look for yosys-abc in parent dir on win32
Clifford Wolf [Sat, 18 Oct 2014 17:01:44 +0000 (19:01 +0200)]
Also look for yosys-abc in parent dir on win32

10 years agoVarious improvements to version reporting on win32
Clifford Wolf [Sat, 18 Oct 2014 17:00:52 +0000 (19:00 +0200)]
Various improvements to version reporting on win32

10 years agoDisabled READLINE in MXE cross build
Clifford Wolf [Sat, 18 Oct 2014 16:21:33 +0000 (18:21 +0200)]
Disabled READLINE in MXE cross build

10 years agoFixed typo in test_cell
Clifford Wolf [Sat, 18 Oct 2014 15:52:06 +0000 (16:52 +0100)]
Fixed typo in test_cell

10 years agoFixed shell prompt and proc_self_dirname() for win32
Clifford Wolf [Sat, 18 Oct 2014 15:51:50 +0000 (16:51 +0100)]
Fixed shell prompt and proc_self_dirname() for win32

10 years agoFixed various VS warnings
Clifford Wolf [Sat, 18 Oct 2014 13:20:38 +0000 (15:20 +0200)]
Fixed various VS warnings

10 years agoCreate vcxsrc in mxe build "make dist"
Clifford Wolf [Sat, 18 Oct 2014 13:17:33 +0000 (15:17 +0200)]
Create vcxsrc in mxe build "make dist"

10 years agoMoved yosys-config.in to misc/
Clifford Wolf [Sat, 18 Oct 2014 12:15:05 +0000 (14:15 +0200)]
Moved yosys-config.in to misc/

10 years agoAdded notes regarding building in VS
Clifford Wolf [Fri, 17 Oct 2014 14:39:24 +0000 (16:39 +0200)]
Added notes regarding building in VS

10 years agoAdded vcxproj_files.txt to MXE "make dist"
Clifford Wolf [Fri, 17 Oct 2014 14:00:28 +0000 (16:00 +0200)]
Added vcxproj_files.txt to MXE "make dist"

10 years agoMore win32 (mxe and vs) build fixes
Clifford Wolf [Fri, 17 Oct 2014 13:51:33 +0000 (15:51 +0200)]
More win32 (mxe and vs) build fixes

10 years agoVarious win32 / vs build fixes
Clifford Wolf [Fri, 17 Oct 2014 12:01:47 +0000 (14:01 +0200)]
Various win32 / vs build fixes

10 years agoAdded genfiles.zip to MXE "make dist"
Clifford Wolf [Fri, 17 Oct 2014 10:11:15 +0000 (12:11 +0200)]
Added genfiles.zip to MXE "make dist"

10 years agoVarious MXE build fixes
Clifford Wolf [Fri, 17 Oct 2014 10:04:40 +0000 (12:04 +0200)]
Various MXE build fixes

10 years agoHeader changes so it will compile on VS
William Speirs [Thu, 16 Oct 2014 16:06:54 +0000 (12:06 -0400)]
Header changes so it will compile on VS

10 years agoWrapped math in int constructor
William Speirs [Tue, 14 Oct 2014 21:16:50 +0000 (17:16 -0400)]
Wrapped math in int constructor

10 years agoFixed a few VS warnings
Clifford Wolf [Fri, 17 Oct 2014 04:02:38 +0000 (06:02 +0200)]
Fixed a few VS warnings

10 years agoDon't be too smart with $dff cells with "init" attribute on out signal
Clifford Wolf [Thu, 16 Oct 2014 09:49:31 +0000 (11:49 +0200)]
Don't be too smart with $dff cells with "init" attribute on out signal

10 years agoSome cleanups in opt_clean
Clifford Wolf [Thu, 16 Oct 2014 09:46:57 +0000 (11:46 +0200)]
Some cleanups in opt_clean

10 years agoPrint "SystemVerilog" in "read_verilog -sv" log messages
Clifford Wolf [Thu, 16 Oct 2014 08:31:54 +0000 (10:31 +0200)]
Print "SystemVerilog" in "read_verilog -sv" log messages

10 years agoFixed RTLIL::SigSpec::parse() for out-of-range bit- and part-selects
Clifford Wolf [Wed, 15 Oct 2014 22:54:14 +0000 (00:54 +0200)]
Fixed RTLIL::SigSpec::parse() for out-of-range bit- and part-selects

10 years agoFixed handling of invalid array access in mem2reg code
Clifford Wolf [Wed, 15 Oct 2014 22:44:23 +0000 (00:44 +0200)]
Fixed handling of invalid array access in mem2reg code

10 years agoReplaced log_assert() do { ... } while (0) hack with a static inline function
Clifford Wolf [Wed, 15 Oct 2014 18:36:32 +0000 (20:36 +0200)]
Replaced log_assert() do { ... } while (0) hack with a static inline function

10 years agoFixed gcc warning
Clifford Wolf [Wed, 15 Oct 2014 00:48:51 +0000 (02:48 +0200)]
Fixed gcc warning

10 years agoFixed MXE build
Clifford Wolf [Wed, 15 Oct 2014 00:43:50 +0000 (02:43 +0200)]
Fixed MXE build

10 years agoMerge branch 'win32'
Clifford Wolf [Tue, 14 Oct 2014 23:20:14 +0000 (01:20 +0200)]
Merge branch 'win32'

10 years agoCheck for _YOSYS_ in yosys.h
Clifford Wolf [Tue, 14 Oct 2014 23:18:31 +0000 (01:18 +0200)]
Check for _YOSYS_ in yosys.h

10 years agoUpdated .gitignore file for ilang and verilog frontends
Clifford Wolf [Tue, 14 Oct 2014 23:14:38 +0000 (01:14 +0200)]
Updated .gitignore file for ilang and verilog frontends

10 years agoReplaced readsome() with read() and gcount()
Clifford Wolf [Tue, 14 Oct 2014 23:12:53 +0000 (01:12 +0200)]
Replaced readsome() with read() and gcount()