| source $::env(TIMING_ROOT)/env/common.tcl |
| source $::env(TIMING_ROOT)/env/$::env(LIB_CORNER).tcl |
| set libs [split [regexp -all -inline {\S+} $libs]] |
| set verilogs [split [regexp -all -inline {\S+} $verilogs]] |
| if {[catch {read_lef $lef} errmsg]} { |
| if {[catch {read_lef $sram_lef} errmsg]} { |
| foreach lef_file $extra_lefs { |
| if {[catch {read_lef $lef_file} errmsg]} { |
| #foreach verilog $verilogs { |
| # puts "reading veriolg: $verilog" |
| set verilog $::env(CUP_ROOT)/verilog/gl/$::env(BLOCK).v |
| if { ![file exists $verilog] } { |
| set verilog $::env(MCW_ROOT)/verilog/gl/$::env(BLOCK).v |
| if { ![file exists $verilog] } { |
| set verilog $::env(CARAVEL_ROOT)/verilog/gl/$::env(BLOCK).v |
| write_sdf $sdf -divider . -include_typ |
| puts "rcx-corner: $::env(RCX_CORNER)" |
| puts "lib-corner: $::env(TIMING_ROOT)/env/$::env(LIB_CORNER).tcl" |