注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 用PSL语言进行基于断言的验证方法

  2. 本文介绍了如何用PSL语言进行基于断言的仿真和形式验证。这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间。

  3. 所属分类：其它

    • 发布日期：2020-08-05
    • 文件大小：74752
    • 提供者：weixin_38602098