Verifying the Power Network Definition : check_mv_design

•  To verify the power network definition for a multivoltage design, run the check_mv_design command. 
• This command checks for various types of violations such as inconsistent and conflicting library settings, missing isolation cells, and incorrect voltage shifting across power domains. •
• To check the power and ground connections, use the -power_connectivity option.
•  When you use this option, the tool checks the power and ground connections in addition to the power network definition, and updates the connections if it finds any issues. By default, it does not check the power and ground connections. 
• To specify the maximum number of messages for each violation type, use the -max_message_count option. By default, it reports a only 20 occurrences of a given violation type

# Procedure in ICC Apply the UPF

 load_upf $upf_input_file_name

## Common command used in UPF 

• create_supply_port
• create_supply_net
• create_power_switch
• connect_supply_net
• create_power_domain
• set_isolation
• set_level_shifter
• set_retention
• add_port_state create_pst add_ast_state .. et

 commit_upf … … 

# create logical supply nets set_app_options -as_user_default \ -list {mv.pg.create_floating_pg true} connect_pg_net –automatic 

check_mv_design