mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-28 10:19:26 +00:00
Cannot skip width detection entirely as unreachable branch (if it is a legal expression) may still be used to determine width of result |
||
|---|---|---|
| .. | ||
| aiger | ||
| ast | ||
| blif | ||
| ilang | ||
| json | ||
| liberty | ||
| rpc | ||
| verific | ||
| verilog | ||