会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
纸上得来终觉浅,绝知此事要躬行。
博客园
首页
新随笔
联系
订阅
管理
2024年5月7日
SystemVerilog -- 11.0 Introduction
摘要: SystemVerilog Assertions 系统的行为可以写成一个assertion,该assertion在任何时候都应该为真。因此,assertion用于验证定义为属性的系统的行为,也可用于功能覆盖。 What are properities of a design ? 如果assertio
阅读全文
posted @ 2024-05-07 22:02 松—松
阅读(73)
评论(0)
推荐(0)
公告