Rename satgen_algo.h -> algo.h, code cleanup and refactoring

Generate satgen instance instead of calling sat pass

Refactor driver map generation

- Implement iterators over the driver map that enumerate signals and cells
  within the cones of the signal

Fix the regression

Merge remote-tracking branch 'upstream/master'

Merge pull request #1045 from mmicko/afl-gcc-target

afl-fuzzer compile config

Optimizing DFFs whose initial value prevents their value from changing

This is a proof of concept implementation that invokes SAT solver via Pass::call
method.

make config-afl-gcc to help creating conf file

Added afl-gcc as target for fuzzer

Merge pull request #1044 from mmicko/invalid_width_range

Give error instead of asserting for invalid range, fixes #947

Merge pull request #1043 from mmicko/unsized_constant

Added support for unsized constants, fixes #1022

Merge pull request #1026 from YosysHQ/clifford/fix1023

 Keep zero-width wires in opt_clean if and only if they are ports

Merge pull request #1030 from Kmanfi/makefile_osx

OS X related Makefile fixes.

Give error instead of asserting for invalid range, fixes #947

Added support for unsized constants, fixes #1022
Includes work from @sumit0190 and @AaronKel

Guard all Python-api related items.

Merge pull request #1035 from YosysHQ/eddie/opt_rmdff

opt_rmdff to work on $dffe and $_DFFE_*

Merge pull request #1042 from mmicko/git_ignore_python

Add files to ignore for python build

Add files to ignore for python build

Revert enable check

Merge pull request #1041 from YosysHQ/clifford/fix1040

Fix handling of offset and upto module ports in write_blif

Fix handling of offset and upto module ports in write_blif, fixes #1040

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix init

Fix typos

Add more tests

Call proc

opt_rmdff to optimise even in presence of enable signal, even removing

Fix duplicate driver

Add comments

Resolve @cliffordwolf review, set even if !has_init

Add proper error message for btor recursion_guard

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1036 from YosysHQ/eddie/xilinx_dram

Add "min bits" and "min wports" to xilinx dram rules

Fix spacing

Add "min bits" and "min wports" to xilinx dram rules

Add opt_rmdff tests

opt_rmdff to work on $dffe and $_DFFE_*

Merge pull request #1031 from mdaiter/optimizeLookupTableBtor

Optimize numberOfPermutations

Optimize numberOfPermutations

OS X related fixes.

Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix handling of warning and error messages within log_make_debug-blocks

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1019 from YosysHQ/clifford/fix1016

Add "wreduce -keepdc"

Merge pull request #1021 from ucb-bar/fixfirrtl_shr,neg

Fix static shift operands, neg result type, minor formatting

Merge pull request #1024 from YosysHQ/eddie/fix_Wmissing_braces

Rename label

Try again

Fix warning

Fix static shift operands, neg result type, minor formatting
Static shift operands must be constants.
The result of FIRRTL's neg operator is signed.
Fix poor indentation for gen_read().

Merge remote-tracking branch 'upstream/master'

Add "wreduce -keepdc", fixes #1016

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1017 from Kmanfi/bigger_verilog_files

Read bigger Verilog files.

Read bigger Verilog files.

Hit parser limit with 3M gate design. This commit fix it.

Merge pull request #1013 from antmicro/parameter_attributes

Support for attributes on parameters and localparams for Verilog frontend

Added tests for Verilog frontent for attributes on parameters and localparams

Signed-off-by: Maciej Kurc <mkurc@antmicro.com>

Added support for parsing attributes on parameters in Verilog frontent. Content of those attributes is ignored.

Signed-off-by: Maciej Kurc <mkurc@antmicro.com>

Merge pull request #1012 from YosysHQ/clifford/sigspecrw

Another rounds of opt_clean improvements

Improvements in opt_clean

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Add rewrite_sigspecs2, Improve remove() wires

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Do not leak file descriptors in cover.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1011 from hzeller/fix-constructing-string-from-int

Fix two instances of integer-assignment to string.

Merge pull request #1010 from hzeller/yacc-self-contained

Make the generated *.tab.hh include all the headers needed

Merge pull request #1008 from thasti/fix_libyosys_build

Create $(LIBDIR) to fix broken build in isolated environments

Merge pull request #1005 from smunaut/ice40_hfosc_trim

ice40/cells_sim.v: Add support for TRIM input to SB_HFOSC

Fix two instances of integer-assignment to string.

o In cover.cc, the int-result of mkstemps() was assigned to a string
  and silently interpreted as a single-character filename with a funny
  value. Fix with the intent: assign the filename.
o in libparse.cc, an int was assigned to a string, but depending on
  visible constructors, this is ambiguous. Explicitly cast this to
  a char.

Make the generated *.tab.hh include all the headers needed to define the union.

extract python prefix to allow overriding

remove ldconfig call

add mkdir for libyosys target, explicitly copy to target folder

bugpoint: check for -script option.

Fixes #925.

ice40/cells_sim.v: Add support for TRIM input to SB_HFOSC

Signed-off-by: Sylvain Munaut <tnt@246tNt.com>

Merge pull request #1004 from YosysHQ/clifford/fix1002

Fix handling of glob_abort_cnt in opt_muxtree

Fix handling of glob_abort_cnt in opt_muxtree, fixes #1002

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1003 from makaimann/zinit-all

Zinit option '-singleton' -> '-all'

Add "fmcombine -initeq -anyeq"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Add "stat -tech xilinx"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Zinit option '-singleton' -> '-all'

Merge pull request #1000 from bwidawsk/synth-format

Add clang format, and use on intel_synth (v2)

Fix formatting for synth_intel.cc

This is realized through the recently added .clang-format file.

Signed-off-by: Ben Widawsky <ben@bwidawsk.net>

Add a .clang-format

Signed-off-by: Ben Widawsky <ben@bwidawsk.net>

Add $stop to documentation

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Remove added newline (by re-running minisat 00_UPDATE.sh)

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #991 from kristofferkoch/gcc9-warnings

Fix all warnings that occurred when compiling with gcc9

Fix all warnings that occurred when compiling with gcc9

Merge pull request #998 from mdaiter/get_bool_attribute_opts

Minor optimization to get_attribute_bool

Minor optimization to get_attribute_bool

Add test case from #997

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix handling of partial init attributes in write_verilog, fixes #997

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #996 from mdaiter/ceil_log2_opts

Optimize ceil_log2 function

Optimize ceil_log2 function

Add "synth_xilinx -arch"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

More opt_clean cleanups

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #946 from YosysHQ/clifford/specify

Add specify parser

Merge pull request #975 from YosysHQ/clifford/fix968

Re-enable "final loop assignment" feature and fix opt_clean warnings

Merge pull request #871 from YosysHQ/verific_import

Improve verific -chparam and add hierarchy -chparam

Add tests/various/chparam.sh

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge branch 'master' of github.com:YosysHQ/yosys into clifford/fix968

Fix the other bison warning in ilang_parser.y

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Bugfix in peepopt_shiftmul.pmg

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #992 from bwidawsk/bison-fix

verilog_parser: Fix Bison warning

Merge pull request #989 from YosysHQ/dave/abc_name_improve

ABC name recovery fixes