![](https://img-blog.csdnimg.cn/20201014180756923.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
SV
文章平均质量分 68
Kanble_X
这个作者很懒,什么都没留下…
展开
-
SVA学习小结
SVA学习小结1、为什么要使用断言(assertions)?断言主要用于检查设计的行为是否正常。可以用来提供功能覆盖信息,断言可以分为立即断言和并发断言。2、什么是立即断言(Immediate assertions)和并发断言(concurrent assertion)?立即断言:当使用if或assert()执行语句时,立即断言检查表达式是否为真。并发断言:并发断言通过使用property持续检查仿真过程中的信号值。...原创 2021-09-18 10:04:56 · 74 阅读 · 0 评论 -
SV学习知识小结
1、systemverilog package的作用以及include和import的区别?答:include是编译预处理语句,是将文件中的内容插入到当前文件中。import是package里面的全部identifiers 或者指定identifiers 对当前作用域可见。2、为什么resetn需要定义两次?一次在时钟块中,一次在modport中?答:为了做到异步复位,同步释放。因此resetn有效时应当直接使用<接口实例名>resetn,释放时为<接口实例名>.resetn原创 2021-08-18 15:44:28 · 2206 阅读 · 0 评论 -
验证基础问答
验证基础问答1.1理论基础1、什么是验证?验证是确保设计与预定的设计期望一致(吻合)的过程。2、什么是验证平台/验证环境?验证平台:产生一个或多个激励;将激励发送到设计的输入中;将输出进行比较,看结果是否正确。3、验证的难点(1)如何产生全部的激励;(2)如何检查结果的正确性。4、功能验证流程(1)制定验证策略和验证计划;(2)创建验证平台,运行和测试;(3)覆盖率分析和回归测试。回归测试:①要求所有test都通过,在很长时间(两周/一个月/三个月)稳定,不会出现新的错误;②分析cov原创 2021-07-29 11:43:14 · 792 阅读 · 0 评论