摘要：文章目录 1. Polyspace工具基本介绍 1.1 Polyspace工具作用 1.2 Polyspace工程建立 1.3 Polyspace Bug Finder 分析及结果 1.4 Polyspace Code Prover 分析及结果 附件：分析源函数 专题目录 1. Polyspace工 阅读全文

摘要：软件获取地址: MATLAB R2018b详细安装教程（附资源）​mp.weixin.qq.com/s/gkkonEa0Yj41oFfMocORUw 安装步骤： 1.鼠标右击【R2018b(64bit)】压缩包选择【解压到 R2018b(64bit)】 2.打开解压后的文件夹中的【R2018b_wi 阅读全文

摘要：安装Vivado 2020.2版本之后，会看到一个图标“Model Composer and System Generator 2020.2”，其中System Generator我们在这篇文章里已经介绍过了（模块化设计思维：System Generator），今天我们介绍一下Model Compo 阅读全文

摘要：Model Composer 是一款基于模型的设计工具，不仅能够在 MathWorks Simulink® 环境中进行快速设计探索，而且还可通过自动代码生成加速基于 Xilinx 全可编程器件的生产。您不仅可使用高层次性能优化模块通过算法来进行表达和迭代，还可通过系统级仿真来验证功能正确性。Mode 阅读全文

摘要：转自：https://blog.csdn.net/u014090257/article/details/84635976 Matlab - Matlab 2016a 安装破解教程 本方法只是研究破解技术所用。 如果要使用软件还是要用正版的。 Matlab 2016a 安装包及破解教程百度云分享链接： 阅读全文

摘要：1. 编译vivado ip仿真库 注意：modelsim10.5不支持仿真vivado2019.2版本的库，需要modelsim2019版本才可以。 预计编译需要30min，耐心等待。 2.库路径添加至modelsim 首先，找到vivado ip库路径在：刚才编译ip库的文件夹，目录下会有一个m 阅读全文

摘要：Vivado自带的仿真工具Vivado Simulator使用体验不佳，使用当前最流行的Verilog仿真工具Modelsim更加高效便捷。Vivado支持多种第三方仿真工具，包括Modelsim，Questasim等，本文将介绍如何在Vivado中使用Modelsim进行仿真。 不同版本的Viva 阅读全文

摘要：** Debussy软件简介及仿真教程 **一、Debussy 软件简介Debussy 是 NOVAS Software, Inc（思源科技）开发的 HDL Debug & Analysistool，这个软件主要不是用来跑模拟或看波形，它最强大的功能是能够在 HDLsource code、schem 阅读全文