createMarker

Hi,

I'm trying to create a mark based on dbGet .box property, but seem that it doesn't work. Below the code:

  set InstBBOX [dbGet [dbGet -p top.insts.name  $FaninInstName].box]
  set lx [lindex [lindex $InstBBOX 0] 0]
  set ly [lindex [lindex $InstBBOX 0] 1]
  set ux [lindex [lindex $InstBBOX 0] 2]
  set uy [lindex [lindex $InstBBOX 0] 3]
  set bbox_lx [expr $lx + 0.0]
  set bbox_ly [expr $ly + 0.0]
  set bbox_ux [expr $ux + 0.0]
  set bbox_uy [expr $uy + 0.0]

  createMarker -tool reportCongestion -type RegToIO -bbox {$bbox_lx $bbox_ly $bbox_ux $bbox_uy} -desc "Reg conn. to IO"

Error message is:

WARNING: Marker bbox should be numbers.
**ERROR: (IMPVB-41): createMarker failed: tool: reportCongestion, type: RegToIO, subtype: Other, desc:Reg conn. to IO, bbox $bbox_lx $bbox_ly $bbox_ux $bbox_uy

Do you have suggestions?

Thanks a lot