yosys/tests/various/fib_tern.ys at d318775d972061ccb4cfd9346797555235ed9753 - mirrors/yosys - Libre-Chip.org

mirrors/yosys

mirror of https://github.com/YosysHQ/yosys synced 2025-10-30 03:02:30 +00:00

Zachary Snow 8de2e863af 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.

2021-02-12 14:43:42 -05:00

6 lines

100 B

Text

Raw Blame History

 read_verilog fib_tern.v
 hierarchy
 proc
 equiv_make gold gate equiv
 equiv_simple
 equiv_status -assert