-
题名GPU上基于环展开的RTL模拟加速技术研究
- 1
-
-
作者
田茜
李暾
程悦
皮彦
邹鸿基
-
机构
国防科技大学计算机学院
-
出处
《计算机工程与科学》
北大核心
2025年第2期191-199,共9页
-
基金
国家自然科学基金(U19A2062)。
-
文摘
随着开源和敏捷硬件设计方法学的发展,为其提供高效的RTL模拟支持变得日益重要。GPU的并行能力使得利用RTL模拟的结构级和激励级并行性加速RTL模拟成为可能。然而,由于时序设计中存在反馈环,如何实现单个Testbench内的数据级并行仍然是一个很大的挑战。提出了一种新的利用GPU加速RTL模拟的方法,该方法的核心技术是RTL设计中反馈环的识别与展开,以及基于此的RTL电路划分技术。电路划分和环展开从单个Testbench内的结构并行和数据并行2个方面,发挥了基于GPU的并行能力来加速RTL模拟。实验结果表明,所提出的GPU加速RTL模拟方法,相比传统的基于GPU的RTL模拟方法得到了1.2~107.1倍的加速,相比目前最快的RTL模拟器ESSENT得到了2.2~14倍的加速。
-
关键词
RTL模拟
GPU加速
pyrtl
硬件构造语言
环展开
-
Keywords
RTL simulation
GPU-accelerated
Python register transfer level(pyrtl)
hardware construction language(HCL)
loop-unrolling
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名面向敏捷硬件设计的符号模拟器设计与实现
- 2
-
-
作者
邹鸿基
李暾
罗丹
方雨德
-
机构
国防科技大学计算机学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2021年第12期2098-2104,共7页
-
基金
国家自然科学基金(U19A2062)。
-
文摘
敏捷硬件设计方法中,RTL建模常使用自定义的描述语言,并将设计转换为某种中间格式,为设计验证带来了新挑战。符号模拟技术是(限界)模型检验、等价性检查和测试生成等验证技术的基础,为构建敏捷硬件设计方法验证技术基础,针对PyRTL语言及其中间格式,设计并实现了一个符号模拟器。介绍了符号模拟器的设计原理、转换规则等关键技术。实验结果表明了所实现的符号模拟器的正确性。
-
关键词
符号模拟器
pyrtl
敏捷硬件设计
验证
-
Keywords
symbolic simulator
pyrtl
agile hardware design
verification
-
分类号
TP303
[自动化与计算机技术—计算机系统结构]
-
