formality2016_fm_vL-2016.03-SP1.rar Formality是高性能、高速度的全芯片的形式验证:等效性检查工具。它比较设计寄存器传输级对门级或门级对门级来保证它没有偏离原始的设计意图。所谓形式验证,就是通过比较两个设 语言: 其他 大小: 类型: tag: 上传人:zhanzhil 上传时间:2023-08-29 1 1条