文件名称：将 RTL 验证连接到 MATLAB：示例显示了从 MATLAB 生成 HDL Verifier SystemVerilog DPI 组件以及与 Simulink 的协同仿真-matlab开发
文件大小：2.43MB
文件格式：ZIP
更新时间：2024-06-18 04:13:54
matlab
来自网络研讨会“通过连接到 MATLAB 改进 RTL 验证”的演示设计和文件，其中显示： * SystemVerilog DPI 组件从 MATLAB 生成，用于激励和检查功能* 将生成的组件集成到 SystemVerilog UVM 测试环境中* 将手写的 Verilog 导入 HDL Verifier 协同仿真* 通过使用 Mentor Graphics Questa 对 Simulink 进行协同仿真来调试测试平台 此下载包括来自网络研讨会的幻灯片，以及交错的演示说明。 幻灯片还介绍了高级客户如何在模型级别执行验证和验证以将验证转移到工作流程的早期。
【文件预览】：
pulse_detector_verification.zip