mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-17 04:35:44 +00:00
b66c0dcc97
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 | ||