LEDA使用

一、配置环境变量

setenv LEDA_PATH instdir 	#instdir为leda的安装目录
set path=($LEDA_PATH/bin $path)
setenv HTML_NAVIGATOR /usr/bin/firefox  #用于查看html帮助
setenv LEDA_READER /usr/bin/evince
setenv SNPSLMD_LICENSE_FILE $LEDA_PATH/license.dat

二、运行脚本（文件run_leda）

leda \
-maxmessages 1000 \
-maxviolations 10000 \
+tcl_file leda.tcl \
| tee leda.log

三、配置文件
1、leda.tcl

project_new leda.pro  #建立新工程
project_specify_options -format verilog -severity warning -macro GTECH -version 01 #配置信息，在gui界面有对应的设置
read_verilog -f rtl_list  #verilog 文件列表
current_design spi #顶层
elaborate
checker_set_design_constraints -top spi
run
gui_start #启动gui界面，也可在run_leda那里加+gui参数

2、rtl_list

+define+DW32BIT
../src/spi.v
../src/spi_tx.v
../src/spi_rx.v
../src/spi_fifo.v
../src/spi_sync.v

三、其它
shell下可leda -h查看相关帮助
leda gui界面查看报告时可右键open HTML **来查看错误信息的帮助（需正确设置HTML_NAVIGATOR变量）