mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-09 02:41:58 +00:00
fc5ff7a265
This is mostly useful for collecting coverage for the future `$check` cell, where, depending on the flavor, formatting a message may not be wanted even for a failed assertion. |
||
|---|---|---|
| .. | ||
| aiger | ||
| arch | ||
| asicworld | ||
| bind | ||
| blif | ||
| bram | ||
| cxxrtl | ||
| errors | ||
| fmt | ||
| fsm | ||
| hana | ||
| liberty | ||
| lut | ||
| memfile | ||
| memlib | ||
| memories | ||
| opt | ||
| opt_share | ||
| proc | ||
| realmath | ||
| rpc | ||
| sat | ||
| select | ||
| share | ||
| sim | ||
| simple | ||
| simple_abc9 | ||
| smv | ||
| sva | ||
| svinterfaces | ||
| svtypes | ||
| techmap | ||
| tools | ||
| unit | ||
| various | ||
| verific | ||
| verilog | ||
| vloghtb | ||
| xprop | ||
| gen-tests-makefile.sh | ||