mirror of https://github.com/efabless/caravel.git
56 lines
2.7 KiB
Tcl
56 lines
2.7 KiB
Tcl
### Caravel Clocking Signoff SDC
|
|
### Rev 2
|
|
### Date: 17/10/2022
|
|
|
|
set pll_clk_t 11.76
|
|
###############################################################################
|
|
# Timing Constraints
|
|
###############################################################################
|
|
create_clock -name ext_clk -period 25.0000 [get_ports {ext_clk}]
|
|
set_clock_transition 0.1000 [get_clocks {ext_clk}]
|
|
set_clock_uncertainty 0.1000 ext_clk
|
|
set_propagated_clock [get_clocks {ext_clk}]
|
|
create_clock -name pll_clk -period $pll_clk_t [get_ports {pll_clk}]
|
|
set_clock_transition 0.1000 [get_clocks {pll_clk}]
|
|
set_clock_uncertainty 0.1000 pll_clk
|
|
set_propagated_clock [get_clocks {pll_clk}]
|
|
create_clock -name pll_clk90 -period $pll_clk_t [get_ports {pll_clk90}]
|
|
set_clock_transition 0.1000 [get_clocks {pll_clk90}]
|
|
set_clock_uncertainty 0.1000 pll_clk90
|
|
set_propagated_clock [get_clocks {pll_clk90}]
|
|
create_generated_clock -name core_clk -source [get_pins {_210_/X}] -divide_by 1 [get_ports {core_clk}]
|
|
set_clock_transition 0.1000 [get_clocks {core_clk}]
|
|
set_clock_uncertainty 0.1000 core_clk
|
|
set_propagated_clock [get_clocks {core_clk}]
|
|
set_clock_groups -name group1 -logically_exclusive \
|
|
-group [get_clocks {ext_clk}]\
|
|
-group [list [get_clocks {pll_clk}]\
|
|
[get_clocks {pll_clk90}]]
|
|
set_input_delay 1.0000 -clock [get_clocks {ext_clk}] -add_delay [get_ports {ext_clk_sel}]
|
|
set_input_delay 1.0000 -clock [get_clocks {ext_clk}] -add_delay [get_ports {sel2[0]}]
|
|
set_input_delay 1.0000 -clock [get_clocks {ext_clk}] -add_delay [get_ports {sel2[1]}]
|
|
set_input_delay 1.0000 -clock [get_clocks {ext_clk}] -add_delay [get_ports {sel2[2]}]
|
|
set_input_delay 1.0000 -clock [get_clocks {ext_clk}] -add_delay [get_ports {sel[0]}]
|
|
set_input_delay 1.0000 -clock [get_clocks {ext_clk}] -add_delay [get_ports {sel[1]}]
|
|
set_input_delay 1.0000 -clock [get_clocks {ext_clk}] -add_delay [get_ports {sel[2]}]
|
|
set_output_delay 1.0000 -clock [get_clocks {ext_clk}] -add_delay [get_ports {resetb_sync}]
|
|
###############################################################################
|
|
# Environment
|
|
###############################################################################
|
|
set_load -pin_load 0.2000 [get_ports {core_clk}]
|
|
set_load -pin_load 0.2000 [get_ports {resetb_sync}]
|
|
set_load -pin_load 0.2000 [get_ports {user_clk}]
|
|
|
|
###############################################################################
|
|
# Design Rules
|
|
###############################################################################
|
|
set_max_transition 0.7500 [current_design]
|
|
set_max_fanout 7.0000 [current_design]
|
|
|
|
|
|
set_case_analysis 0 [get_ports sel[0]]
|
|
set_case_analysis 0 [get_ports sel[1]]
|
|
set_case_analysis 0 [get_ports sel[2]]
|
|
set_case_analysis 0 [get_ports sel2[0]]
|
|
set_case_analysis 0 [get_ports sel2[1]]
|
|
set_case_analysis 0 [get_ports sel2[2]] |