上海科技大学知识管理系统

ShanghaiTech University Knowledge Management System

图片搜索

粘贴图片网址

研究单元&专题

信息科学与技术学院 [1]

作者

文献类型

期刊论文 [1]

发表日期

出处

语种

资助项目

资助机构

收录类别

KMS

浏览/检索结果: 共1条，第1-1条

帮助

已选(0)清除条数/页：排序方式：

Design of SystemVerilog Assertions Hardware Towards Efficient Processor Functional Verification 期刊论文
JISUANJI YANJIU YU FAZHAN/COMPUTER RESEARCH AND DEVELOPMENT, 2024, 卷号: 61, 期号: 6, 页码: 1436-1449
作者: Zhang, Ziqing; Shi, Kan; Xu, Shuoxiang; Wang, Lianghui; Bao, Yungang

Adobe PDF(1427Kb) |

收藏 | 浏览/下载：200/0 | 提交时间：2024/08/09

Computer software Efficiency Integrated circuit design Program debugging Verification Assertion Fine grained Functional verification Hardware simulation Processor verification Prototyping Software simulation SystemVerilog SystemVerilog assertions Verification process

条目量26801
全文量25666
访问量15952304
下载量1061892