TY  - RPRT
TI  - A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems
AU  - Nick Mertin
AU  - K. Ritsuka
AU  - Karen Rudie
PY  - 2022
UR  - https://arxiv.org/abs/2201.10632
ID  - 2201.10632
ER  -