verilog: disallow overriding global parameters

It was previously possible to override global parameters on a
per-instance basis. This could be dangerous when using positional
parameter bindings, hiding oversupplied parameters.

Replace assert in xaiger with more useful error message

Merge pull request #2643 from zachjs/fix-param-no-default-log

Fix param without default log line

Bump version

memory_dff: Remove now-useless write port handling.

verilog: Use proc memory writes in the frontend.

Add support for memory writes in processes.

sim: Avoid a crash on empty cell connection.

Fixes #2513.

proc_dff: Fix emitted FF when a register is not assigned in async reset

Fixes #2619.

memory_dff: Remove code looking for $mux cells.

This job is now performed by `opt_dff`, which runs before this pass.

tests/bram: Do not generate write address collisions.

These have no defined semantics, making the tests non-deterministic.

Fix param without default log line

Replace assert in abc9_ops with more useful error message

Merge pull request #2626 from zachjs/param-no-default

sv: support for parameters without default values

Merge pull request #2632 from zachjs/width-limit

verilog: impose limit on maximum expression width

sv: fix some edge cases for unbased unsized literals

- Fix explicit size cast of unbased unsized literals
- Fix unbased unsized literal bound directly to port
- Output `is_unsized` flag in `dumpAst`

proc_clean: Fix empty case removal conditions.

Fixes #2639.

Remove a few functions that, in fact, did not exist in the first place.

Replace assert in addModule with more useful error message

Merge pull request #2635 from whitequark/cxxrtl-memrd-async-addr

cxxrtl: follow aliases to outlines when emitting $memrd.ADDR

Merge pull request #2634 from whitequark/cxxrtl-debug-wire-types

cxxrtl: add pass debug flag to show assigned wire types

Merge pull request #2633 from whitequark/cxxrtl-no-top

cxxrtl: don't crash on empty designs

cxxrtl: follow aliases to outlines when emitting $memrd.ADDR.

cxxrtl: add pass debug flag to show assigned wire types.

Refs #2543.

cxxrtl: don't crash on empty designs.

verilog: impose limit on maximum expression width

Designs with unreasonably wide expressions would previously get stuck
allocating memory forever.

Update command-reference-manual.tex

Update README

sv: support for parameters without default values

- Modules with a parameter without a default value will be automatically
  deferred until the hierarchy pass
- Allows for parameters without defaults as module items, rather than
  just int the `parameter_port_list`, despite being forbidden in the LRM
- Check for parameters without defaults that haven't been overriden
- Add location info to parameter/localparam declarations

Merge pull request #2620 from zachjs/port-int-types

verilog: fix sizing of ports with int types in module headers

verilog: fix sizing of ports with int types in module headers

Declaring the ports as standard module items already worked as expected.
This adds a missing usage of `checkRange()` so that headers such as
`module m(output integer x);` now work correctly.

Bump version

verilog: fix handling of nested ifdef directives

- track depth so we know whether to consider higher-level elsifs
- error on unmatched endif/elsif/else

Set aside extraneous tests in simple_abc9 test suite

New test cases on one branch may be automatically copied from simple/ to
simple_abc9/, causing failures when switching to another branch. This
updates the simple_abc9 script to set aside extraneous tests in a
non-destructive way.

Merge pull request #2523 from tomverbeure/define_synthesis

Add -nosynthesis flag for read_verilog command

Merge pull request #2524 from bkbncn/patch-1

Add boost-python3

Merge pull request #2617 from RobertBaruch/doc

RTLIL Documentation: switch in process is optional

Merge pull request #2615 from zachjs/genrtlil-conflict

genrtlil: improve name conflict error messaging

Merge pull request #2618 from zachjs/int-types

sv: extended support for integer types

sv: extended support for integer types

- Standard data declarations can now use any integer type
- Parameters and localparams can now use any integer type
- Function returns types can now use any integer type
- Fix `parameter logic`, `localparam reg`, etc. to be 1 bit (previously 32 bits)
- Added longint type (64 bits)
- Unified parser source for integer type widths

RTLIL Documentation: switch in process is optional

Update issue_template.md

genrtlil: improve name conflict error messaging

Add tests for $countbits

Implement $countones, $isunknown and $onehot{,0}

Implement $countbits function

Extend simplify() recursion warning

Bump version

Merge pull request #2554 from hzeller/master

Fix digit-formatting calculation for small numbers.

btor, smt2, smv: Add a hint on how to deal with funny FF types.

Fix handling of unique/unique0/priority cases in the frontend.

Basically:

- priority converts to (* full_case *)
- unique0 converts to (* parallel_case *)
- unique converts to (* parallel_case, full_case *)

Fixes #2596.

Extend "delay" expressions to handle pair and triplet, i.e. rise, fall and turn-off (#2566)

Merge pull request #2607 from zachjs/logger-error-atexit

Fix double-free on unmatched logger error pattern

Fix double-free on unmatched logger error pattern

When an expected logger error pattern is unmatched, the logger raises
another (hidden) error. Because of the previous ordering of actions,
`logv_error_with_prefix()` would inadvertently invoke `yosys_atexit()`
twice, causing a double-free.

Add tests for some common techmap files.

Fix syntax error in adff2dff.v

Fixes #2600.

frontend: Make helper functions for printing locations.

Merge pull request #2594 from zachjs/func-arg-width

verilog: fix sizing of constant args for tasks/functions

int -> bool

Adds is_wire to SigBit and SigChunk

Useful for PYOSYS because Python can't easily check wire against NULL.

machxo2: Switch to LUT4 sim model which propagates less undefined/don't care values.

machxo2: Update tribuf test to reflect active-low OE.

machxo2: Add experimental status to help.

machxo2: Add DCCA and DCMA blackbox primitives.

machxo2: Fix reversed interpretation of REG_SD config bits.

machxo2: Tristate is active-low.

machxo2: Fix typos in FACADE_FF sim model.

machxo2: Fix naming of TRELLIS_IO ports to match PIO pins in routing graph.

machxo2: Improve help_mode output in synth_machxo2.

machxo2: Use attrmvcp pass to move LOC and src attributes from ports/wires to IO cells.

machxo2: Add missing OSCH oscillator primitive.

machxo2: Add believed-to-be-correct tribuf test.

machxo2: Add passing fsm, mux, and shifter tests.

machxo2: Add add_sub test. Fix tests to include FACADE_IO primitives.

machxo2: Add -noiopad option to synth_machxo2.

machxo2: Use correct INITVAL for LUT1 in FACADE_SLICE.

machxo2: Fix cells_sim typo where OFX1 was multiply-driven.

machxo2: synth_machxo2 now maps ports to FACADE_IO.

machxo2: Add initial value for Q in FACADE_FF.

machxo2: Add FACADE_IO simulation model. More comments on models.

machxo2: Add FACADE_SLICE simulation model.

machxo2: Improve FACADE_FF simulation model.

machxo2: Improve LUT4 techmap. Use same output port name for LUT4 as Lattice.

machxo2: Add dffe test.

machxo2: Add dff.ys test, fix another cells_map.v typo.

machxo2: Fix more oversights in machxo2 models. logic.ys test passes.

machxo2: Add test/arch/machxo2 directory (test does not pass).

machxo2: Fix typos. test/arch/run-test.sh passes.

machxo2: Create basic techlibs and synth_machxo2 pass.

frontend: json: parse negative values

Signed-off-by: Karol Gugala <kgugala@antmicro.com>

assertpmux: Fix crash on unused $pmux output.

Fixes #2595.

Merge pull request #2586 from zachjs/tern-recurse

verilog: support recursive functions using ternary expressions

Merge pull request #2591 from zachjs/verilog-preproc-unapplied

verilog: error on macro invocations with missing argument lists

verilog: fix sizing of constant args for tasks/functions

- Simplify synthetic localparams for normal calls to update their width
    - This step was inadvertently removed alongside `added_mod_children`
- Support redeclaration of constant function arguments
    - `eval_const_function` never correctly handled this, but the issue
      was not exposed in the existing tests until the recent change to
      always attempt constant function evaluation when all-const args
      are used
- Check asserts in const_arg_loop and const_func tests
- Add coverage for width mismatch error cases

verilog: error on macro invocations with missing argument lists

This would previously complain about an undefined internal macro if the
unapplied macro had not already been used. If it had, it would
incorrectly use the arguments from the previous invocation.

Bump version

Merge pull request #2590 from RobertBaruch/fix_fast_sop_mode

Fixes command line for abc pass in -fast -sop mode

Fixes command line for abc pass in -fast -sop mode

Bump version

Merge pull request #2574 from dh73/master

Accept disable case for SVA liveness properties.