主要内容

高密度脂蛋白验证器

测试和验证Verilog而且硬件描述语言(VHDL)使用HDL模拟器和FPGA板

HDL Verifier™可以让您测试和验证VHDL®和Verilog®fpga、asic和soc的设计。您可以使用在MATLAB中运行的测试台来验证RTL®或仿真软件®使用与西门子的联合仿真®,®或ModelSim®,节奏®Xcelium™和Xilinx®Vivado®模拟器。您可以将这些相同的测试工作台与FPGA开发板一起重用,以验证硬件实现。

HDL Verifier为RTL测试台和完整的通用验证方法(UVM)环境生成SystemVerilog验证模型。这些模型在Questa、Xcelium和Vivado模拟器以及Synopsys中本机运行®VCS通过SystemVerilog直接编程接口(DPI)。

HDL Verifier提供了在Xilinx、Intel上调试和测试实现的工具®,微芯片从MATLAB董事会。您可以在设计中插入探针,设置触发条件,将内部信号上传到MATLAB中进行可视化和分析。

开始

学习HDL验证器的基础知识

验证与Cosimulation

HDL模拟器与MATLAB和Simulink的协同仿真

FPGA硬件验证

将FPGA板与MATLAB和Simulink连接,对硬件设计进行验证和调试

使用UVM和SystemVerilog组件进行验证

生成UVM或SystemVerilog DPI组件

集成验证与HDL代码生成

生成测试台以验证用HDL Coder™生成的HDL代码

事务级模型生成

生成SystemC TLM虚拟原型

HDL验证器支持的硬件

支持第三方硬件,如Xilinx、Intel和微芯片FPGA板

Baidu
map