首页>硬件开发>硬件基础>集成电路设计(IC)>IC形式验证问题

回复

« 返回列表

dzlyl

驱动牛犊

驱动牛犊

注册日期2004-01-05
最后登录2004-03-24
粉丝0
关注0
积分0分
威望0点
贡献值0点
好评度0点
原创分0分
专家分0分

加关注写私信

阅读：1638回复：0

IC形式验证问题

楼主^#

更多发布于：2004-01-07 13:35

各位大虾：
我用SYNOPSYS FORMALITY做一个乘法器的形式验证，为什么验证的特别慢，只有2万门的设计就要1天多时间，是不是FORMALITY规模上的限制啊？ :(

隆隆

回复

发帖回复

« 返回列表

您需要登录后才可以回帖，登录或者注册