UPf with negative power supply volatge

[riti]

I have tried writing upf for my design using synopsys ICC2 tool. It is working fine for positive voltages but not working for negative voltages. what would be the syntax/command for making connection of negative voltage power supply through upf. In below code VBB is negative voltage.

set_voltage command won't work for negative voltage. i have defined it in upf file thorugh power state. but i am not sure how ICC will undertand its volatge value.

please find my code:

set_design_attributes -elements {.} -attribute enable_bias true
set mv.upf.upf_enable_state_propagation_in_add_power_state true

create_supply_port VDD
create_supply_port VSS
create_supply_port VBB

create_supply_net VDD
create_supply_net VSS
create_supply_net VBB

connect_supply_net  VDD          -ports {VDD}
connect_supply_net  VSS            -ports {VSS}
connect_supply_net  VBB            -ports {VBB}

##for hard macros##

connect_supply_net VDD  -ports {*/*/*/*/VDD}
connect_supply_net VSS -ports {*/*/*/*/VSS}
connect_supply_net VBB -ports {*/*/*/*/VBB}

create_supply_set VDD_SUPPLY -function {power VDD} -function {ground VSS} -function {pwell VPW} -function {nwell VNW}

create_power_domain TOP -include_scope -supply {primary VDD_SUPPLY}
set_port_attributes -elements { . } -attribute related_supply_default_primary true

####add power state for negative volatge VBB#####
create_supply_set VBB_SS -function {power VDD} -function {ground VSS} -function {pwell VPW} -function {nwell VBB}
add_power_state VBB_SS  -state VDD  {-supply_expr {power == {FULL_ON, 1.00}}}
add_power_state VBB_SS  -state VSS {-supply_expr {ground == {FULL_ON, 0.000}}}
add_power_state VBB_SS  -state bias_vbbm500 {-supply_expr {pwell == {FULL_ON, 0.000}}}
add_power_state VBB_SS  -state bias_vbb1250 {-supply_expr {nwell == {FULL_ON, -0.200}}}

set_voltage  1.00 -corners fast   -object_list  [get_supply_nets VDD]
set_voltage  0.00 -corners fast   -object_list  [get_supply_nets VSS]