PEak: A Single Source of Truth for Hardware Design and Verification

Caleb Donovick, Ross Daly, Jackson Melchert +4

Domain-specific languages for hardware can significantly enhance designer productivity, but sometimes at the cost of ease of verification. On the other hand, ISA specification lang…