On equivalence checking between behavioral and RTL descriptions
On equivalence checking between behavioral and RTL descriptions
复制标题
DOI：
10.1109/hldvt.2004.1431267
复制
发表时间：
2004-11
期刊：
影响因子：
--
通讯作者：
M. Fujita
中科院分区：
文献类型：
--
作者：
M. Fujita
在本文中，我们介绍了通过将设计映射到虚拟控制器和虚拟数据索中，以进行行为级别和寄存器传输级别（RTL）设计描述之间的比较。我们还讨论了如何使用所提出的“属性语句”以交互式方式精确地定义行为级别和RTL设计之间的等效性。还提出了实施问题以及对现实生活工业设计示例的考虑。
In this paper we present techniques for comparison between behavioral level and register transfer level (RTL) design descriptions by mapping the designs into virtual controllers and virtual datapaths. We also discuss about how the equivalence between behavioral level and RTL designs can be defined precisely using the proposed "attribute statements" in an interactive fashion. Implementation issues as well as considerations on real life industrial design examples are presented as well.