SystemVerilog-SystemC TestBench Architecture for VLSI Chip Design Verification

系统C 计算机科学 超大规模集成 计算机体系结构 智能验证 芯片上的系统 嵌入式系统 炸薯条 建筑 计算机硬件 程序设计语言 软件 软件建设 视觉艺术 软件系统 艺术 电信
作者
Mohammad Ismael,Ayman Hroub,Nasib Naser
标识
DOI:10.1109/vlsi-soc62099.2024.10767804
摘要

Simulation-based verification of Very-Large-Scale Integration (VLSI) chip design is inevitable. However, the simulation speed can be a bottleneck in the verification process productivity. People tried to accelerate simulation-based verification through parallelization, emulation, and reducing the number of test scenarios, etc. In this paper, we exploited the power of abstraction of SystemC to design fast and accurate golden functional reference models. These reference models can be integrated in the Universal Verification Methodology (UVM) based TestBench through Transaction Level Modeling (TLM). Thus, the UVM based TestBench interacts with the SystemC reference model to get the golden values, and use them for checking. We used the proposed methodology to verify the execution unit (EXU) of the open-source RISC-V based VeeR EL2 processor core. The experimental results showed that the proposed TestBench architecture with SystemC reference model is up to 15x faster than the TestBench with SystemVerilog reference model.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
1秒前
张123发布了新的文献求助10
1秒前
2秒前
白云黑土完成签到,获得积分10
2秒前
酷波er应助linman采纳,获得10
2秒前
2秒前
星辰大海应助科研niumaWOMAN采纳,获得15
3秒前
文龙之子发布了新的文献求助10
4秒前
yml完成签到,获得积分10
4秒前
Tong完成签到,获得积分10
5秒前
兴奋奇异果完成签到,获得积分10
6秒前
7秒前
9秒前
小刘发布了新的文献求助10
9秒前
moumou发布了新的文献求助20
10秒前
10秒前
澍寗发布了新的文献求助20
11秒前
AAA卡车司机完成签到,获得积分20
12秒前
13秒前
17秒前
何y发布了新的文献求助10
17秒前
舒适代丝完成签到,获得积分10
18秒前
GTY发布了新的文献求助10
18秒前
脑洞疼应助linman采纳,获得10
19秒前
19秒前
李可以完成签到 ,获得积分10
19秒前
李橙汁完成签到 ,获得积分10
20秒前
21秒前
小白不白发布了新的文献求助10
22秒前
temp应助duduuu采纳,获得10
22秒前
scanker1981发布了新的文献求助30
23秒前
25秒前
han完成签到 ,获得积分10
25秒前
kekeke777发布了新的文献求助10
26秒前
呆萌乌冬面应助nn采纳,获得10
28秒前
han关注了科研通微信公众号
30秒前
小刘完成签到,获得积分10
30秒前
熊啊小明发布了新的文献求助10
32秒前
33秒前
36秒前
高分求助中
Principles of Economics, 11th Edition 10000
Prescott's Microbiology: 2026 Release ISE 10000
University Physics with Modern Physics, 16th edition 10000
Cronologia da história de Macau 5000
Environmental Leverage in Times of Climate Crisis: Product Standards, Carbon Border Measures and Preferential Trade Agreements 1000
Interactions of Vowel Quality and Prosody in East Slavic 1000
Matrix Methods in Data Mining and Pattern Recognition 510
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 内科学 物理 复合材料 催化作用 细胞生物学 无机化学 光电子学 物理化学 电极 基因
热门帖子
关注 科研通微信公众号,转发送积分 7157667
求助须知:如何正确求助?哪些是违规求助? 8801894
关于积分的说明 18600680
捐赠科研通 6759449
什么是DOI,文献DOI怎么找? 3161988
关于科研通互助平台的介绍 2297218
邀请新用户注册赠送积分活动 2136686