Formality学习笔记一:基本概念
DesignRefernce design : golden design, 一般作为验证的标准Implementation design: 修改后的设计,想要验证和原始版本是否一致Logic ConesLogic Cones: 由一组组合逻辑电路构成的电路模块常见的比较点:primary outputs、internal registers、black box input pins、nets driven by multiple drivers where at least one driver
原创
2021-09-11 14:27:00 ·
2998 阅读 ·
0 评论