Difference between revisions of "correctness"
| Line 2: | Line 2: | ||
Previous PreSync paper: https://doi.org/10.1145/3332186.3333042 | Previous PreSync paper: https://doi.org/10.1145/3332186.3333042 | ||
| + | |||
| + | * Planned | ||
| + | * NRPy+ cactusthorn.py will do bounds checking | ||
Revision as of 16:07, 19 January 2022
- Correctness! Rules!
Previous PreSync paper: https://doi.org/10.1145/3332186.3333042
- Planned
* NRPy+ cactusthorn.py will do bounds checking
