1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 电子工程/通信技术
  5. 电子设计

开关级电路符号化仿真与增量验证方法研究.pdf

开关级电路符号化仿真与增量验证方法研究.pdf

    论符号化仿真结果在开关级电路增量式等价验证中的复用

    Ll.Ribas-rgoJ.Carrabina-Bordoll微电子小组，计算

    机科学系，巴塞罗那自治大学，UAB08193加

    泰罗尼亚，西班牙

    类检查。因此，电路功能验证应交由工具处理。

    增量式方法已成功应用于处理经过轻微修改的开关级

    网络的连续验证。即仅对受变更影响的部分进行符号化

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >