glift: Use `qbfsat -O2` instead of manually calling `abc`.

glift: Add `-instrument-more` option to add 4 more versions of taint tracking logic.  Also refactor a bit and update help text.

glift: Change command names to better represent their functions.

glift: Add `-create-imprecise` command, rename other commands, and re-work the help text.

glift: Add examples, including a number of benchmarks used in some academic works.

glift: Add replacement scoring and area minimization option.

glift: Remove outputs by default; add `-keep-outputs` option; properly reset internal state between calls.

glift: Initial implementation of the `-sketchify` option.

glift: Initial implementation of GLIFT model construction.

glift: Add skeleton for `glift` command.

Merge pull request #2203 from antmicro/fix-grammar

Signed and macro grammar update

Merge pull request #2179 from splhack/static-cast

Support SystemVerilog Static Cast

Merge pull request #2138 from boqwxp/qbfsat-oflag

qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC

Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization

qbfsat: Fix name-based hole specialization

Merge pull request #2136 from zachjs/master

Allow constant function calls in for loops and generate if and case

Merge pull request #2199 from YosysHQ/mmicko/sim_memory

sim - error when memrd and memwr detected

Merge pull request #2201 from YosysHQ/fix_test_cell_ilang

Use ID macro to fix assertion

Merge pull request #2209 from YosysHQ/verific_update

Update verific API version check

simcells: Fix reset polarity for $_DLATCH_???_ cells.

Update verific API version check

qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC.

Thanks to @mwk for the gate mapping part of the ABC scripts.

Co-Authored-By: Marcelina Kościelnicka <mwk@0x04.net>

qbfsat: Fix name-based hole specialization.

Look for unique connections in the containing module with the $anyconst port Y SigBit on the RHS and use those. If no such connection is found, fall back to using the name of the $anyconst port Y SigBit.

Merge pull request #2205 from whitequark/fix-2204

techmap: don't drop attributes on replaced cells

techmap: don't drop attributes on replaced cells.

This was introduced in 76c4ee4ea5cb6a3dc214f66237af22a1bedda010.

Fixes #2204.

Allow constant function calls in for loops and generate if and case

Merge pull request #2200 from YosysHQ/mmicko/fix_expose

expose pass fix

Give error that options are exclusive

cleanup

Merge pull request #2197 from Xiretza/test_cell-shifts

test_cell: don't generate directional shifts with \B_SIGNED=1

Use ID macro to fix assertion

expose pass fix

sim - error when memrd and memwr detected

test_cell: don't generate directional shifts with \B_SIGNED=1

This was made an explicit error in e97e33d, "kernel: require \B_SIGNED=0
on $shl, $sshl, $shr, $sshr.".

Fix crash in verific frontend

Add signed/unsigned tests

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

Parse macro call attached semicolon as empty expression

Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>

Fix integer signing grammar

This commit fixes signed/unsigned grammar in parameters as defined in SV
LRM A2.2.1. Example of correct parameters:

parameter integer signed i = 0;
parameter integer unsigned i = 0;

Example of incorrect parameters:

parameter signed integer i = 0;
parameter unsigned integer i = 0;

Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

Merge pull request #2193 from whitequark/cxxrtl-help-text

cxxrtl: update help text

cxxrtl: update help text.

Merge pull request #2188 from antmicro/missing-operators

Add logic-assignments operators

Merge pull request #2189 from antmicro/optional-labels

Add support for optional labels

Merge pull request #2168 from whitequark/assert-unused-exprs

Use (and ignore) the expression provided to log_assert in NDEBUG builds

Merge pull request #2135 from boqwxp/qbfsat-timeinfo

log and qbfsat: Also include child process usage in `PerformanceTimer::query()` and report the time for each call to the QBF-SAT solver

Merge pull request #2093 from boqwxp/qbfsat-bugfixes

qbfsat: Multiple bugfixes

Merge pull request #2192 from YosysHQ/verific_netbus_attr

verific - import attributes for net buses

Add sub-assign and and-assign tests

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

Move combined assign tests to single file

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

Support missing sub-assign and and-assign operators

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

optimization, all items should have same attributes

Add xor-assignment test

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

Support missing xor-assign operator

Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>

Support optional labels at the end of package definition

Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>

Support optional labels at the end of module definition

Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>

Add or-assignment and plus-assignment tests

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

Add plus-assignment operator

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

Add or-assignment operator

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>

verific - import attributes for net buses as well

Merge pull request #2185 from YosysHQ/mwk/cxxrtl-ff-types

cxxrtl: Add support for the new FF types.

cxxrtl: Add support for the new FF types.

simplemap: Fix $dffsre mapping.

Merge pull request #1818 from YosysHQ/mwk/new-ff-types

Add new FF types to library.

Update dff2dffe, dff2dffs, zinit to new FF types.

Add add* functions for the new FF types

Add new FF types to simplemap.

Add support for new FF types in some opt passes.

Add new builtin FF types

The new types include:

- FFs with async reset and enable (`$adffe`, `$_DFFE_[NP][NP][01][NP]_`)
- FFs with sync reset (`$sdff`, `$_SDFF_[NP][NP][01]_`)
- FFs with sync reset and enable, reset priority (`$sdffs`, `$_SDFFE_[NP][NP][01][NP]_`)
- FFs with sync reset and enable, enable priority (`$sdffce`, `$_SDFFCE_[NP][NP][01][NP]_`)
- FFs with async reset, set, and enable (`$dffsre`, `$_DFFSRE_[NP][NP][NP][NP]_`)
- latches with reset or set (`$adlatch`, `$_DLATCH_[NP][NP][01]_`)

The new FF types are not actually used anywhere yet (this is left
for future commits).

Merge pull request #2182 from whitequark/update-abc

Update ABC

Update ABC.

Merge pull request #2181 from whitequark/minisat-wasm-signal

minisat: add missing include guard for WASI

minisat: add missing include guard for WASI.

Including signal.h used to be allowed in WASI by mistake, but it's
an error since SDK 11.

Merge pull request #2180 from Xiretza/pyosys-override

pyosys: Use C++11 override keyword for bindings

pyosys: Use C++11 override keyword for bindings

7191dd16 dropped the YS_OVERRIDE macro, but it was still being generated
by the python bindings generator, resulting in errors like these when
compiled with ENABLE_PYOSYS=1:

kernel/python_wrappers.cc:350:21: error: expected ‘;’ at end of member declaration
  350 |   virtual void help() YS_OVERRIDE;
      |                     ^
      |                      ;
kernel/python_wrappers.cc:350:23: error: ‘YS_OVERRIDE’ does not name a type
  350 |   virtual void help() YS_OVERRIDE;
      |                       ^~~~~~~~~~~

log: Remove unused `_POSIX_TIMERS` branch in `PerformanceTimer::query()`.

log, qbfsat: Include child process time in `PerformanceTimer::query()` and report the time for each call to the QBF-SAT solver.

qbfsat: Simplify solution recovery parsing and tweak the solution regexes.

qbfsat: Avoid instantiating `AttrObject`s directly.

Co-Authored-By: Claire Wolf <claire@symbioticeda.com>

qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal()`.

Co-Authored-By: Claire Wolf <claire@symbioticeda.com>

qbfsat: Fixes three bugs.

1. Infinite loop in the optimization procedure when the first solution found while maximizing is at zero.
2. A signed-ness issue when maximizing.
3. Erroneously entering bisection mode with no wire to optimize.

qbfsat: Use bit precise mapping for hole value wires and a more robust hole spec for writing to and specializing from a solution file.

Merge pull request #2177 from boqwxp/dict-iterator-jump

hashlib, rtlil: Add `operator+()` and `operator+=()` to `dict` iterators

static cast: simplify

static cast: add tests

static cast: support changing size and signedness

Support SystemVerilog Static Cast
- size
- signedness
- (type is not supposted yet)

Fix #535

dict: Remove guard for past-the-end iterators that might mask problems in static analysis.

Co-Authored-By: whitequark <whitequark@whitequark.org>

Merge pull request #2178 from boqwxp/design-select

rtlil: Add `Design::select()` for selecting whole modules

rtlil: Add `Design::select()` for selecting whole modules.

hashlib, rtlil: Add `operator+=()` to `dict<>::iterator` and `dict<>::const_iterator` and add `operator+()` and `operator+=()` to `ObjIterator`.

Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).

[[maybe_unused]] is available since C++17, so this commit adds
a polyfill YS_MAYBE_UNUSED. Once we require C++17 we can drop it.

Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().

Use (and ignore) the expression provided to log_debug in NDEBUG builds.

Use (and ignore) the expression provided to log_assert in NDEBUG builds.

This avoids warnings in NDEBUG builds emitted when a variable is only
used in log_assert, but is always defined.

Merge pull request #2175 from Xiretza/missing-noreturn

Add missing [[noreturn]] to log_file_error()

Add missing [[noreturn]] to log_file_error()

Previously this was tagged only with YS_ATTRIBUTE(noreturn), but not
YS_NORETURN, so it got lost in #2173, resulting in warnings in
frontends/ast/simplify.cc:

frontends/ast/simplify.cc:267:1: warning: function declared 'noreturn' should not return [-Winvalid-noreturn]
}
^
frontends/ast/simplify.cc:379:1: warning: function declared 'noreturn' should not return [-Winvalid-noreturn]
}
^

Merge pull request #2173 from whitequark/use-cxx11-final-override

Use C++11 final/override/[[noreturn]]

Merge pull request #2174 from whitequark/fix-github-linguist

Fix GitHub misidentifying *.v files as Coq

Fix GitHub misidentifying *.v files as Coq.

Merge pull request #2171 from whitequark/cxxrtl-accessors

cxxrtl: add .get() and .set() accessors on value<> and wire<>

cxxrtl: add .get() and .set() accessors on value<> and wire<>.

For several reasons:
  * They're more convenient than accessing .data.
  * They accommodate variably-sized types like size_t transparently.
  * They statically ensure that no out of range conversions happen.

For now these are only provided for unsigned integers, but eventually
they should be provided for signed integers too. (Annoyingly this
affects conversions to/from `char` at the moment.)

Fixes #2127.

Merge pull request #2170 from boqwxp/cutpoint-efficiency

cutpoint: Improve efficiency by iterating over module ports instead of module wires

Use C++11 [[noreturn]] attribute.