被测模块-EDA365

研发资源 > 标签 > 被测模块

|相关技术

利用形式验证检查 SoC 连通性的正确性

发布时间：2024-11-22

连通性检查涉及验证器件布线.它相当于问这样一个问题:[设计元素是否被正确装配?" 更准确地说.它是在验证设计中的逻辑模块之间的连接是否正确.例如:模块 B1 上的输出 A 是否正确连接到模块 B2 上的输入 ...<全部>

技术百科

|

98

上一个下一个

第26届高交会元宇宙完美收官，数字化参会体验引爆全场

第26届高交会元宇宙完美收官，数字化参会体验引爆全场

|相关标签

SoC连通性