Property-Driven Development of a RISC-V CPU

Property-Driven Development of a RISC-V CPU
复制标题

RISC-V CPU 的属性驱动开发

DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Tobias Ludwig
Tobias Ludwig
中科院分区：
--
文献类型：
--
作者：
Tobias Ludwig

文献摘要

被引文献

相似文献

本文以实现RISC-V CPU为例，演示了一种新的自上而下的RTL设计方法，称为属性驱动开发（Property-Driven Development， PDD）。该方法从SystemC中抽象的、事务级的硬件描述开始，并产生一个完整的、正式验证的RTL实现。我们提出了一个支持PDD的开源软件工具。利用该工具，我们为RISC-V R32I指令集开发了一个抽象的系统级CPU模型，并将其细化为RTL实现。为同一抽象模型提供了两种不同的实现。
This paper demonstrates, at the example of implementing a RISC-V CPU, a novel top-down RTL design methodology called Property-Driven Development (PDD). The methodology starts from an abstract, transaction-level, hardware description in SystemC and produces a fully and formally verified RTL implementation. We present an open-source software tool supporting PDD. Using the tool, we develop an abstract system-level CPU model for the RISC-V R32I instruction set and refine it to an RTL implementation. Two different implementations for the same abstract model are provided.