#-- Synopsys, Inc.
#-- Version E-2011.03A
#-- Project file C:\Actelprj\A2F_AC377_DF\HW\synthesis\run_options.txt
#-- Written on Fri Jul 29 16:28:50 2011


#project files
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/hdl/reg_if.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/hdl/timebase.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/hdl/pwm_gen.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/hdl/pwm_top.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/hdl/tach_measure.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/hdl/top_level_tach_measure.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/hdl/dig_sch_trig.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/hdl/pwm_n_tach.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/component/Actel/SmartFusionMSS/MSS/2.5.6/mss_comps.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/component/work/mss_fan_control/MSS_CCC_0/mss_fan_control_tmp_MSS_CCC_0_MSS_CCC.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/component/work/mss_fan_control/mss_tshell.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/component/work/mss_fan_control/mss_fan_control.vhd"
add_file -vhdl -lib work "C:/Actelprj/A2F_AC377_DF/HW/component/work/top_level_fan_control/top_level_fan_control.vhd"


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

#device options
set_option -technology SmartFusion
set_option -part A2F200M3F
set_option -package FBGA256
set_option -speed_grade Std
set_option -part_companion ""

#compilation/mapping options
set_option -use_fsm_explorer 0
set_option -top_module "work.top_level_fan_control"

# mapper_options
set_option -frequency 100.000
set_option -write_verilog 0
set_option -write_vhdl 0

# Actel 500K
set_option -run_prop_extract 1
set_option -maxfan 24
set_option -maxfan_hard3 0
set_option -disable_io_insertion 0
set_option -retiming 0
set_option -report_path 0
set_option -opcond COMWC
set_option -update_models_cp 0
set_option -preserve_registers 0

# Actel 500K
set_option -globalthreshold 50

# NFilter
set_option -popfeed 0
set_option -constprop 0
set_option -createhierarchy 0

# sequential_optimization_options
set_option -symbolic_fsm_compiler 1

# Compiler Options
set_option -compiler_compatible 0
set_option -resource_sharing 1

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

#set result format/file last
project -result_file "./top_level_fan_control.edn"
impl -active "synthesis"
