yosys.git
8 years agoMerge pull request #145 from laanwj/master
Clifford Wolf [Sun, 3 Apr 2016 15:16:26 +0000 (17:16 +0200)]
Merge pull request #145 from laanwj/master

Add instructions for building manual on Ubuntu

8 years agoFix a few typos in the manual
Wladimir J. van der Laan [Sun, 3 Apr 2016 12:26:56 +0000 (14:26 +0200)]
Fix a few typos in the manual

8 years agoAdd instructions for building manual on Ubuntu
Wladimir J. van der Laan [Sun, 3 Apr 2016 12:26:46 +0000 (14:26 +0200)]
Add instructions for building manual on Ubuntu

8 years agoMerge pull request #144 from azonenberg/master
Clifford Wolf [Sat, 2 Apr 2016 08:19:36 +0000 (10:19 +0200)]
Merge pull request #144 from azonenberg/master

Added COUNT_EXTRACT constraint to greenpak4_counters pass. Added support for inferring level-resettable counters. Fixed use-after-free.

8 years agoRemoved more debug prints
Andrew Zonenberg [Sat, 2 Apr 2016 06:41:03 +0000 (23:41 -0700)]
Removed more debug prints

8 years agoRemoved forgotten debug code
Andrew Zonenberg [Sat, 2 Apr 2016 06:39:32 +0000 (23:39 -0700)]
Removed forgotten debug code

8 years agoAdded GreenPak inverter support
Andrew Zonenberg [Sat, 2 Apr 2016 04:18:29 +0000 (21:18 -0700)]
Added GreenPak inverter support

8 years agoMerge https://github.com/cliffordwolf/yosys
Andrew Zonenberg [Sat, 2 Apr 2016 01:09:08 +0000 (18:09 -0700)]
Merge https://github.com/cliffordwolf/yosys

8 years agoAdded support for inferring counters with asynchronous resets. Fixed use-after-free...
Andrew Zonenberg [Sat, 2 Apr 2016 01:07:59 +0000 (18:07 -0700)]
Added support for inferring counters with asynchronous resets. Fixed use-after-free in inference pass.

8 years agoMerge pull request #143 from azonenberg/master
Clifford Wolf [Fri, 1 Apr 2016 07:13:52 +0000 (09:13 +0200)]
Merge pull request #143 from azonenberg/master

Fixed several techmapping issues irelated to greenpak flipflops

8 years agoMerge https://github.com/cliffordwolf/yosys
Andrew Zonenberg [Fri, 1 Apr 2016 07:03:00 +0000 (00:03 -0700)]
Merge https://github.com/cliffordwolf/yosys

8 years agoDFFINIT is now correctly called for all kinds of flipflop, not just DFF
Andrew Zonenberg [Fri, 1 Apr 2016 06:16:45 +0000 (23:16 -0700)]
DFFINIT is now correctly called for all kinds of flipflop, not just DFF

8 years agoFixed incorrect port name in cells_map.v
Andrew Zonenberg [Fri, 1 Apr 2016 05:51:22 +0000 (22:51 -0700)]
Fixed incorrect port name in cells_map.v

8 years agoAdded ScriptPass helper class for script-like passes
Clifford Wolf [Thu, 31 Mar 2016 09:16:34 +0000 (11:16 +0200)]
Added ScriptPass helper class for script-like passes

8 years agoImproved opt_merge support for $pmux cells
Clifford Wolf [Thu, 31 Mar 2016 07:58:55 +0000 (09:58 +0200)]
Improved opt_merge support for $pmux cells

8 years agoAdded log_dump() support for dict<> and pool<> containers
Clifford Wolf [Thu, 31 Mar 2016 07:57:44 +0000 (09:57 +0200)]
Added log_dump() support for dict<> and pool<> containers

8 years agoPreserve empty $pmux default cases
Clifford Wolf [Thu, 31 Mar 2016 07:57:23 +0000 (09:57 +0200)]
Preserve empty $pmux default cases

8 years agoTypo fixes in opt_expr and opt_merge
Clifford Wolf [Thu, 31 Mar 2016 07:56:56 +0000 (09:56 +0200)]
Typo fixes in opt_expr and opt_merge

8 years agoFixed typo (wasn't written in 2012)
Andrew Zonenberg [Thu, 31 Mar 2016 06:58:45 +0000 (23:58 -0700)]
Fixed typo (wasn't written in 2012)

8 years agoRenamed opt_share to opt_merge
Clifford Wolf [Thu, 31 Mar 2016 06:52:49 +0000 (08:52 +0200)]
Renamed opt_share to opt_merge

8 years agoRenamed opt_const to opt_expr
Clifford Wolf [Thu, 31 Mar 2016 06:43:28 +0000 (08:43 +0200)]
Renamed opt_const to opt_expr

8 years agoFixed typo in greenpak4_counters.cc
Clifford Wolf [Thu, 31 Mar 2016 06:00:59 +0000 (08:00 +0200)]
Fixed typo in greenpak4_counters.cc

8 years agoMerge pull request #142 from azonenberg/master
Clifford Wolf [Thu, 31 Mar 2016 05:59:55 +0000 (07:59 +0200)]
Merge pull request #142 from azonenberg/master

Add initial GreenPak4 counter inference, misc related fixes

8 years agoRenamed counters pass to greenpak4_counters
Andrew Zonenberg [Thu, 31 Mar 2016 05:52:01 +0000 (22:52 -0700)]
Renamed counters pass to greenpak4_counters

8 years agoAdded initial implementation of "counters" pass to synth_greenpak4. Can only infer...
Andrew Zonenberg [Thu, 31 Mar 2016 05:40:14 +0000 (22:40 -0700)]
Added initial implementation of "counters" pass to synth_greenpak4. Can only infer non-resettable down counters for now.

8 years agoReduced log verbosity
Andrew Zonenberg [Thu, 31 Mar 2016 05:03:50 +0000 (22:03 -0700)]
Reduced log verbosity

8 years agoContinued work on counter extraction. Can recognize compatible RTL counters but not...
Andrew Zonenberg [Thu, 31 Mar 2016 04:54:23 +0000 (21:54 -0700)]
Continued work on counter extraction. Can recognize compatible RTL counters but not replace with hard macros.

8 years agoMerge https://github.com/cliffordwolf/yosys
Andrew Zonenberg [Thu, 31 Mar 2016 03:38:18 +0000 (20:38 -0700)]
Merge https://github.com/cliffordwolf/yosys

8 years agoUpdated tech lib for greenpak4 counter with some clarifications
Andrew Zonenberg [Thu, 31 Mar 2016 03:30:25 +0000 (20:30 -0700)]
Updated tech lib for greenpak4 counter with some clarifications

8 years agoFixed typo in log message
Andrew Zonenberg [Thu, 31 Mar 2016 03:30:03 +0000 (20:30 -0700)]
Fixed typo in log message

8 years agoWe have 2016 for a while now
Clifford Wolf [Wed, 30 Mar 2016 11:52:26 +0000 (13:52 +0200)]
We have 2016 for a while now

8 years agoAdded .vhd file extension support
Clifford Wolf [Wed, 30 Mar 2016 11:24:49 +0000 (13:24 +0200)]
Added .vhd file extension support

8 years agoInitial work on greenpak4 counter extraction. Doesn't work but a decent start
Andrew Zonenberg [Wed, 30 Mar 2016 08:07:20 +0000 (01:07 -0700)]
Initial work on greenpak4 counter extraction. Doesn't work but a decent start

8 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 30 Mar 2016 08:02:18 +0000 (10:02 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys

8 years agoAdded support for installed plugins
Clifford Wolf [Wed, 30 Mar 2016 08:02:03 +0000 (10:02 +0200)]
Added support for installed plugins

8 years agoAdded splitnets to synth_greenpak4
Andrew Zonenberg [Wed, 30 Mar 2016 03:02:59 +0000 (20:02 -0700)]
Added splitnets to synth_greenpak4

8 years agoAdded more cell help messages
Clifford Wolf [Tue, 29 Mar 2016 13:12:14 +0000 (15:12 +0200)]
Added more cell help messages

8 years agoFixed indenting in techlibs/greenpak4/gp_dff.lib
Clifford Wolf [Tue, 29 Mar 2016 11:44:14 +0000 (13:44 +0200)]
Fixed indenting in techlibs/greenpak4/gp_dff.lib

8 years agoMerge pull request #141 from azonenberg/master
Clifford Wolf [Tue, 29 Mar 2016 07:53:35 +0000 (09:53 +0200)]
Merge pull request #141 from azonenberg/master

Add Greenpak4 SYSRESET block support

8 years agoAdded keep constraint to GP_SYSRESET cell
Andrew Zonenberg [Tue, 29 Mar 2016 06:16:43 +0000 (23:16 -0700)]
Added keep constraint to GP_SYSRESET cell

8 years agoAdded GP_SYSRESET block
Andrew Zonenberg [Tue, 29 Mar 2016 05:49:46 +0000 (22:49 -0700)]
Added GP_SYSRESET block

8 years agoMerge pull request #137 from ravenexp/master
Clifford Wolf [Mon, 28 Mar 2016 14:54:23 +0000 (16:54 +0200)]
Merge pull request #137 from ravenexp/master

Embed DATDIR make variable value into yosys binary.

8 years agoMerge pull request #138 from SebKuzminsky/help-typo
Clifford Wolf [Mon, 28 Mar 2016 14:53:47 +0000 (16:53 +0200)]
Merge pull request #138 from SebKuzminsky/help-typo

fix a cut-n-paste error in the -h help

8 years agoMerge pull request #139 from azonenberg/master
Clifford Wolf [Mon, 28 Mar 2016 14:53:24 +0000 (16:53 +0200)]
Merge pull request #139 from azonenberg/master

Add GreenPak4 LF oscillator support, renamed internal cell for consistency

8 years agoAdded GP_COUNT8/GP_COUNT14 cells
Andrew Zonenberg [Sun, 27 Mar 2016 06:29:02 +0000 (23:29 -0700)]
Added GP_COUNT8/GP_COUNT14 cells

8 years agoChanged GP_LFOSC parameter configuration
Andrew Zonenberg [Sat, 26 Mar 2016 21:13:52 +0000 (14:13 -0700)]
Changed GP_LFOSC parameter configuration

8 years agoAdded GP_LFOSC cell
Andrew Zonenberg [Sat, 26 Mar 2016 20:42:53 +0000 (13:42 -0700)]
Added GP_LFOSC cell

8 years agoRenamed GP4_V* cells to GP_V* for consistency
Andrew Zonenberg [Sat, 26 Mar 2016 20:42:41 +0000 (13:42 -0700)]
Renamed GP4_V* cells to GP_V* for consistency

8 years agofix a cut-n-paste error in the -h help
Sebastian Kuzminsky [Sat, 26 Mar 2016 17:15:35 +0000 (11:15 -0600)]
fix a cut-n-paste error in the -h help

8 years agoEmbed DATDIR make variable value into yosys binary.
Sergey Kvachonok [Sat, 26 Mar 2016 08:01:53 +0000 (11:01 +0300)]
Embed DATDIR make variable value into yosys binary.

Use it as the last resort in the share/ directory location search.

8 years agoMerge pull request #136 from ravenexp/master
Clifford Wolf [Fri, 25 Mar 2016 08:16:45 +0000 (09:16 +0100)]
Merge pull request #136 from ravenexp/master

Minor Makefile adjustments

8 years agoOptionally use ${CC} when compiling test utils.
Sergey Kvachonok [Fri, 25 Mar 2016 05:47:45 +0000 (08:47 +0300)]
Optionally use ${CC} when compiling test utils.

Default to gcc when not set.

8 years agoAllow redefining pkg-config Makefile command.
Sergey Kvachonok [Thu, 24 Mar 2016 13:07:05 +0000 (16:07 +0300)]
Allow redefining pkg-config Makefile command.

Example usage:

$ make CXX=i686-w64-mingw32-g++ PKG_CONFIG=i686-w64-mingw32-pkg-config

8 years agoAllow redefining binary and data install locations.
Sergey Kvachonok [Thu, 24 Mar 2016 09:18:21 +0000 (12:18 +0300)]
Allow redefining binary and data install locations.

Add three more Makefile variables in addition to PREFIX:

$ make BINDIR=/.../bin LIBDIR=/.../lib DATDIR=/.../share/yosys

The defaults are:

BINDIR = $(PREFIX)/bin
LIBDIR = $(PREFIX)/lib
DATDIR = $(PREFIX)/share/yosys

8 years agoDo not set "nosync" on task outputs, fixes #134
Clifford Wolf [Thu, 24 Mar 2016 11:16:32 +0000 (12:16 +0100)]
Do not set "nosync" on task outputs, fixes #134

8 years agoFixed handling of inverters (aka 1-input luts) in nlutmap
Clifford Wolf [Wed, 23 Mar 2016 07:56:08 +0000 (08:56 +0100)]
Fixed handling of inverters (aka 1-input luts) in nlutmap

8 years agoAdded GP_DFFS, GP_DFFR, and GP_DFFSR
Clifford Wolf [Wed, 23 Mar 2016 07:46:10 +0000 (08:46 +0100)]
Added GP_DFFS, GP_DFFR, and GP_DFFSR

8 years agoAdded GP_DFF INIT parameter
Clifford Wolf [Wed, 23 Mar 2016 07:12:54 +0000 (08:12 +0100)]
Added GP_DFF INIT parameter

8 years agoAdded ast.h to exported headers
Clifford Wolf [Tue, 22 Mar 2016 13:46:10 +0000 (14:46 +0100)]
Added ast.h to exported headers

8 years agoCleanup abstract modules at end of "hierarchy -top"
Clifford Wolf [Mon, 21 Mar 2016 15:33:34 +0000 (16:33 +0100)]
Cleanup abstract modules at end of "hierarchy -top"

8 years agoSupport for abstract modules in chparam
Clifford Wolf [Mon, 21 Mar 2016 15:30:55 +0000 (16:30 +0100)]
Support for abstract modules in chparam

8 years agoAdded support for $stop system task
Clifford Wolf [Mon, 21 Mar 2016 15:19:51 +0000 (16:19 +0100)]
Added support for $stop system task

8 years agoImprovements in synth_greenpak4, added -part option
Clifford Wolf [Mon, 21 Mar 2016 08:44:52 +0000 (09:44 +0100)]
Improvements in synth_greenpak4, added -part option

8 years agoImprovements in ABCEXTERNAL handling
Clifford Wolf [Sat, 19 Mar 2016 19:02:40 +0000 (20:02 +0100)]
Improvements in ABCEXTERNAL handling

8 years agoMerge pull request #130 from ravenexp/master
Clifford Wolf [Sat, 19 Mar 2016 18:46:27 +0000 (19:46 +0100)]
Merge pull request #130 from ravenexp/master

Support calling out to an external ABC.

8 years agoSupport calling out to an external ABC.
Sergey Kvachonok [Sat, 19 Mar 2016 15:36:18 +0000 (18:36 +0300)]
Support calling out to an external ABC.

$ make ABCEXTERNAL=my-abc && make ABCEXTERNAL=my-abc install

configures yosys to use an external ABC executable instead of
building and installing the in-tree ABC copy (yosys-abc).

8 years agoAdded $display %m support, fixed mem leak in $display, fixes #128
Clifford Wolf [Sat, 19 Mar 2016 10:51:13 +0000 (11:51 +0100)]
Added $display %m support, fixed mem leak in $display, fixes #128

8 years agoAdded black box modules for all the 7-series design elements (as listed in ug953)
Clifford Wolf [Sat, 19 Mar 2016 10:09:10 +0000 (11:09 +0100)]
Added black box modules for all the 7-series design elements (as listed in ug953)

8 years agoFixed localparam signdness, fixes #127
Clifford Wolf [Fri, 18 Mar 2016 11:15:00 +0000 (12:15 +0100)]
Fixed localparam signdness, fixes #127

8 years agoSet "nosync" attribute on internal task/function wires
Clifford Wolf [Fri, 18 Mar 2016 09:53:29 +0000 (10:53 +0100)]
Set "nosync" attribute on internal task/function wires

8 years agoFixed Verilog parser fix and more similar improvements
Clifford Wolf [Tue, 15 Mar 2016 11:22:31 +0000 (12:22 +0100)]
Fixed Verilog parser fix and more similar improvements

8 years agoUse left-recursive rule for cell_port_list in Verilog parser.
Andrew Becker [Mon, 14 Mar 2016 18:28:34 +0000 (19:28 +0100)]
Use left-recursive rule for cell_port_list in Verilog parser.

8 years agoBugfix in write_verilog for RTLIL processes
Clifford Wolf [Mon, 14 Mar 2016 12:03:28 +0000 (13:03 +0100)]
Bugfix in write_verilog for RTLIL processes

8 years agoCleanups and improvements in examples/cmos/
Clifford Wolf [Fri, 11 Mar 2016 10:30:01 +0000 (11:30 +0100)]
Cleanups and improvements in examples/cmos/

8 years agoMerge commit 'b34385ec924b6067c1f82bdbae923f8062518956'
Clifford Wolf [Fri, 11 Mar 2016 10:10:44 +0000 (11:10 +0100)]
Merge commit 'b34385ec924b6067c1f82bdbae923f8062518956'

8 years agoFixed typos in verilog_defaults help message
Clifford Wolf [Thu, 10 Mar 2016 10:14:51 +0000 (11:14 +0100)]
Fixed typos in verilog_defaults help message

8 years agoAdded "write_edif -nogndvcc"
Clifford Wolf [Tue, 8 Mar 2016 20:30:45 +0000 (21:30 +0100)]
Added "write_edif -nogndvcc"

8 years agoAdded examples/cxx-api/evaldemo.cc
Clifford Wolf [Tue, 8 Mar 2016 15:54:15 +0000 (16:54 +0100)]
Added examples/cxx-api/evaldemo.cc

8 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Mon, 7 Mar 2016 10:17:44 +0000 (11:17 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

8 years agoUsing "mfs" and "lutpack" in ABC lut mapping
Clifford Wolf [Mon, 7 Mar 2016 10:14:11 +0000 (11:14 +0100)]
Using "mfs" and "lutpack" in ABC lut mapping

8 years agoCompleted ngspice digital example with verilog tb
Uros Platise [Sat, 5 Mar 2016 07:34:05 +0000 (08:34 +0100)]
Completed ngspice digital example with verilog tb

8 years agoAdded digital (xspice) example code to examples/cmos/
Clifford Wolf [Wed, 2 Mar 2016 11:07:57 +0000 (12:07 +0100)]
Added digital (xspice) example code to examples/cmos/

8 years agoBe more conservative with net names in spice output
Clifford Wolf [Wed, 2 Mar 2016 11:02:59 +0000 (12:02 +0100)]
Be more conservative with net names in spice output

8 years agoMerge pull request #119 from SebKuzminsky/spelling-fixes
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

8 years agouser-facing spelling fixes
Sebastian Kuzminsky [Sun, 28 Feb 2016 22:14:01 +0000 (15:14 -0700)]
user-facing spelling fixes

"speciefied" -> "specified"
"unkown" -> "unknown"

8 years agoWe are now in 0.6+ development
Clifford Wolf [Fri, 26 Feb 2016 16:24:31 +0000 (17:24 +0100)]
We are now in 0.6+ development

8 years agoYosys 0.6 yosys-0.6
Clifford Wolf [Fri, 26 Feb 2016 15:55:21 +0000 (16:55 +0100)]
Yosys 0.6

8 years agoFixed BLIF parser for empty port assignments
Clifford Wolf [Wed, 24 Feb 2016 08:16:43 +0000 (09:16 +0100)]
Fixed BLIF parser for empty port assignments

8 years agoUse easyer-to-read unoptimized ceil_log2()
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

8 years agoUpdated ABC to ae7d65e71adc
Clifford Wolf [Mon, 15 Feb 2016 14:30:46 +0000 (15:30 +0100)]
Updated ABC to ae7d65e71adc

8 years agoUpdated command reference in manual
Clifford Wolf [Sun, 14 Feb 2016 10:02:11 +0000 (11:02 +0100)]
Updated command reference in manual

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