PEak:硬件设计与验证的单一事实来源
编程语言
2023-08-28 v1 硬件体系结构
计算机科学中的逻辑
摘要
用于硬件的领域特定语言可显著提升设计者生产力,但有时以牺牲验证便利性为代价。另一方面,ISA规范语言过于静态,无法用于早期设计空间探索。我们提出PEak,一种开源硬件设计与规范语言,旨在同时改善设计生产力与验证能力。PEak通过为功能模型、形式规范与RTL提供单一事实来源来实现这一点。PEak已在多个学术项目中使用,且PEak生成的RTL已被纳入三个已流片硬件加速器。在这些项目中,PEak的形式能力对于实现新颖的设计空间探索技术与自动化编译器综合至关重要。
引用
@article{arxiv.2308.13106,
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},
journal= {arXiv preprint arXiv:2308.13106},
year = {2023}
}