Merge https://github.com/cliffordwolf/yosys

DFFINIT is now correctly called for all kinds of flipflop, not just DFF

Fixed incorrect port name in cells_map.v

Added ScriptPass helper class for script-like passes

Improved opt_merge support for $pmux cells

Added log_dump() support for dict<> and pool<> containers

Preserve empty $pmux default cases

Typo fixes in opt_expr and opt_merge

Fixed typo (wasn't written in 2012)

Renamed opt_share to opt_merge

Renamed opt_const to opt_expr

Fixed typo in greenpak4_counters.cc

Merge pull request #142 from azonenberg/master

Add initial GreenPak4 counter inference, misc related fixes

Renamed counters pass to greenpak4_counters

Added initial implementation of "counters" pass to synth_greenpak4. Can only infer non-resettable down counters for now.

Reduced log verbosity

Continued work on counter extraction. Can recognize compatible RTL counters but not replace with hard macros.

Merge https://github.com/cliffordwolf/yosys

Updated tech lib for greenpak4 counter with some clarifications

Fixed typo in log message

We have 2016 for a while now

Added .vhd file extension support

Initial work on greenpak4 counter extraction. Doesn't work but a decent start

Merge branch 'master' of github.com:cliffordwolf/yosys

Added support for installed plugins

Added splitnets to synth_greenpak4

Added more cell help messages

Fixed indenting in techlibs/greenpak4/gp_dff.lib

Merge pull request #141 from azonenberg/master

Add Greenpak4 SYSRESET block support

Added keep constraint to GP_SYSRESET cell

Added GP_SYSRESET block

Merge pull request #137 from ravenexp/master

Embed DATDIR make variable value into yosys binary.

Merge pull request #138 from SebKuzminsky/help-typo

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

Merge pull request #139 from azonenberg/master

Add GreenPak4 LF oscillator support, renamed internal cell for consistency

Added GP_COUNT8/GP_COUNT14 cells

Changed GP_LFOSC parameter configuration

Added GP_LFOSC cell

Renamed GP4_V* cells to GP_V* for consistency

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

Embed DATDIR make variable value into yosys binary.

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

Merge pull request #136 from ravenexp/master

Minor Makefile adjustments

Optionally use ${CC} when compiling test utils.

Default to gcc when not set.

Allow redefining pkg-config Makefile command.

Example usage:

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

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

Do not set "nosync" on task outputs, fixes #134

Fixed handling of inverters (aka 1-input luts) in nlutmap

Added GP_DFFS, GP_DFFR, and GP_DFFSR

Added GP_DFF INIT parameter

Added ast.h to exported headers

Cleanup abstract modules at end of "hierarchy -top"

Support for abstract modules in chparam

Added support for $stop system task

Improvements in synth_greenpak4, added -part option

Improvements in ABCEXTERNAL handling

Merge pull request #130 from ravenexp/master

Support calling out to an external ABC.

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).

Added $display %m support, fixed mem leak in $display, fixes #128

Added black box modules for all the 7-series design elements (as listed in ug953)

Fixed localparam signdness, fixes #127

Set "nosync" attribute on internal task/function wires

Fixed Verilog parser fix and more similar improvements

Use left-recursive rule for cell_port_list in Verilog parser.

Bugfix in write_verilog for RTLIL processes

Cleanups and improvements in examples/cmos/

Merge commit 'b34385ec924b6067c1f82bdbae923f8062518956'

Fixed typos in verilog_defaults help message

Added "write_edif -nogndvcc"

Added examples/cxx-api/evaldemo.cc

Merge branch 'master' of github.com:cliffordwolf/yosys

Using "mfs" and "lutpack" in ABC lut mapping

Completed ngspice digital example with verilog tb

Added digital (xspice) example code to examples/cmos/

Be more conservative with net names in spice output

Merge pull request #119 from SebKuzminsky/spelling-fixes

user-facing spelling fixes

user-facing spelling fixes

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

We are now in 0.6+ development

Yosys 0.6

Fixed BLIF parser for empty port assignments

Use easyer-to-read unoptimized ceil_log2()

see here for details on the optimized version:
http://svn.clifford.at/handicraft/2016/esbmc/ceilog2.c

Updated ABC to ae7d65e71adc

Updated command reference in manual

Changelog for upcoming 0.6 release

Fixed more visual studio warnings

Fixed some visual studio warnings

Merge branch 'master' of github.com:cliffordwolf/yosys

Added "int ceil_log2(int)" function

Fixed MXE ABC build

Run dffsr2dff in synth_xilinx

Support for more Verific primitives (patch I got per email)

Updated ABC

Work around DDR dout sim glitches in ice40 SB_IO sim model

Updated ABC

Added "stat -liberty" for calculating chip area

Bugfix in Verific front-end

Updated verific build instructions

Improved dffsr2dff pass

Added dffsr2dff

Added addBufGate module method

Use alphanumerical order instead of idstring idx in opt_clean compare_signals()

Added CodeOfConduct