开始使用高密度脂蛋白验证器
高密度脂蛋白校验™可以验证硬件描述语言(VHDL)®和Verilog®设计的fpga、asic和出类拔萃。您可以验证RTL与testbenches在MATLAB运行®或仿真万博1manbetx软件®用cosimulation西门子®,®或ModelSim®,节奏®Xcelium™和Xilinx®Vivado®模拟器。您可以重用这些testbenches与FPGA开发板来验证硬件的实现。
RTL testbenches HDL验证器生成SystemVerilog验证模型和完整的通用验证方法(UVM)环境。这些模型在,上运行,Xcelium和Vivado模拟器以及Synopsys对此®风险投资通过SystemVerilog直接编程接口(DPI)。
高密度脂蛋白校验提供了调试和测试实现在Xilinx工具,英特尔®,微芯片从MATLAB董事会。你可以插入探针的设计和设置触发条件上传内部信号到MATLAB可视化和分析。
教程
- 验证高密度脂蛋白与MATLAB试验台模块
建立并运行一个ModelSim和MATLAB试验台会话。 - 验证高密度脂蛋白模块与Simulink仿真试验万博1manbetx台
建立一个高密度脂蛋白验证器会话使用仿真软件来验证一个简单的硬件描述语言(VHDL)万博1manbetx模型。 - Cosimulation向导MATLAB系统对象
建立一个高密度脂蛋白校验使用Cosimulation™应用程序向导。 - 使用仿真软件验证了余弦滤波器设计万博1manbetx
提供指令使用Cosimulation Cosimulation向导来创建一个仿真软件模型。万博1manbetx - 开始使用TLM生成器
这个例子展示了如何配置一个仿真软件®模型来生成一个SystemC™/ TLM万博1manbetx组件使用tlmgenerator目标仿真软件程序员™或嵌入式程序员®。 - 验证使用FPGA-in-the-Loop HDL实现PID控制器
这个例子向您展示了如何建立一个FPGA-in-the-Loop使用高密度脂蛋白(FIL)应用程序验证人™。 - 使用FPGA-in-the-Loop验证数字上升变换器
这个例子向您展示了如何生成验证数字上升变换器设计滤波器设计高密度脂蛋白编码器使用FPGA-in-the-Loop模拟™。 - 选择一个试验台HDL代码生成(高密度脂蛋白编码器)
选择一个生成的试验台。 - 生成测试工作台,使使用HDL代码覆盖率工作流顾问(高密度脂蛋白编码器)
生成试验台使用高密度脂蛋白HDL代码生成和代码覆盖率工作流顾问。
高密度脂蛋白Cosimulation
HDL代码导入
TLM组件代
FPGA-in-the-Loop (FIL)
验证与高密度脂蛋白HDL代码生成工作流顾问(需要高密度脂蛋白编码器许可)
设计验证的自动化
- 高密度脂蛋白Cosimulation
HDL校验软件由MATLAB函数,对象™,MATLAB系统和仿真软件模块库,所有这些高密度脂蛋白模拟器之间建立通信链路和MATLAB仿真软件。万博1manbetx
- FPGA验证
高密度脂蛋白匹配与仿真软件MATLAB和高密度脂万博1manbetx蛋白编码器™和FPGA开发环境支持自动生成HDL代码准备在一个FPGA实现。万博1manbetx
- TLM组件代
高密度脂蛋白验证器允许您创建一个SystemC事务级别模型(TLM)可以在任何执行OSCI-compatible TLM 2.0环境,包括商业虚拟平台。
- SystemVerilog DPI组件代
高密度脂蛋白匹配使用万博1manbetx仿真软件编码器™或MATLAB编码器出口一个子系统生成C代码在一个SystemVerilog组件直接编程接口(DPI)。
特色的例子
视频
高密度脂蛋白验证器概述
验证Verilog和VHDL设计fpga、asic和soc HDL校验。验证RTL testbenches在MATLAB运行或使用与高密度脂蛋白cosimulation模万博1manbetx拟器仿真软件。使用这些相同testbenches FPGA和SoC硬件开发板来验证HDL实现。