基本介绍 Synplify 和 Synplify Pro 是 synopsys提供的专门针对FPGA和CPLD实现的逻辑综合工具; 该软件提供的Symbolic FSM Compiler 是专门支持有效状态机优化的内嵌工具 SCOPE是管理设计约束与属性 图形化的分析和cross_probe工具HDL Analyst Synplify Pro还增加提供了FSM Explorer 可以在尝试不同的状态机优化方案后选定最佳结果 Pro为例,与Synplify操作一样; 启动Synplify pro工程窗口 设置工程选项 设置好工程文件:源代码文件、约束文件、Tcl scripts文件 保存工程文件.prj 命令行运行 synplify_pro -batch top.prj 或者打开GUI synplify_pro top.prj Tcl脚本运行 如下tcl脚本: #-- Synplicity, Inc. #-- Version Synplify -batch synplify.tcl 生成的报告和信息 view log Log 文件 Synplify将所有综合时产生的报告和信息写入Log文件,文件名project_name.srr ; Log
synplify安装教程 和安装VC_static Tools安装教程 一样 进入installer_v3.5目录下 , 运行installer进行安装进程(这里需要注意的是,需要退出root权限 /setup.sh 点击start,开始安装; 选择安装包路径: next; 选择安装路径: 安装完成finish; 在.bashrc设置环境变量: export Synplify_HOME =$Synopsys_Dir/Synplify_2015.03/Synplify export PATH=$Synplify_HOME/bin:$PATH 就可以运行了,不需要破解。 /install_drivers 跑个demo试试 以平头哥开源项目wujian100_open | 基于synplify+vivado生成bitfile为例: synplify vivado
1.仿真补充:补充上节仿真流程 2.基于synplify+vivado生成bitfile: synplify进行综合生成edf网表 vivado进行布线布局生成bitfile 3.synplify+vivado /tb/tb_file.list -top wujian100_open_tb 基于synplify+vivado生成bitfile 1.可以把代码加进vivado,单独用vivado进行综合布线布局生成 bitfile; 2.我这里直接用synplify生成网表wujian100_open.edf和wujian100_open_edif.xdc约束;然后用vivado布线布局; synplify综合 在 执行synplify综合: synplify -batch . /synplify/wujian100_open_200t_3b_rev/wujian100_open_edif.xdc ..
2、使用Synplify Pro综合 Synplify Pro对wire、reg类型的信号有着不同的综合属性。 2、使用Synplify Pro综合 使用Synplify Pro综合时防止信号被优化掉的方法和使用Xilinx公司 ChipScope使用Synplify Pro综合时添加的综合约束一样,因为Synplify 不过经过轮询之后发现,ISE 12.3以后的版本、Quartus II 9.0之后的版本、Synplify Pro 9.0.1以后的版本都可以使用。
如果要使用第三方EDA综合和仿真工具,需要安装综合工具LeonardoSpectrum或Synplify以及仿真工具ModelSim。 Synplify 7.2以上版本或LeonardoSpectrum 2002c以上版本(综合工具); ? ModelSim5.5以上版本(仿真工具)。 所以顺便把Synplify,ModelSim也给装上。 synplify 9.6.2我是搜了很久才找到下载地址的,与大家共享http://u.115.com/file/f1529d3248,破解安装办法则详见http://www.cnblogs.com/oomusou /archive/2009/02/06/synplify_pro_crack.html。
synplif综合: 吐出的网表给vivado布线布局; 直接运行makefile中命令即可:run vivado布线布局: 直接运行makefile中命令即可:run 生成bitfile; 推荐查看:synplify +vivado安装教程 synplify | 基础操作 适用于初学者熟悉工具及flow,EDA软件需要自行安装,买定离手 下载链接:
前两篇已经说了状态机的基本概念以及如何写好状态机,此篇带来使用 Synplify Pro 分析 FSM。,话不多说,上货。 如何写好状态机(一) 如何写好状态机(二) ? 主要内容预览: 状态机的基本概念; 如何写好状态机; 使用 Synplify Pro 分析 FSM。 ? 使用 Synplify Pro 分析 FSM ? (1) 有限状态机编译器(FSM Compiler) 一般的综合工具将 FSM 按照普通逻辑综合,而 Synplify Pro 与之不同。 Synplify Pro 使 用 FSM Compiler,先将 FSM 编译为类似状态转移图的连接图,然后对 FSM 重新编码、优化以达到更好的综合效果。 启动 Synplify Pro,单击 ? 打开“Example-1-1\FSM\state2”目录下的“state2.prj”,单击 ?
2、使用Synplify Pro综合 Synplify Pro对wire、reg类型的信号有着不同的综合属性。 2、使用Synplify Pro综合 使用Synplify Pro综合时防止信号被优化掉的方法和使用Xilinx公司 ChipScope使用Synplify Pro综合时添加的综合约束一样,因为Synplify 不过经过轮询之后发现,ISE 12.3以后的版本、Quartus II 9.0之后的版本、Synplify Pro 9.0.1以后的版本都可以使用。
在Synplify中选择:File->New->Constraint File建立SDC文件,选择时钟约束如下图所示,为多时钟约束: ? 1.2 Designer SmartTime时钟约束 时钟约束除了在Synplify中能够约束外。 1.3 时序报告分析 (1)Synplify时序报告 当约束了时序后,需要观察时序报告,看时钟是否能达到我们需要的时钟,首先观察Synplify综合报告。 以多时钟约束为样例,从Synplify得到的时序报告如下图所示,为多时钟约束时序报告: ? 由上图可知时序都满足约束,未出现违规。 (3)具体时序报告图 通过Synplify综合后的和Designer进行布局布线都仅仅是看到了一个大体的时序报告。
lint/cdc检查工具:spyglass -> SpyGlass安装教程、spyglass 基础操作、spyglass 常见错误lint 后端:PT、IIC2、innovus等 FPGA综合布线布局工具:synplify /vivado-> ->synplify 基础操作、基于synplify+vivado生成bitfile 其他:VC_static_tools ->VC_static Tools安装教程 4.相关岗位
vhd: boolean type does not match integer literal 经查阅后得知,Quartus II在翻译VHDL中的boolean类型是用false和true传递的,而Synplify
开发工具:熟练掌握Synplify、Quartus、ISE、Modelsim等FPGA开发软件。 IP核:了解IP核的概念和分类,掌握如何调用IP核来加速FPGA设计。 常用的FPGA开发软件包括Synplify、Quartus、ISE和Modelsim等。这些软件提供了丰富的功能,如逻辑综合、布局
如:Synplify, Quartus. ?
SDC是用于传达Synopsys Synplify和其他供应商的FPGA综合工具的时序约束的机制,并且是时序约束行业标准;因此,Tcl基础结构是脚本语言的“最佳实践”。
综合工具 目前有三种主流的综合工具,分别是Synopsys公司的Synplify/Synplify Pro、Leonardo Spectrum以及Xilinx自身的XST等。 Synplify/Synplify Pro由于其先进的时序驱动和行为最好算法引擎,具有占地面积小、合成速度快,大型集成工具的优点,使其得到了广泛使用。逻辑的合成主要是将硬件描述语言转换为电路且优化。
主要内容预览: 状态机的基本概念; 如何写好状态机; 使用 Synplify Pro 分析 FSM。 使用 Synplify Pro 的 RTL 视图配合 FSM Viewer 可以将源代码中描述的 FSM 用状态转移图显示出来,使用图形化的界面帮助用户分析理解状态机。 (1) 有限状态机编译器(FSM Compiler) 一般的综合工具将 FSM 按照普通逻辑综合,而 Synplify Pro 与之不同。 Synplify Pro 使 用 FSM Compiler,先将 FSM 编译为类似状态转移图的连接图,然后对 FSM 重新编码、优化以达到更好的综合效果。 启动 Synplify Pro,单击 ? 打开“Example-1-1\FSM\state2”目录下的“state2.prj”,单击 ?
主要内容预览: 状态机的基本概念; 如何写好状态机; 使用 Synplify Pro 分析 FSM。 ? 状态机的基本概念 ? 使用 Synplify Pro 的 RTL 视图配合 FSM Viewer 可以将源代码中描述的 FSM 用状态转移图显示出来,使用图形化的界面帮助用户分析理解状态机。
综合工具 目前有三种主流的综合工具,分别是Synopsys公司的Synplify/Synplify Pro、Leonardo Spectrum以及Xilinx自身的XST等。 Synplify/Synplify Pro由于其先进的时序驱动和行为最好算法引擎,具有占地面积小、合成速度快,大型集成工具的优点,使其得到了广泛使用。逻辑的合成主要是将硬件描述语言转换为电路且优化。
同样的,也有一些潜在可用的第三 方综合工具比如 Synopsys Synplify 或者 Synplify Pro。 一个值得注意的例外和 System Generator工具有关。
然后点击Next,进入工程类型的选择界面,第一个就是我们常用的RTL工程,其他的依次是设计综合后工程、IO计划工程、导入(Synplify、XST或者ISE)创建的工程以及示例工程,直接以第一个进行举例