mirror of
https://github.com/YosysHQ/yosys
synced 2026-06-06 09:00:54 +00:00
0cc2906bae
Switch inputs back to `anyseq`, and add coverage for muladd with constant multiplier output and varying addend (also an assertion). Use an `ifdef` to control clocked properties (because of the assertion, it's no longer just covers that are clocked). |
||
|---|---|---|
| .. | ||
| .gitignore | ||
| edges.sv | ||
| run-test.sh | ||