设为首页收藏本站

切换到宽版

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 后端设计 › 后端讨论区 › 请教有关formal工具的原理的问题。

返回列表发新帖

查看: 3704|回复: 0

[求助] 请教有关formal工具的原理的问题。

发表于 2012-12-3 22:20:51 | 显示全部楼层 |阅读模式

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

×

请教一下牛人，formality工具的原理是怎么样的？
比如工具是怎么报告unmatched点、unread、CUT_NET等等的？自己也看了一下UG，但还是不太明白。请稍微解释一下吧~
谢谢！

相关帖子

回复

使用道具举报

返回列表发新帖

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

GMT+8, 2026-1-15 19:28 , Processed in 0.103281 second(s), 6 queries , Gzip On, Redis On.

Powered by Discuz! X3.5

© 2001-2026 Discuz! Team.

快速回复 返回顶部 返回列表