Merge pull request #596 from litghost/extend_blif_parser

#565 Add BLIF parsing support for .conn and .cname

Report error reason on same line as syntax error.

Signed-off-by: litghost <537074+litghost@users.noreply.github.com>

Merge pull request #600 from jpathy/patch-1

Use `realpath`

Merge pull request #599 from kbeckmann/kbeckmann/fix_readme_quotes

readme: Fix formatting of a keyword

Use `realpath`

Use `os.path.realpath` instead to make sure symlinks are followed. This is also required to work for nix package manager.

readme: Fix formatting of a keyword

Single quotes were used instead of backticks leading to
incorrect formatting.

Use log_warning which does not immediately terminate.

Add BLIF parsing support for .conn and .cname

Verific: Produce errors for instantiating unknown module

Because if the unknown module is connected to any constants, Verific will
actually break all constants in the same module, even if they have nothing
to do structurally with that instance of an unknown module.

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

Add missing <deque> include (MSVC build fix)

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

Upodate ABC to git rev ae6716b

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

Add missing -lz to MXE build

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

Merge pull request #586 from hzeller/more-sourcepos-logging

Convert more log_error() to log_file_error() where possible.

Convert more log_error() to log_file_error() where possible.

Mostly statements that span over multiple lines and haven't been
caught with the previous conversion.

Merge pull request #585 from hzeller/use-file-warning-error

Use log_file_warning(), log_file_error() functions

Use log_file_warning(), log_file_error() functions.

Wherever we can report a source-level location.

Merge pull request #584 from hzeller/provide-source-location-logging

Provide source-location logging.

Provide source-location logging.

o Provide log_file_warning() and log_file_error() that prefix the log
  message with <filename>:<lineno>: to be easily picked up by IDEs that
  need to step through errors.
o Simplify some duplicate logging code in kernel/log.cc
o Use the new log functions in genrtlil.

Add async2sync pass

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

Fix handling of eventually properties in verific importer

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

Fix verific -vlog-incdir and -vlog-libdir handling

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

Merge pull request #581 from daveshah1/ecp5

Adding ECP5 synthesis target

Fix "read -incdir"

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

ecp5: Fixing miscellaneous sim model issues

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

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

Add "read -incdir"

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

ecp5: Fixing 'X' issues with LUT simulation models

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

ecp5: ECP5 synthesis fixes

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

ecp5: Adding synchronous set/reset support

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

ecp5: Add DRAM match rule

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

ecp5: Cells and mappings fixes

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

ecp5: Fixing arith_map

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

ecp5: Initial arith_map implementation

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

ecp5: Adding basic synth_ecp5 based on synth_ice40

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

ecp5: Adding DFF maps

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

Merge pull request #580 from daveshah1/ice40_nx

ice40: Add CIN_CONST and CIN_SET parameters to ICESTORM_LC

ecp5: Adding DRAM map

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

ecp5: Adding basic cells_sim and mapper for LUTs up to LUT7

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

ice40: Add CIN_CONST and CIN_SET parameters to ICESTORM_LC

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

Fix verific eventually handling

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

Add verific support for eventually properties

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

Add "verific -formal" and "read -formal"

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

Add "read -sv -D" support

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

Add "read -undef"

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

Fix handling of signed memories

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

Add YOSYS_NOVERIFIC env variable for temporarily disabling verific

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

Add simplified "read" command, enable extnets in implicit Verific import

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

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

Add automatic verific import in hierarchy command

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

Merge pull request #572 from q3k/q3k/fix-protobuf-build

Fix protobuf build

Fix protobuf build

Merge pull request #571 from q3k/q3k/protobuf-backend

Add Protobuf backend

Add Protobuf backend

Signed-off-by: Serge Bazanski <q3k@symbioticeda.com>

Be slightly less aggressive in "deminout" pass

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

Merge pull request #570 from edcote/patch-4

Include module name for area summary stats

Include module name for area summary stats

The PR prints the name of the module when displaying the final area count.

Pros:
- Easier for the user to `grep` for area information about a specific module

Cons:
- Arguably more verbose, less "pretty" than author desires

Verification:
~~~~
30c30
<    Chip area for this module: 20616.349000
---
>    Chip area for module '$paramod$d1738fc0bb353d517bc2caf8fef2abb20bced034\picorv32': 20616.349000
70c70
<    Chip area for this module: 88.697700
---
>    Chip area for module '\picorv32_axi_adapter': 88.697700
102c102
<    Chip area for this module: 20705.046700
---
>    Chip area for top module '\picorv32_axi': 20705.046700
~~~~

Bugfix in liberty parser (as suggested by aiju in #569)

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

Add "synth_ice40 -json"

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

Fix ice40_opt for cases where a port is connected to a signal with width != 1

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

Merge pull request #561 from udif/pr_skip_typo

Fixed typo (sikp -> skip)

Fixed typo (sikp -> skip)

Add (* gclk *) attribute support

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

Add setundef -anyseq / -anyconst support to -undriven mode

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

Add "setundef -anyconst"

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

Bugfix in handling of array instances with empty ports

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

Update examples/cmos/counter.ys to use "synth" command

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

Make -nordff the default in "prep"

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

Update ABC to git rev 6df1396

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

Disable memory_dff for initialized FFs

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

Add some cleanup code to memory_nordff

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

Add comment to VIPER #13453 work-around

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

Fix Verific handling of single-bit anyseq/anyconst wires

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

Fix VerificClocking for cases where Verific generates chains of PRIM_SVA_POSEDGE

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

Fix verific handling of anyconst/anyseq attributes

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

Merge pull request #454 from rqou/emscripten-and-abc

Add option to statically link abc; emscripten fixes

Force abc to align memory to 8 bytes

Apparently abc has a memory pool implementation that by default returns
memory that is unaligned. There is a workaround in the abc makefile that
uses uname to look for "arm" specifically and then sets the alignment.
However, ARM is not the only platform that requires proper alignment
(e.g. emscripten does too). For now, pessimistically force the alignment
for 8 bytes all the time (somehow 4 wasn't enough for fixing emscripten
despite being approximately a 32-bit platform).

Modify emscripten main to mount nodefs and to run arg as a script

Force abc to be linked statically and without threads in emscripten

Fix infinite loop in abc command under emscripten

Fix reading techlibs under emscripten

Add options to disable abc's usage of pthreads and readline

Add an option to statically link abc into yosys

This is currently incomplete because the output filter no longer works.

Makefile: Make abc always use stdint.h

Merge pull request #550 from jimparis/yosys-upstream

Support SystemVerilog `` extension for macros

Merge pull request #551 from olofk/ice40_cells_sim_ports

Avoid mixing module port declaration styles in ice40 cells_sim.v

Avoid mixing module port declaration styles in ice40 cells_sim.v

The current code requires workarounds for several simulators
For modelsim, the file must be compiled with -mixedansiports and
xsim needs --relax.

Support SystemVerilog `` extension for macros

Skip spaces around macro arguments

Fix handling of anyconst/anyseq attrs in VHDL code via Verific

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

Remove mercurial from build instructions

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

Fix iopadmap for loops between tristate IO buffers

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

Fix iopadmap for cases where IO pins already have buffers on them

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

Some cleanups in setundef.cc

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

Use $(OS) in makefile to check for Darwin

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

Merge pull request #505 from thefallenidealist/FreeBSD_build

FreeBSD build

Add "#ifdef __FreeBSD__"

(Re-commit e3575a8 with corrected author field)

Revert "Add "#ifdef __FreeBSD__""

This reverts commit e3575a86c525f2511902e7022893c3923ba8093e.

Also interpret '&' in liberty functions

Add optimization of tristate buffer with constant control input

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

Add "hierarchy -simcheck"

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