Using the IEEE 1801 Standard in Mixed-Signal Designs

The Xcelium simulator supports the following versions of the IEEE 1801 standard in a mixed-signal context:

UPF 2.0 = IEEE 1801-2009
UPF 2.1 = IEEE 1801-2013
UPF 3.0 = IEEE 1801-2015
UPF 3.1 = IEEE 1801-2018

The Xcelium simulator with the mixed-signal option supports the Unified Power Format (UPF) commands listed in the following table. You must use the IEEE 1801 power intent to specify these commands. This implements power-saving techniques early on in the design process and can help to deliver an end-to-end low-power design solution. For more detailed information about these commands, see the Low-Power Simulation Guide (IEEE 1801).

You can enable the IEEE 1801 flow using -lps_1801 <file>.upf on the xrun or xmelab command line.

UPF Commands	Description
`add_port_state`	Specifies a state for a UPF supply port. Once specified, this state can then be used in an `add_pst_state -state` expression to build a power state table.
`add_pst_state`	Specifies a power state for each supply net defined in the power state table (PST). The total number of supply net states must equal the total number of supply nets listed for the corresponding `create_pst` command. If the number of states and nets differs, then the simulator generates an error.
`add_power_state`	Explicitly specifies one or more power states for a supply set, power domain, composite domain, group, or instance. A power state can include either a supply expression, logic expression, and/or a simstate definition. By default, any state specified using this command is legal.
`associate_supply_set`	Specifies to associate two or more supply sets. By default, Xcelium supports associating supply sets using IEEE 1801-2015 syntax and semantics. This command does not change the power state defined for each supply set.
`connect_logic_net`	Connects a logic net to specified ports. The net is propagated through implicitly created ports and nets throughout the logic hierarchy in the descendant tree of the active scope as required.
`connect_supply_net`	Connects a supply net to one or more ports.
`connect_supply_set`	Connects a supply set to one or more design elements.
`create_logic_net`	Defines a logic net in the active scope, where the net name is a simple (non-hierarchical) name.
`create_logic_port`	Defines a logic port in the active scope, where the port name is a simple (non-hierarchical) port. Xcelium supports both implicit and explicit logic port connections.
`create_pst`	Defines a name for the power state table (PST) and specifies a list of one or more UPF supply nets. You can use the `add_pst_state` command to specify a state for each supply net in an 1801 design.
`create_power_domain`	Creates a power domain. In UPF 1.0, this command specifies only the instances that comprise the domain.
`create_power_switch`	Defines a power switch. This command defines an instance of a power switch in the active scope or in the scope of the power domain specified with the `-domain` option.
`create_supply_net`	Defines a supply net in the active scope or in the scope of the specified domain.
`create_supply_port`	Defines a supply port in the active scope or in the scope of a specified domain.
`create_supply_set`	Creates or updates a supply set in the active scope. A supply set with no explicit functions specified is supported by Xcelium as an implicit handle.
`find_objects`	Creates queries in the specified scope to search for and return 1801 design elements, nets, or ports that you want to use as arguments to other 1801 commands.
`load_upf`	Executes the commands in the specified 1801 file.
`set_design_top`	Specifies the association between the 1801 file and the design top module.
`set_domain_supply_net`	Specifies the primary power net and the primary ground net for a power domain. Every power domain must have these supply nets defined.
`set_isolation`	Specifies a power domain (with the `-domain` option) and the ports on the power domain to isolate using the specified strategy. If an SV-UDN net is used in the isolation rule with the `-no_isolation` option, the tool disables the WUDNPFS error and proceeds with processing.
`set_isolation_control`	In the 1801-2013 specification, the `set_isolation_control` command was deprecated. With Xcelium, if the `set_isolation_control` command is specified, the tool produces a LGCYWRN warning and all values are passed internally to the `set_isolation` command.
`set_port_attributes`	Specifies characteristics (or attributes) to describe ports on a power domain interface. These attributes define a port’s isolation, and power and ground requirements. If `set_port_attributes` command is specified in a design where the top-level port is struct-based SV-UDN, the tool ignores the command and continues processing. See `set_port_attributes` in the Low-Power Simulation Guide (IEEE 1801).
`set_scope`	Changes the current scope within an 1801 power intent file.
`set_retention`	specifying the supply sets or nets used to power the logic defined by the corresponding retention strategy.
`set_retention_control`	Specifies a power domain (with the `-domain` option), the objects in the domain that need to be retention registers, and the save and restore signals and conditions for the retention functionality.
`set_related_supply_net`	Specifies default power and ground supplies on design objects. It is a an extension to the UPF 1.0 specification.
`set_simstate_behavior`	Specifies the simulation simstate behavior for a model or an instance.
`supply_on`	Changes the power state of the specified supply port or supply net to ON and updates the voltage of the supply.

Using the IEEE 1801 Standard in Mixed-Signal Designs

Related Topics