mirror of https://github.com/YosysHQ/yosys.git
07e3d648aa
Comes with a set of tests which (currently) pass with `read_verilog` but fail with `verific` based on #5878. Add `--check-sv`, an alternative to `--prove-sv` with generator defined yosys commands. Helpful for when you want to run the same set of commands on a bunch of sv files. |
||
|---|---|---|
| .. | ||
| bad_il.ys | ||
| generate_mk.py | ||
| init.sv | ||
| non_zero.sv | ||
| power_of_two.sv | ||