mirror of https://github.com/YosysHQ/yosys.git
7495ad2664
Coverage supports `sqrt`, including new general rounding detection instead of just inf/ebmin/zero (since they aren't possible with `sqrt`). More `sqrt` assertions, as well as the addition of `altsqrt` verification. Some adjustments of macros. |
||
|---|---|---|
| .. | ||
| .gitignore | ||
| edges.sv | ||
| run-test.sh | ||