Common Power Format Language Reference -- A. Quick Reference

Common Power Format Language Reference, Version 2.0

A

Quick Reference

assert_illegal_domain_configurations -name mode { -domain_conditions domain_condition_list | -group_modes group_modes_list
| -domain_conditions domain_condition_list -group_modes group_mode_list }

create_analysis_view -name string -mode mode { -domain_corners domain_corner_list | -group_views group_view_list | -domain_corners domain_corner_list -group_views group_view_list}
[ -user_attributes string_list] [-default]

create_assertion_control -name string { -assertions assertion_list | -domains power_domain_list} [ -exclude assertion_list] [ -shutoff_condition expression]
[ -type {reset | suspend} ]

create_bias_net -net net [-driver pin] [-user_attributes string_list] [-peak_ir_drop_limit float]
[-average_ir_drop_limit float]

create_global_connection -net net { -pins pin_list | -ports port_list | -pg_type pg_type_string }
[-domain power_domain | -instances instance_list]

create_ground_nets -nets net_list [-voltage {float | voltage_range}] [-external_shutoff_condition expression | -internal] [-user_attributes string_list] [-peak_ir_drop_limit float]
[-average_ir_drop_limit float]

create_isolation_rule -name string [-isolation_condition expression | -no_condition] { -force -pins pin_list | -from power_domain_list | -to power_domain_list | -from power_domain_list -to power_domain_list } [-pins pin_list] [-exclude pin_list] [-isolation_target {from|to}] [-isolation_output { low | high | hold | tristate |clamp_high | clamp_low} [-isolation_control list_of_additional_controls]
[-secondary_domain power_domain]

create_level_shifter_rule -name string { -force -pins pin_list | -from power_domain_list | -to power_domain_list | -from power_domain_list -to power_domain_list } [-pins pin_list] [-exclude pin_list] [-bypass_condition expression]
[-output_domain power_domain] [-input_domain power_domain]

create_mode -name string -condition expression
[-probability float] [-illegal]

create_mode_transition -name string -from power_mode -to power_mode [-assertions assertion_list] { -start_condition expression [-end_condition expression]   [ -cycles [integer:]integer -clock_pin clock_pin   | -latency [float:]float ]
| -illegal }

create_nominal_condition -name string -voltage {voltage | voltage_list} [-ground_voltage {voltage | voltage_list}] [-state {on | off | standby}] [-pmos_bias_voltage {voltage | voltage_list}] [-nmos_bias_voltage {voltage | voltage_list}] [-deep_pwell_voltage {voltage | voltage_list}]
[-deep_nwell_voltage {voltage | voltage_list}]

create_operating_corner -name corner -voltage float [-ground_voltage float] [-pmos_bias_voltage float] [-nmos_bias_voltage float] [-process float] [-temperature float]
-library_set library_set_list [-power_library_set library_set_list]

create_pad_rule -name string {-of_bond_ports port_list | -instances instance_list}
-mapping {mapping_list}

create_power_domain -name power_domain [-instances instance_list] [-exclude_instances instance_list] [-boundary_ports pin_list [-exclude_ports pin_list]] [-default] [-shutoff_condition expression [-external_controlled_shutoff]] [-default_isolation_condition expression ] [-default_restore_edge expr | -default_save_edge expr |-default_restore_edge expr -default_save_edge expr |-default_restore_level expr -default_save_level expr ] [-power_up_states {random|high|low|inverted} ] [-power_down_states {low|high|random|inverted}] [-active_state_conditions active_state_condition_list ]
[-base_domains domain_list] [-power_source]

create_power_mode -name string [-default] {-domain_conditions domain_condition_list |-group_modes group_mode_list |-domain_conditions domain_condition_list -group_modes group_mode_list }
[-condition expression]

create_power_nets -nets net_list [-voltage {float | voltage_range}] [-external_shutoff_condition expression | -internal] [-user_attributes string_list] [-peak_ir_drop_limit float]
[-average_ir_drop_limit float]

create_power_switch_rule -name string -domain power_domain
{-external_power_net net | -external_ground_net net}

create_state_retention_rule -name string {-domain power_domain | -instances instance_list} [-exclude instance_list] [-required] [ -restore_edge expr | -save_edge expr |-restore_edge expr -save_edge expr |-restore_level expr -save_level expr] [-restore_precondition expr] [-save_precondition expr] [-retention_precondition expr] [-target_type {flop|latch|both}]
[-secondary_domain domain] [-use_secondary_for_output]

define_always_on_cell -cells cell_list [-library_set library_set] [ {-power_switchable LEF_power_pin   |-ground_switchable LEF_ground_pin   |-power_switchable LEF_power_pin -ground_switchable LEF_ground_pin}
  -power LEF_power_pin -ground LEF_ground_pin ]

define_global_cell -cells cells [-library_set library_set] [-global_power pin ] [-global_ground pin ] [-local_power pin] [-local_ground pin] [-power_off_function {pullup | pulldown | hold }]
[-isolated_pins list_of_pin_lists [-enable expression_list ] ]

define_isolation_cell -cells cell_list [-library_set library_set] [-always_on_pins pin_list] [-aux_enables pin_list] [-power_switchable LEF_power_pin] [-ground_switchable LEF_ground_pin] [-power LEF_power_pin] [-ground LEF_ground_pin] [-valid_location {from | to | on | off | any}] { -enable pin [-clamp {high|low}] | -pin_groups group_list | -no_enable {high|low|hold} }
[-non_dedicated]

define_level_shifter_cell -cells cell_list [-library_set library_set] [-always_on_pins pin_list] { -input_voltage_range {voltage_list | voltage_range_list}   -output_voltage_range {voltage_list | voltage_range_list} | -ground_input_voltage_range {voltage_list | voltage_range_lsit}   -ground_output_voltage_range {voltage_list | voltage_range_list} | -input_voltage_range {voltage_list | voltage_range_list}   -output_voltage_range {voltage_list | voltage_range_list}   -ground_input_voltage_range {voltage_list | voltage_range_list}   -ground_output_voltage_range {voltage_list | voltage_range_list} } [-direction {up|down|bidir}] [-input_power_pin LEF_power_pin] [-output_power_pin LEF_power_pin] [-input_ground_pin LEF_ground_pin] [-output_ground_pin LEF_ground_pin] [-ground LEF_ground_pin] [-power LEF_power_pin] [-enable pin | -pin_groups { {input_pin output_pin [enable_pin] }... }] [-valid_location {to | from | either | any}]
[-bypass_enable expression] [-multi_stage integer]

define_library_set -name library_set -libraries list
[-user_attributes string_list]

define_open_source_input_pin -cells cell_list -pin pin [-library_set library_set]
[-type {nmos|pmos|both}]

define_pad_cell -cells cell_list -pad_pins pin_list [-isolated_pins list_of_pin_lists [-enable expression_list]]
[-pin_groups pin_group_list] [-analog_pins pin_list]

define_power_clamp_cell -cells cell_list -data pin -power pin [-ground pin_name]
[-library_set library_set]

define_power_clamp_pins -cells cell_list -data_pins pin_list { [-type power] -power pin [-ground pin] | -type ground -ground pin [-power pin] | -type both -power pin -ground pin}
[-library_set library_set]

define_power_switch_cell -cells cell_list [-library_set library_set] -stage_1_enable expression [-stage_1_output expression] [-stage_2_enable expression [-stage_2_output expression]] -type {footer|header} [ -enable_pin_bias [float:]float] [ -gate_bias_pin LEF_power_pin] [ -power_switchable LEF_power_pin -power LEF_power_pin | -ground_switchable LEF_ground_pin -ground LEF_ground_pin ] [ -stage_1_on_resistance float [-stage_2_on_resistance float]] [ -stage_1_saturation_current float] [ -stage_2_saturation_current float]
[ -leakage_current float ]

define_related_power_pins -data_pins pin_list -cells cell_list [-library_set library_set ] {-power LEF_power_pin | -ground LEF_ground_pin
| -power LEF_power_pin -ground LEF_ground_pin }

define_state_retention_cell -cells cell_list [-library_set library_set] [-cell_type string] [-always_on_pins pin_list] [-clock_pin pin] {-restore_function expression | -save_function expression |-restore_function expression -save_function expression} [-restore_check expression] [-save_check expression] [-retention_check expression] [-always_on_components component_list] [ {-power_switchable LEF_power_pin   |-ground_switchable LEF_ground_pin   |-power_switchable LEF_power_pin -ground_switchable LEF_ground_pin}
  -power LEF_power_pin -ground LEF_ground_pin ]

end_design
[power_design_name]

end_macro_model
[macro_mode_name]

end_power_mode_control_group

find_design_objects pattern [-pattern_type {name | cell | module}] [-scope hierchical_instance_list] [-object {inst | port | pin | net}] [-direction {in | out | inout}] [-leaf_only | -non_leaf_only ]
[-hierarchical] [-exact | -regexp] [-ignore_case]

get_parameter parameter_name

identify_always_on_driver
-pins pin_list [-no_propagation]

identify_power_logic -type isolation
{-instances instance_list | -module name}

identify_secondary_domain -secondary_domain domain {-instances instance_list | -cells cell_list }
[ -domain power_domain [-from power_domain | -to power_domain]]

include file

set_analog_ports port_list
[-user_attributes string_list]

set_array_naming_style
[string]

set_cpf_version
[value]

set_design power_design [-modules module_list] [-ports port_list] [-input_ports port_list] [-output_ports port_list] [-inout_ports port_list] [-honor_boundary_port_domain] [-parameters parameter_value_list]
[-testbench] ...

set_diode_ports {-positive pos_port_list -negative neg_port_list
|-positive pos_port_list | -negative neg_port_list}

set_equivalent_control_pins -master pin -pins pin_expression_list
{ -domain domain| -rules rule_list }

set_floating_ports port_list

set_hierarchy_separator
[character]

set_input_voltage_tolerance { -power lower[:upper] | -ground [lower:]upper | -power lower[:upper] -ground [lower:]upper }
[-domain power_domain] [-pins pin_list]

set_instance [ instance   [-design power_design | -model macro_model]   [-port_mapping port_mapping_list]   [-domain_mapping domain_mapping_list]
  [-parameter_mapping parameter_mapping_list] ]

set_macro_model macro_model_name [-cells -cell_list]

set_pad_ports pin_list

set_power_mode_control_group -name group { -domains domain_list | -groups group_list
| -domains domain_list -groups group_list}

set_power_source_reference_pin pin
-domain power_domain -voltage_range min:max

set_power_target { -leakage float | -dynamic float
| -leakage float -dynamic float}

set_power_unit
[pW|nW|uW|mW|W]

set_register_naming_style
[string%s]

set_sim_control [-targets target_list [-exclude target_list]] {-action power_up_replay [-controlling_domain domain ] |-action disable_corruption -type { real | wreal | integer | reg | module |    instance} |-action {disable_isolation | disable_retention} } [-domains domain_list | -instances instance_list]
[-modules module_list | -lib_cells lib_cell_list]

set_switching_activity {-all | -pins pin_list | -instances instance_list [-hierarchical]} { -probability float -toggle_rate float | [-clock_pins pin_list] -toggle_percentage float }
[-mode mode]

set_time_unit
[ns|us|ms]

set_wire_feedthrough_ports port_list

update_design
-name power_design_name

update_isolation_rules -names rule_list { -location {from | to | parent | any} | -within_hierarchy instance | -cells cell_list [-use_model -pin_mapping pin_mapping_list [-domain_mapping domain_mapping_list] ] | -prefix string | -suffix string
| -open_source_pins_only}...

update_level_shifter_rules -names rule_list { -location {from | to | parent | any} | -through power_domain_list | -within_hierarchy instance | -cells {cell_list | list_of_cell_lists} | -prefix string
| -suffix string}...

update_nominal_condition -name condition
-library_set library_set [-power_library_set library_set]

update_power_domain -name domain [-instances instance_list ] [-boundary_ports port_list ] { -primary_power_net net | -primary_ground_net net | -equivalent_power_nets power_net_list | -equivalent_ground_nets ground_net_list | -pmos_bias_net net | -nmos_bias_net net | -deep_nwell_net net | -deep_pwell_net net | -user_attributes string_list | -transition_slope [float:]float | | -transition_latency {from_nom latency_list}
| -transition_cycles {from_nom cycle_list clock_pin} } ...

update_power_mode -name mode { -activity_file file -activity_file_weight weight | { -sdc_files sdc_file_list   | -setup_sdc_files sdc_file_list   | -hold_sdc_files sdc_file_list   | -setup_sdc_files sdc_file_list -hold_sdc_files sdc_file_list} | -peak_ir_drop_limit domain_voltage_list | -average_ir_drop_limit domain_voltage_list | -leakage_power_limit float
| -dynamic_power_limit float}...

update_power_switch_rule -name string { -enable_condition_1 expression [-enable_condition_2 expression] | -acknowledge_receiver_1 expression [-acknowledge_receiver_2 expression] | -cells cell_list | -gate_bias_net power_net | -prefix string | -peak_ir_drop_limit float
| -average_ir_drop_limit float }...

update_state_retention_rules -names rule_list { -cell_type string | -cells cell_list [-use_model -pin_mapping pin_mapping_list [-domain_mapping domain_mapping_list]]
| -set_reset_control} ...

Return to top of page