|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
全部软件共50卷(4-53楼)
含lic
QuestaCrack.rar
(342.84 KB, 下载次数: 151 )
.
QuestaSimQuestaSim是第一个基于标准的单核验证引擎,集成了一个HDL模拟器,一个约束求解器,一个判断引擎,功能覆盖,以及一个通用的用户界面。主要特点:
*内建单内核仿真器支持SystemVerilog、verilog、VHDL、PSL以及SystemC。
*内建约束解释器支持Constrained-random激励生成,以实现Testbench-Automation;
*支持基于PSL,SystemVerilog语言断言的功能验证,支持业界最著名的0-in Checkware 断言库功能验证
*集成化支持功能覆盖率检查与分析*高性能的RTL和Gate-level仿真速度
*支持用SystemVerilog和SystemC实现高层次testbench设计与调试
*高性能集成化的混合语言调试环境加速对混合验证语言;(SystemVerilog,SystemC,PSL,VHDL,Verilog)的交叉调试与分析
*基于标准的解决方案能支持所有的流程,便于保护验证上的投资
*提供最高性价比的功能验证解决方案
[ 本帖最后由 cryinrain 于 2009-8-30 21:56 编辑 ] |
|