EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
转——ModelSim和QuestaSim功能简介及应用
: p- w9 C8 j" W5 }! l; W* H7 o6 W7 Z) _/ \6 }
ModelSim是工业界最优秀的语言仿真器,它提供最友好的调试环境,是作FPGA、ASIC设计的RTL级和门级电路仿真的首选。它支持PC和UNIX、LINUX平台,是单一内核支持VHDL和Verilog混合仿真的仿真器。它采用直接优化的编译技术、Tcl/Tk技术、和单一内核仿真,编译仿真速度业界最快,编译的代码与平台无关,便于保护IP核,具有个性化的图形界面和用户接口,为用户加快调试提供强有力的手段。全面支持VHDL和Verilog语言的IEEE 标准,以及IEEE VITAL 1076.4-95 标准,支持C语言功能调用, C的模型,基于SWIFT的SmartModel逻辑模型和硬件模型。' f$ z( R& c* g; S
ModelSim支持RTL仿真,门级仿真,时序仿真:
1 O, ~2 l/ O8 l1 h0 W
5 P C9 o- ]- _ s主要特点:*采用直接编译结构,编译仿真速度最快;
' d- X7 ~ k& G*单一内核无缝地进行VHDL和Verilog混合仿真;
. E% s- d6 [0 Z0 X*与机器和版本无关,便于数据移植和库维护;) `7 Z, o) W4 i0 s# ?
*与机器无关的编译代码编于保护和利用IP;5 K- B- n: _6 B7 F% C
*简单易用和丰富的图形用户界面,快速全面调试;- d! F C+ `7 K% @- m( S7 W
*Tcl/Tk用户可定制仿真器;/ H( v# m4 f, j* Y' \9 `
*完全支持VHDL/Verilog国际标准,完全支持Verilog 2001;- G' b( J3 U& `, X& R" }- {$ @) V4 z
*支持众多的ASIC和FPGA厂家库;& w+ h7 b, _/ l
*集成的PeRFormance analyzer帮助分析性能瓶颈,加速仿真;: X: l. n. o, ?- b
*灵活的执行模式,Debug模式可以进行高效的调试,效率模式大幅度提高仿真速度。
+ y0 }7 j: q% l4 b* A*加强的代码覆盖率功能Code coverage,能报告出statement 、branch、condition、* U7 S% q3 E& r) V: X2 g$ ^/ A
* expression、toggle、fsm等多种覆盖率情况,进一步提高了测试的完整性;" f- @% Q8 P- z7 I4 Z6 e
*同一波形窗口可以显示多组波形,并且能进行多种模式的波形比较(Wave Compare);$ q, A/ s- Z. w( O
*先进的Signal Spy功能,可以方便地访问VHDL 或者 VHDL 和Verilog 混合设计中的下层模块的信号,便于设计调试;
% S: M- w& T( o' @. k! T* j0 z*支持加密IP;
) I; |5 z! t Q1 W*集成的 C调试器,支持 用C 语言完成测试平台和模块;支持64位的OS; ( x/ Q5 \5 H; }- C
ModelSim用户界面:
" c1 p9 Q. J9 x
$ l! M; Z% v9 O3 r2 e; m1 qModelSim设计流程:" v! q, Y5 I) r; A! S
* q D3 C% w; X5 j' qModelSim coverage验证:% J* ~; J6 U( {7 S8 p2 b
% T$ y: P3 m. C7 z0 sModelSim Dataflow窗口:
6 f# [( H+ J1 M- N- |0 D
* M# X) X# x: GQuestaSim是第一个基于标准的单核验证引擎,集成了一个HDL模拟器,一个约束求解器,一个判断引擎,功能覆盖,以及一个通用的用户界面。
, f0 y" s% ^+ d, p: o主要特点:& I' Y/ p8 F# I) @) o1 Y
*内建单内核仿真器支持SystemVerilog、verilog、VHDL、PSL以及SystEMC。( X8 f0 F# v5 n9 i, C% _
*内建约束解释器支持Constrained-random激励生成,以实现Testbench-Automation;
4 g& L: @9 y& d/ f; e0 F*支持基于PSL,SystemVerilog语言断言的功能验证,支持业界最著名的0-in Checkware 断言库功能验证
4 S1 x x8 z$ A4 D: D*集成化支持功能覆盖率检查与分析7 P# Z# D. v+ y6 z9 l
*高性能的RTL和Gate-level仿真速度 - i& n, }$ N2 h6 b, O" p3 V
*支持用SystemVerilog和SystemC实现高层次testbench设计与调试
$ v1 W. v/ E6 w! P9 y0 A*高性能集成化的混合语言调试环境加速对混合验证语言;(SystemVerilog,SystemC,PSL,VHDL,Verilog)的交叉调试与分析 |% x1 Q9 h# R+ n( m' ]
*基于标准的解决方案能支持所有的流程,便于保护验证上的投资
+ j) k& q8 N; R*提供最高性价比的功能验证解决方案3 L& ^+ u2 w; L# e% i* ] G+ V8 e
' E7 h0 R* S- w$ W* W
Questa AFV提供真正的混合语言验证. m" z7 L5 G! a% K6 y
Questa AFV是以混合语言流程 (mixed language flow) 为目标的单核心验证解决方案,8 M8 c( J+ M5 ~" f7 \3 S
它同时支持SystemVerilog、VHDL、PSL和SystemC,使设计人员能够选择最合适的语言。" g7 I- n+ V9 V
除此之外,与SystemVerilog验证能力的紧密连结,并将其用于受限随机
! w9 p- `8 b- L4 y) d(constrainedrandom)测试平台的产生以及功能覆盖率的验证也对VHDL使用者大有好处。( m, U' @: k! ?6 p% `* p
QuestaSim用户界面与ModelSim类似,命令也完全兼容。QuestaSim Coverage检查:9 D& U* ?! S$ t6 T1 m Y+ ~
% ]7 b$ ]4 d ]0 S5 i: F1 S8 j
QuestaSim DPI Use Flow:
3 u8 L" I ^1 u) { R2 g/ l# L% k/ u. `& `
3 t+ G# s% z+ b9 ~$ x |