已收录 272663 条政策
分类导航
检索结果
已选条件:
Assertion-based
<符合条件的数据共：1条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • Dynamic Assertion-Based Verification for SystemC
    颁布单位：[Rice University] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Applied, sciences, Assertion-based, verification, Specification, languages, Electrical, engineering, System, science, Computer, science]
    预览  |  原文链接    [浏览：0 下载：0]