@misc{indiciaee60a43ee6df6,
  title = {PEak: A Single Source of Truth for Hardware Design and Verification},
  author = {Caleb Donovick and Ross Daly and Jackson Melchert and Lenny Truong and Priyanka Raina and Pat Hanrahan and Clark Barrett},
  year = {2023},
  url = {https://arxiv.org/abs/2308.13106},
  note = {Source identifier: 2308.13106}
}