.ReplaceWithSourceFileList
set device_family ".ReplaceDeviceFamily"
set device_vendor ".ReplaceDeviceVendor"

impl -add synplify

set_option -technology              $device_family
set_option -part                    .ReplaceDevicePart
set_option -speed_grade             .ReplaceDeviceSpeedGrade
set_option -package                 .ReplaceDevicePackage

set_option -top_module              ".ReplaceTopLevelEntity"

set_option -default_enum_encoding   .ReplaceEnumEncoding
set_option -symbolic_fsm_compiler   .ReplaceFSMCompiler
set_option -resource_sharing        .ReplaceResourceSharing
set_option -frequency               .ReplaceFrequency

set_option -write_vhdl              .ReplaceVHDLNetlist
set_option -write_verilog           .ReplaceVerilogNetlist
set_option -write_apr_constraint    .ReplaceVendorConstraints

set_option -block                   .ReplaceInsertIOBuffers
set_option -maxfan                  .ReplaceMaximumFanout
set_option -map_logic               .ReplaceMapLogic


project -log_file      ".ReplaceLogFile"
project -result_file   ".ReplaceOutputFile"

impl -active synplify
