‹‹ 上一主题 | 下一主题 ››
发新话题
打印

用Quartus II做综合的话，那么formality验证时的验证库是什么？我急需呀兄弟姐妹

lling65

见习会员

Rank: 1

总资产
1 晶元 
金币
0 金币 
1# 大 中 小 发表于 2006-5-6 04:00 PM  只看该作者

用Quartus II做综合的话，那么formality验证时的验证库是什么？我急需呀兄弟姐妹

用Quartus II做综合的话，那么formality验证时的验证库是什么？听说综合库和验证库应该相同，那这样我的验证库是否就是Quartus II的综合库了，那Quartus II的综合库是什么啊？我急需呀兄弟姐妹帮帮忙吧！

TOP

yingshaof

正式会员

Rank: 2

总资产
335 晶元 
金币
30 金币 
2# 大 中 小 发表于 2007-11-28 12:37 PM  只看该作者
支持一下-------------------------------

TOP

powerg3

版主

Rank: 7Rank: 7Rank: 7

总资产
1122 晶元 
金币
0 金币 
3# 大 中 小 发表于 2008-8-16 10:14 PM  只看该作者
这个问题很强大，应该使用综合库，不知道有没有verilog格式的库

TOP

‹‹ 上一主题 | 下一主题 ››
发新话题