Enabling agile hardware development with the PEak programming language
Abstract/Contents
- Abstract
- 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 languages are too static to be used during early stage design space exploration. This dissertation presents PEak, an open-source hardware design and specification language, which aims to improve both design productivity and verification capability. PEak does this by providing a single source of truth for functional models, formal specifications, and RTL. PEak has been used in several academic projects, and PEak-generated RTL has been included in multiple fabricated hardware accelerators. In these projects, the formal capabilities of PEak were crucial for enabling both novel design space exploration techniques and automated compiler synthesis.
Description
Type of resource | text |
---|---|
Form | electronic resource; remote; computer; online resource |
Extent | 1 online resource. |
Place | California |
Place | [Stanford, California] |
Publisher | [Stanford University] |
Copyright date | 2024; ©2024 |
Publication date | 2024; 2024 |
Issuance | monographic |
Language | English |
Creators/Contributors
Author | Donovick, Caleb |
---|---|
Degree supervisor | Barrett, Clark |
Degree supervisor | Hanrahan, P. M. (Patrick Matthew) |
Thesis advisor | Barrett, Clark |
Thesis advisor | Hanrahan, P. M. (Patrick Matthew) |
Thesis advisor | Horowitz, Mark (Mark Alan) |
Degree committee member | Horowitz, Mark (Mark Alan) |
Associated with | Stanford University, School of Engineering |
Associated with | Stanford University, Department of Computer Science |
Subjects
Genre | Theses |
---|---|
Genre | Text |
Bibliographic information
Statement of responsibility | Caleb Donovick. |
---|---|
Note | Submitted to the Computer Science Department. |
Thesis | Thesis Ph.D. Stanford University 2024. |
Location | https://purl.stanford.edu/kk823xm2826 |
Access conditions
- Copyright
- © 2024 by Caleb Donovick
- License
- This work is licensed under a Creative Commons Attribution Share Alike 3.0 Unported license (CC BY-SA).
Also listed in
Loading usage metrics...