#-- Synplicity, Inc.
#-- Version Synplify Pro 8.8
#-- Project file R:\training\training\desperf\labs\synthesis\synplify\verilog\run_options.txt
#-- Written on Fri Apr 06 12:33:35 2007


#add_file options
add_file -verilog "mac_ch.v"
add_file -verilog "read_ch_arbiter.v"
add_file -verilog "mac.v"
add_file -verilog "data_output_mux.v"
add_file -verilog "data_control_fsm.v"
add_file -verilog "data_control.v"
add_file -constraint "R:/training/training/desperf/labs/synthesis/synplify/verilog/data_control.sdc"


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

#device options
set_option -technology VIRTEX4
set_option -part xc4vlx15
set_option -package sf363
set_option -speed_grade -12
set_option -part_companion ""

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

#map options
set_option -frequency auto
set_option -run_prop_extract 1
set_option -fanout_limit 200
set_option -disable_io_insertion 0
set_option -pipe 1
set_option -update_models_cp 0
set_option -verification_mode 0
set_option -modular 0
set_option -retiming 0
set_option -no_sequential_opt 0
set_option -fixgatedclocks 3
set_option -fixgeneratedclocks 3


#sequential_optimizations options
set_option -symbolic_fsm_compiler 1

#simulation options
set_option -write_verilog 0
set_option -write_vhdl 0

#VIF options
set_option -write_vif 1

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

#set result format/file last
project -result_file "./data_control.edn"

#
#implementation attributes

set_option -vlog_std v2001
set_option -num_critical_paths 0
set_option -num_startend_points 0
impl -active "verilog"