run_options.txt

静态pll实验程序

#-- Synplicity, Inc.
#-- Version 9.4A1
#-- Project file D:\Actelprj\Static_PLL\synthesis\run_options.txt
#-- Written on Mon Nov 24 22:06:15 2008


#add_file options
add_file -verilog "D:/Actelprj/Static_PLL/hdl/ctrl_PLL.v"
add_file -verilog "D:/Actelprj/Static_PLL/smartgen/PLL_0P75M/PLL_0P75M.v"
add_file -verilog "D:/Actelprj/Static_PLL/hdl/PLL_top.v"


#implementation: "synthesis"
impl -add synthesis -type fpga

#device options
set_option -technology Fusion
set_option -part AFS600
set_option -package PQFP208
set_option -speed_grade -1
set_option -part_companion ""

#compilation/mapping options
set_option -default_enum_encoding default
set_option -resource_sharing 1
set_option -use_fsm_explorer 0
set_option -top_module "PLL_top"

#map options
set_option -frequency 100.000
set_option -xst_mode 0
set_option -run_prop_extract 1
set_option -fanout_limit 24
set_option -globalthreshold 50
set_option -maxfan_hard 0
set_option -disable_io_insertion 0
set_option -retiming 0
set_option -report_path 4000
set_option -opcond COMWC
set_option -update_models_cp 0
set_option -preserve_registers 0


#sequential_optimizations options
set_option -symbolic_fsm_compiler 1

#simulation options
set_option -write_verilog 0
set_option -write_vhdl 0

#automatic place and route (vendor) options
set_option -write_apr_constraint 1

#set result format/file last
project -result_format "edif"
project -result_file "./PLL_top.edn"

#
#implementation attributes

set_option -vlog_std v2001
impl -active "synthesis"