[leda培训讲义.ppt

LEDA使用说明 一.LEDA 概述 LEDA是Synopsys 公司的一种可编程代码设 计规则检查器，它提供全芯片级混合语言 （Verilog和VHDL）处理能力,从而加快了复 杂的SOC设计的开发。 1. LEDA 作用 （１）LEDA预装的检查规则大大地增强了设计人员检查HDL代码的能力，包括可综合性，可仿真性、可测试性和可重用性。利用所提供的设计规则，能进一步的提高Synopsys工具，例如VCS、Design Compiler以及Formality的性能。 （２）LEDA的规则集有助于设计人员共享他们的设计经验，对硬件设计预检查，且将设计风险降到最低。 1. LEDA 作用 （３）使用LEDA，可以对硬件设计的仿真和综合进行预检查，消除设计流程中的瓶颈，其中Verilog代码设计规则可确保按内部或外部工具要求优化代码 。 （４）LEDA提供的设计规则可提高Synopsys工具的性能。 ２．LEDA功能 （１）支持Verilog/VHDL混合语言的设计 。 （２）包含先进的硬件设计推测和层次化检查的能力，确保设计人员对特殊硬件结构(包括时钟、寄存器、锁存器)进行规则检查 。 （３）包括预装全面的设计规则检查和规范集。 （４）针对Synopsys工具性能优化的HDL代码检查，以确保与工具(如Design Compiler、VCS和Formality)的最新功能要求兼容 。  LEDA关系图 二．LEDA详细介绍 １.结构 LEDA包含Checker 和Specifier两个功能不同的工具． Checker是主要的检查工具，如果LEDA自带的prepackaged rule能满足用户检查需要，那么我们可以直接用Checker进行检查． Specifier是自定义Rule的工具，当prepackaged　rule不能满足用户的检查需要时，我们需要Specifier　定义需要的Rule，再进行检查． ２.流程 当LEDA自带的prepackaged rule能满足用户检查需要，可立刻进行检查． 当LEDA自带的prepackaged rule部分满足用户检查需要，可先对prepackaged rule进行修改，再进行检查． 当LEDA自带的prepackaged rule完全不符合用户检查需要，那就需要Specifier重新定义需要的Rule，再进行检查． ３.模式 LEDA有三种操作模式，分别为： ①GUI mode ②Batch mode ③TCL mode ①GUI mode GUI mode 即图形界面模式，主要适合于初学者使用． 无论之前使用什么模式，用户都可以使用GUI mode 进行回顾和调试错误． 用户在GUI mode 下可以在主菜单的控制台上转换到TCL mode． LEDA默认模式为GUI mode 　 ②Batch mode 此模式适合于对LEDA比较熟悉的用户． 用户可以在此模式下进行脚本操作． ③TCL mode 用户使用较多的一种模式． 用户可以通过TCL shell使用Design Query Language (DQL)进行设计规则的检查． 还可以通过此模式进行Leda projects的管理, rule configurations, 还有运行 Checker． 三种模式关系 ４．Checker 使用介绍 在命令行键入“LEDA”,LEDA启动，默认为ＧＵＩ模式，我们以GUI模式为主，详细介绍LEDA用法．(以Verilog为例) ⑴Creating Projects to Check HDL Code ①在主菜单选择Project New. Enter the full path and name for your project in the Project Name　field at the top of the window, or enter just a project name and use the Browse button　to navigate to a directory where you want to store your project data. Then click the　Next button at the bottom right of the window to start the Wizard ②Specify Compiler Options With semantic exceptions：enabled by default，选择此选项能避免不必要的报错． Example:This stand