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

Explore PEak, an open-source hardware design and specification language, in this 12-minute conference talk from ACM SIGPLAN. Discover how PEak aims to improve both design productivity and verification capability by providing a single source of truth for functional model, formal specification, and RTL implementation. Learn about the language's applications in academic projects and its role in generating RTL for fabricated hardware accelerators. Understand how PEak's formal capabilities enable novel design space exploration techniques and automated compiler synthesis, addressing the challenge of balancing designer productivity with ease of verification in domain-specific languages for hardware.

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