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

Updated ABC to hg rev ee212a9e94df

Progress in cell library documentation

Added "abc -luts" option, Improved Xilinx logic mapping

Improvements in dfflibmap (FFs with Q/QN outputs, DFFs from ADFFs)

SigMap performance improvement

hashlib mfp<> performance improvements

Added reserve() method to haslib classes and
calculate hashtable size based on entries capacity, not size

Merge branch 'rtlil_remove2_speedup' of https://github.com/kc8apf/yosys

More clang sanitizer stuff

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.

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

rtlil: improve performance of SigSpec::replace(SigSpec, SigSpec, SigSpec*)