writeMixedFormatPST
lp writeMixedFormatPST boolean { t | nil }
Description
Enables the use of syntax or semantics for writing mixed power states in the exported 1801power model file. This allows the printing of a mix of Unified Power Format 2.0 and Unified Power Format 1.5 for specifying the power states in the extracted 1801 power model. The default value is nil. If the environment variable is set to nil, the power states are written using the add_power_state command only. The multiple supplies are printed as ExtVDD+VDD. When set to t, power states are written by using the following commands:
##### Power States ##################################################
add_power_state ss__vddA__vssA -supply -state { on_1p0 -supply_expr { (power == {
FULL_ON 1.000000 }) && (ground == { OFF }]}}
add_power_state ss__vddA__vssB -supply -state { on_1p0 -supply_expr { (power == {
FULL_ON 1.000000 }) && (ground == { OFF }]}}
add_power_state ss__vddB__vssB -supply -state { on_1p5 -supply_expr { (power == {
FULL_ON 1.500000 }) && (ground == { OFF }]}}
add_power_state ss__vddB_init__vssB -supply -state { on_1p5 -supply_expr { (power
== { FULL_ON 1.500000 }) && (ground == { OFF }]}} -state { off_0p0 \
-supply_expr { (power == { OFF }) && (ground == { OFF })}}
add_power_state pd__vddA__vssA -domain -state { mode0 -logic_expr {ss__vddB__vssB
== on_1p5 && ss__vddA__vssB == on_1p0 && ss__vddA__vssA == on_1p0 && \
ss__vddB_init__vssB == on_1p5 }} -state { mode1 -logic_expr { ss__vddB__vssB ==
on_1p5 && ss__vddA__vssB == on_1p0 && ss__vddA__vssA == on_1p0 && \
ss__vddB_init__vssB == off_0p0}}
##### Power States ##################################################
add_power_state ss__vddA__vssA -state { on_1p0 -supply_expr { power == { FULL_ON
1.000000 }}} -state { on_0p0 -supply_expr { ground == { FULL_ON 0.000000 }}}
add_power_state ss__vddA__vssB -state { on_1p0 -supply_expr { power == { FULL_ON
1.000000 }}} -state { on_0p0 -supply_expr { ground == { FULL_ON 0.000000 }}}
add_power_state ss__vddB__vssB -state { on_1p5 -supply_expr { power == { FULL_ON
1.500000 }}} -state { on_0p0 -supply_expr { ground == { FULL_ON 0.000000 }}}
add_power_state ss__vddB_init__vssB -state { on_1p5 -supply_expr { power == {
FULL_ON 1.500000 }}} -state { on_0p0 -supply_expr { ground == { FULL_ON 0.000000
}}} \
-state { off_0p0 -supply_expr { power == { OFF }}}
##### PST ##################################################
create_pst cellA -supplies { ss__vddB__vssB.power ss__vddB__vssB.ground
ss__vddA__vssB.power ss__vddA__vssA.ground ss__vddB_init__vssB.power}
add_pst_state mode0 -pst cellA -state {on_1p5 on_0p0 on_1p0 on_0p0 on_1p5 }
add_pst_state mode1 -pst cellA -state {on_1p5 on_0p0 on_1p0 on_0p0 off_0p0 }
GUI Equivalent
Examples
envGetVal("lp" "writeMixedFormatPST")
envSetVal("lp" "writeMixedFormatPST" 'boolean t)
Related Topics
Return to top