- 1 - IEC61523-4:2023/COR1:2024 IEC2024 INTERNATIONALELECTROTECHNICALCOMMISSION IEC61523-4 Edition2.02023-09 DELAYANDPOWERCALCULATIONSTANDARDS- Part 4:DesignandVerificationof Low-Power,Energy-AwareElectronic Systems CORRIGENDUM 1 9.7.3 Retentionmodelingfordifferent retentionstyles ReplaceTable10withthefollowingtable: SS RS Register VDD RIC Retained Valid next VDD Registerstate Comments RET value value states SC RC ON ON FALSE FALSE FALSE Previous Previous NORMAL SAVE, RESTORE saved data state value ON ON FALSE FALSE TRUE Previous Previous RETAIN_ON NORMAL, RETAIN_OFE, saved data state value RESTORE ON ON FALSE TRUE NORMAL, X Previous Retention RESTORE saved data RETAIN ON value Register RETAIN_ON, ON ON TRUE FALSE Previous SAVE X value state NORMAL value NA SAV_RES_COR ON ON TRUE TRUE X CORRUPT CORRUPT CORRUPT is set NA ON TRUE OFF X X CORRUPT CORRUPT CORRUPT ON OFF TRUE FALSE NA RET_SUP_COR X CORRUPT CORRUPT CORRUPT is set ON FALSE Previous OFF FALSE CORRUPT PARTIAL NORMAL RET_SUP_COR x is set state CORRUPT value OFE CORRUPT X X NA RET_SUP_COR OFF X CORRUPT CORRUPT is set OFF ON FALSE FALSE FALSE CORRUPT CORRUPT CORRUPT NA !RTC OFF ON TRUE CORRUPT RETAIN_OFF RETAIN_ON FALSE FALSE Previous saved data OFF CORRUPT CORRUPT Restore during ON TRUE CORRUPT NA FALSE x power-down OFF TRUE Saveduring ON X CORRUPT CORRUPT CORRUPT NA power-down TheXin thistable denotesa"don'tcare"conditionl Validnext states arenon-corrupting next states. IEC61523-4:2023-09/COR1:2024-02(en) 2 - IEC61523-4:2023/COR1:2024 @IEC2024 Power domain 10.6.1.1 Replacethetablewiththefollowingtable: Class name upfPowerDomainT Class membership upfPowerDomainT,upfExtentClassT,upfBaseUpfT.upfBaseNamedT,upfBase Handle ID <handleID ofupf_parent>/<upf_nameofObject> Handle ID examples /top/dut_i/PD Property Return value Description upf_ name upfStringT Name of object upf parent upfBaseNamedT Parent of object upf_file upfStringT Filename where object was created upf_ line upflntegerT Line number where object was created upf_creation_scope upfHdIScopeT The HDL scope in which the object was created The upfExtentT object that points to the first element in the upf_effective_extents upfExtentT resolved element list of correspondingUPF comimand (see 10.6.3.1 for more details) upf_supply_set_handles List ofupfSupplySetT The list of supply set handles defined on the object The list ofHDL scopes forming the upper boundary of this upfupper_boundary List ofupfHdiScopeT powerdomain Thelist ofHDL objects forming thelower boundary of this upf_lower_boundary List of upfBaseHdiT power domain List of The list oflevel-shifter strategies defined for this power upf_level_shifter_strategies upfLevelShiferStrategyT domain Listof upf_retention_strategies The list ofretention strategies definedforthis power domain upfRetentionStrategyT upf isolation_strategies List of upflsolationStrategyT The list ofisolation strategiesdefinedfor thepowerdomain upf_repeater_strategies List ofupfRepeaterStrategyT The list ofrepeater strategies defined for the power domain upf pd_states List of upfPowerStateT List of states defined on power domain List of List of power state transitionis defined by upfpdstate_transitions upfPowerStateTransitionT add_state_transitioncommand List of upfSupplySetT upf_available_supplies List of supply sets that are present in effective_available_supply_list(see6.20) List of supply sets that are present in upfboundary_supplies List ofupfSupplySetT effective_boundary_supply_list (see6.20) Dynamic property (only available during simulation) upf_curent_state upfPowerStateT The curent state ofthe object during simulation The current simstate of primary supply set of the power upf_curent_sinstate upfSimstateE domain - 3 - IEC61523-4:2023/COR1:2024 @IEC2024 11.2.2.6 Property ID Table40withthefollowingtable: Replace1 upfPropertyIdE S. no. Property name Base class hierarchy Return type Property ID 口 upf parent upfBaseNamedT upfBaseNamedT UPF_PARENT 2 upfBaseNamedT upf_name upfStringT UPF_NAME