gaishiqicai的个人空间 https://blog.eetop.cn/949909 [收藏] [复制] [分享] [RSS]

空间首页 动态 记录 日志 相册 主题 分享 留言板 个人资料

日志

formality eco modify svf file

已有 566 次阅读| 2024-8-16 18:28 |系统分类:芯片设计| formality, eco, svf

遇到复杂的eco功能修改,会对导致使用原来的svf文件做formality failed,因此需要使用更新后的eco_svf文件,流程如下:

1.使用新旧netlist文件,直接在terminal,输入以下命令产生新的eco_svf文件:

 fm_eco_to_svf org_design.v eco_design.v > eco_change.svf


2.产生setup map file,直接打开fm_shell运行一下命令
  fm_shell > set_svf org.svf eco_change.svf

  fm_shell > read_container  -r org.fsc

  fm_shell > read_container  -i eco.fsc

  fm_shell > generate_eco_map_file -replace eco_map.svf


3.formality 验证时读入新的svf文件以及map file

  set_svf eco_change.svf eco_map.svf


4.fsc文件产生于write_container命令


参考文档:UG P-193


点赞

评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 注册

  • 关注TA
  • 加好友
  • 联系TA
  • 0

    周排名
  • 0

    月排名
  • 0

    总排名
  • 2

    关注
  • 3

    粉丝
  • 4

    好友
  • 11

    获赞
  • 6

    评论
  • 441

    访问数
关闭

站长推荐 上一条 /2 下一条


小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-11-23 16:19 , Processed in 0.022362 second(s), 14 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
返回顶部