期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于RISC-V处理器的软硬件联合验证平台设计与实现
1
作者 钟戴元 曾庆立 +2 位作者 周佳凯 薛浪 唐瑞东 《信息技术与信息化》 2024年第11期23-26,共4页
针对目前RISC-V处理器业界不成熟的验证思想和单一验证方法的欠合理性,提出一种软硬件联合验证平台。将原有处理器级的行为验证升级成SoC系统级的行为验证,并以此为基础,改进原有的单一软件验证和硬件验证模式,联合形成一种结构合理、... 针对目前RISC-V处理器业界不成熟的验证思想和单一验证方法的欠合理性,提出一种软硬件联合验证平台。将原有处理器级的行为验证升级成SoC系统级的行为验证,并以此为基础,改进原有的单一软件验证和硬件验证模式,联合形成一种结构合理、内容清晰和便于移植的验证方案。并将提出的验证方案使用高级软件编程语言C++和验证描述语言SV HDL,运用verilator的软件验证和FPGA的硬件验证,实现基于RISC-V处理器的软硬件联合验证平台设计。实验结果表明,所设计的平台能够有效地提高验证的一般性和全面性,使用C语言进行验证降低了验证的门槛,增强了验证与实际应用的关联性,模块化设计和可移植性使其能够适应不同的设计需求和应用场景,为RISC-V处理器的进一步研究和开发提供了强有力的支持。 展开更多
关键词 RISC-V verilator SOC FPGA 软硬件联合验证
在线阅读 下载PDF
Study on Test Compaction in High-Level Automatic Test Pattern Generation (ATPG) Platform 被引量:1
2
作者 Ayub Chin Abdullah Chia Yee Ooi 《Circuits and Systems》 2013年第4期342-349,共8页
Advancements in semiconductor technology are making gate-level test generation more challenging. This is because a large amount of detailed structural information must be processed in the search process of automatic t... Advancements in semiconductor technology are making gate-level test generation more challenging. This is because a large amount of detailed structural information must be processed in the search process of automatic test pattern generation (ATPG). In addition, ATPG needs to deal with new defects caused by process variation when IC is shrinking. To reduce the computation effort of ATPG, test generation could be started earlier at higher abstraction level, which is in line with top-down design methodology that has become more popular nowadays. In this research, we employ Chen’s high-level fault model in the high-level ATPG. Besides shorter ATPG time as shown in many previous works, our study showed that high-level ATPG also contributes to test compaction. This is because most of the high-level faults correlate with the gate-level collapsed faults especially at input/output of the modules in a circuit. The high-level ATPG prototype used in our work is mainly composed by constraint-driven test generation engine and fault simulation engine. Experimental result showed that more reduced/compact test set can be generated from the high-level ATPG. 展开更多
关键词 Automatic TEST Pattern Generation (ATPG) Constraint Logic Programming (CLP) verilator Circuit-Under-Test (CUT) TEST COMPACTION
暂未订购
上一页 1 下一页 到第
使用帮助 返回顶部