set ::env(DESIGN_NAME) "r8051"

set ::env(VERILOG_FILES) "./designs/r8051/src/r8051.v"
set ::env(SDC_FILE) "./designs/r8051/src/r8051.sdc"

set ::env(CLOCK_PERIOD) "25.0"
set ::env(CLOCK_PORT) "clk"

set ::env(FP_CORE_MARGIN) 3.36
set ::env(GLB_RT_ADJUSTMENT) 0.1
set ::env(SYNTH_STRATEGY) 3

set ::env(CLOCK_NET) $::env(CLOCK_PORT)