设为首页收藏本站

切换到宽版

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 后端设计 › 后端讨论区 › LEC形式验证

返回列表发新帖

查看: 1273|回复: 0

[求助] LEC形式验证

海狸先生0119

发表于 2024-3-26 10:51:07 | 显示全部楼层 |阅读模式

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

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

×

请教大佬们

本人正在用LEC做SYN vs DFT的形式验证，目前的结果是INCOMPLETE。通过report_verification报出来，发现了以下问题。
请问这是导致FV fail的原因吗？如果是的话应该用什么命令解决呢？
谢谢

。

登录/注册后可看大图

回复

使用道具举报

返回列表发新帖

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

GMT+8, 2026-1-15 21:44 , Processed in 0.033069 second(s), 3 queries , Gzip On, Redis On.

Powered by Discuz! X3.5

© 2001-2026 Discuz! Team.

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