| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
|
|\
| |
| | |
verilog: support recursive functions using ternary expressions
|
| |
| |
| |
| |
| |
| |
| | |
This adds a mechanism for marking certain portions of elaboration as
occurring within unevaluated ternary branches. To enable elaboration of
the overall ternary, this also adds width detection for these
unelaborated function calls.
|
| |
| |
| |
| |
| |
| | |
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.
|
|\ \
| |/
|/| |
Accept disable case for SVA liveness properties.
|
| | |
|
| | |
|
|\ \
| | |
| | | |
verilog: refactored constant function evaluation
|
| |/
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
Elaboration now attempts constant evaluation of any function call with
only constant arguments, regardless of the context or contents of the
function. This removes the concept of "recommended constant evaluation"
which previously applied to functions with `for` loops or which were
(sometimes erroneously) identified as recursive. Any function call in a
constant context (e.g., `localparam`) or which contains a constant-only
procedural construct (`while` or `repeat`) in its body will fail as
before if constant evaluation does not succeed.
|
|\ \
| | |
| | | |
verlog: allow shadowing module ports within generate blocks
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
This is a somewhat obscure edge case I encountered while working on test
cases for earlier changes. Declarations in generate blocks should not be
checked against the list of ports. This change also adds a check
forbidding declarations within generate blocks being tagged as inputs or
outputs.
|
|/ /
| |
| |
| | |
Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
|
| |
| |
| |
| |
| |
| |
| |
| | |
This fixes binding signed memory reads, signed unary expressions, and
signed complex SigSpecs to ports. This also sets `is_signed` for wires
generated from signed params when -pwires is used. Though not necessary
for any of the current usages, `is_signed` is now appropriately set when
the `extendWidth` helper is used.
|
|/
|
|
| |
Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
|
|\
| |
| | |
verilog: significant block scoping improvements
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
This change set contains a number of bug fixes and improvements related to
scoping and resolution in generate and procedural blocks. While many of the
frontend changes are interdependent, it may be possible bring the techmap
changes in under a separate PR.
Declarations within unnamed generate blocks previously encountered issues
because the data declarations were left un-prefixed, breaking proper scoping.
The LRM outlines behavior for generating names for unnamed generate blocks. The
original goal was to add this implicit labelling, but doing so exposed a number
of issues downstream. Additional testing highlighted other closely related scope
resolution issues, which have been fixed. This change also adds support for
block item declarations within unnamed blocks in SystemVerilog mode.
1. Unlabled generate blocks are now implicitly named according to the LRM in
`label_genblks`, which is invoked at the beginning of module elaboration
2. The Verilog parser no longer wraps explicitly named generate blocks in a
synthetic unnamed generate block to avoid creating extra hierarchy levels
where they should not exist
3. The techmap phase now allows special control identifiers to be used outside
of the topmost scope, which is necessary because such wires and cells often
appear in unlabeled generate blocks, which now prefix the declarations within
4. Some techlibs required modifications because they relied on the previous
invalid scope resolution behavior
5. `expand_genblock` has been simplified, now only expanding the outermost
scope, completely deferring the inspection and elaboration of nested scopes;
names are now resolved by looking in the innermost scope and stepping outward
6. Loop variables now always become localparams during unrolling, allowing them
to be resolved and shadowed like any other identifier
7. Identifiers in synthetic function call scopes are now prefixed and resolved
in largely the same manner as other blocks
before: `$func$\func_01$tests/simple/scopes.blk.v:60$5$\blk\x`
after: `\func_01$func$tests/simple/scopes.v:60$5.blk.x`
8. Support identifiers referencing a local generate scope nested more
than 1 level deep, i.e. `B.C.x` while within generate scope `A`, or using a
prefix of a current or parent scope, i.e. `B.C.D.x` while in `A.B`, `A.B.C`,
or `A.B.C.D`
9. Variables can now be declared within unnamed blocks in SystemVerilog mode
Addresses the following issues: 656, 2423, 2493
|
| | |
|
| |
| |
| |
| |
| |
| | |
The first child of AST_CASE is the case expression, it's subsequent
childrean that are AST_COND* and can be used to discriminate the type of
the case.
|
|/ |
|
|\
| |
| | |
verilog: allow spaces in macro arguments
|
| | |
|
| |
| |
| |
| | |
Signed-off-by: David Shah <dave@ds0.me>
|
| | |
|
| |
| |
| |
| |
| |
| | |
flavored Verific
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
|
|/ |
|
|
|
|
| |
Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
|
|
|
|
|
| |
Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
|
|\
| |
| | |
verilog: improved support for recursive functions
|
| | |
|
|/ |
|
| |
|
|
|
|
|
|
|
|
| |
The changes in #2476 ensured that function inputs like `input x;`
retained their single-bit size when instantiated with a constant
argument and turned into a localparam. That change did not handle the
possibility for an input to be redeclared later on with an explicit
width, such as `integer x;`.
|
|\
| |
| | |
genrtlil: fix mux2rtlil generated wire signedness
|
| | |
|
|\ \
| |/
|/| |
Fix constants bound to single bit arguments (fixes #2383)
|
| | |
|
|\ \
| | |
| | | |
Allow constant function calls in constant function arguments
|
| |/ |
|
|/
|
|
|
|
|
|
|
|
|
| |
- Signed cell outputs are sign extended when bound to larger wires
- Signed connections are sign extended when bound to larger cell inputs
- Sign extension is performed in hierarchy and flatten phases
- genrtlil indirects signed constants through signed wires
- Other phases producing RTLIL may need to be updated to preserve
signedness information
- Resolves #1418
- Resolves #2265
|
|\
| |
| | |
Return correct modname when found in cache.
|
| | |
|
| | |
|
|/ |
|
|
|
|
| |
No one knows where they came from and they never did anything useful.
|
| |
|
|
|
|
| |
Signed-off-by: Claire Xenia Wolf <claire@symbioticeda.com>
|
| |
|
| |
|
|
|
|
|
|
| |
Fixes #2394
Signed-off-by: Claire Xenia Wolf <claire@symbioticeda.com>
|
|\
| |
| | |
Added $high(), $low(), $left(), $right()
|