TY  - RPRT
TI  - PEak: A Single Source of Truth for Hardware Design and Verification
AU  - Caleb Donovick
AU  - Ross Daly
AU  - Jackson Melchert
AU  - Lenny Truong
AU  - Priyanka Raina
AU  - Pat Hanrahan
AU  - Clark Barrett
PY  - 2023
UR  - https://arxiv.org/abs/2308.13106
ID  - 2308.13106
ER  -