Minor code cleanups in liberty front-end

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

Merge pull request #660 from tklam/parse-liberty-detect-ff-latch

Handling ff/latch in liberty files

Merge pull request #663 from aman-goel/master

Update to .smv backend

Merge pull request #658 from daveshah1/ecp5_bram

ECP5 BRAM inference

Merge pull request #641 from tklam/master

Fix issue #639

Merge pull request #638 from udif/pr_reg_wire_error

Fix issue #630

We have 2018 now

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

After release is before release

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

Merge branch 'yosys-0.8-rc'

Yosys 0.8

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

Update command reference manual

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

ecp5: Disable LSR inversion

Signed-off-by: David Shah <dave@ds0.me>

Minor update

detect ff/latch before processing other nodes

stop check_signal_in_fanout from traversing FFs

stop check_signal_in_fanout from traversing FFs

Merge branch 'master' of https://github.com/YosysHQ/yosys

BRAM improvements

Signed-off-by: David Shah <dave@ds0.me>

ecp5: Adding BRAM maps for all size options

Signed-off-by: David Shah <dave@ds0.me>

ecp5: First BRAM type maps successfully

Signed-off-by: David Shah <dave@ds0.me>

ecp5: Script for BRAM IO connections

Signed-off-by: David Shah <dave@ds0.me>

ecp5: Adding BRAM initialisation and config

Signed-off-by: David Shah <dave@ds0.me>

Improve Verific importer blackbox handling

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

ecp5: Add blackbox for DP16KD

Signed-off-by: David Shah <dave@ds0.me>

Merge pull request #651 from ARandomOWL/stdcells_fix

Fix IdString M in setup_stdcells()

Add "write_edif -attrprop"

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

Merge pull request #654 from mithro/patch-1

Fix misspelling in issue_template.md

Fix compiler warning in verific.cc

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

Fix misspelling in issue_template.md

It's been bugging me :-P

Fix IdString M in setup_stdcells()

Add inout ports to cells_xtra.v

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

Merge pull request #650 from mithro/patch-1

xilinx: Adding missing inout IO port to IOBUF

xilinx: Adding missing inout IO port to IOBUF

Merge branch 'master' of https://github.com/YosysHQ/yosys

Merge pull request #645 from daveshah1/ecp5_dram_fix

ecp5: Don't map ROMs to DRAM

Merge pull request #646 from tomverbeure/issue594

Fix for issue 594.

Fix for issue 594.

Update to .smv backend

Splitting VAR and ASSIGN into IVAR, VAR, DEFINE and ASSIGN. This allows better handling by nuXmv for post-processing (since now only state variables are listed under VAR).

Add read_verilog $changed support

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

ecp5: Don't map ROMs to DRAM

Signed-off-by: David Shah <davey1576@gmail.com>

Merge pull request #4 from YosysHQ/master

Merge with official repo

Merge branch 'yosys-0.8-rc' of github.com:YosysHQ/yosys

Fix handling of $past 2nd argument in read_verilog

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

Merge branch 'yosys-0.8-rc' of github.com:YosysHQ/yosys

Update to v2 YosysVS template

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

fix bug: pass by reference

Fix issue #639

Fixed issue #630 by fixing a minor typo in the previous commit
(as well as a non critical minor code optimization)

Add "read_verilog -noassert -noassume -assert-assumes"

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

Added support for ommited "parameter" in Verilog-2001 style parameter decl in SV mode

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

Merge branch 'master' of https://github.com/mmicko/yosys into yosys-0.8-rc

Update CHANGELOG

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

added prefix to FDirection constants, fixing windows build

Update CHANGLELOG

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

Update Changelog

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

Merge pull request #633 from mmicko/master

Fix Cygwin build and document needed packages

Merge pull request #631 from acw1251/master

Fixed typo in "verilog_write" help message

Fix Cygwin build and document needed packages

Fixed typo in "verilog_write" help message

Merge branch 'master' into pr_reg_wire_error

Fixed remaining cases where we check fo wire reg/wire incorrect assignments
on Yosys-generated assignments.
In this case, offending code was:

module top(input in, output out);
function func;
  input arg;
  func = arg;
endfunction
assign out = func(in);
endmodule

Merge pull request #625 from aman-goel/master

Minor revision to -expose in setundef pass

Merge pull request #627 from acw1251/master

Fixed minor typo in "sim" help message

Fixed minor typo in "sim" help message

Minor revision to -expose in setundef pass

Adds default value option as -undef when -expose used. Not having set the value mode set can cause the setundef pass to abort.

Add iCE40 SB_SPRAM256KA simulation model

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

Add $lut support to Verilog back-end

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

Add "verific -L <int>" option

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

Add "make ystests"

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

Add GCC to osx deps (#620)

* Add GCC to osx deps

* Force gcc-7 install

Merge pull request #619 from mmicko/master

Remove mercurial, since it is not needed anymore

Remove mercurial, since it is not needed anymore

Merge pull request #618 from ucb-bar/firrtl+modules+shiftfixes

Add support for modules.

Merge branch 'master' into firrtl+modules+shiftfixes

Remove unused functions.

Merge pull request #3 from YosysHQ/master

merge with YosysHQ

Add "make coverage"

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

Add ENABLE_GCOV build option

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

Merge pull request #617 from mmicko/master

static link flag on main executable

static link flag on main executable

Add support for module instances.
Don't pad logical operands to one bit.
Use operand width and signedness in $reduce_bool.
Shift amounts are unsigned and shouldn't be padded.
Group "is invalid" with the wire declaration, not its use (otherwise it is incorrectly wired to 0).

Merge pull request #610 from udif/udif_specify_round2

More specify/endspecify fixes

Merge pull request #614 from udif/pr_disable_dump_ptr

Added -no_dump_ptr flag for AST dump options in 'read_verilog'

Added -no_dump_ptr flag for AST dump options in 'read_verilog'
This option disables the memory pointer display.
This is useful when diff'ing different dumps because otherwise the node pointers
makes every diff line different when the AST content is the same.

Merge pull request #1 from YosysHQ/master

merge with YosysHQ master

Add "verific -work" help message

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

Add Verific -work parameter

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

Fixed all known specify/endspecify issues, without breaking 'make test'.
Some the of parser fixes may look strange but they were needed to avoid shift/reduce conflicts,
due to the explicit parentheses in path_delay_value, and the mintypmax values without parentheses

Yosys can now parse https://github.com/verilog-to-routing/vtr-verilog-to-routing/blob/master/vtr_flow/primitives.v ,
(specify block ignored).
Must use 'read_verilog -defer' due to a parameter not assigned a default value.

Merge pull request #606 from cr1901/show-win

`show` pass `-format` and `-viewer` improvements on Windows

Merge pull request #608 from mmicko/master

Static builds and cross-compilation support

no -fPIC for any static build

respect DISABLE_ABC_THREADS if used

Enable propagating ARCHFLAGS

Added option to disable -fPIC on unsupported platforms

Added gcc-static for easier cross compilation

Merge pull request #575 from aman-goel/master

Adds -expose option to setundef pass

Revision to expose option in setundef pass

Corrects indentation

Simplifications and corrections

Merge pull request #3 from YosysHQ/master

Updates from official repo

Add "verific -set-<severity> <msg_id>.."

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