Did power management break my CDC logic?
An integrated approach to power domain and clock domain crossing verification
UPF and low power design
The latest UPF standards introduce successive refinement for low power design and verification. Successive refinement supports the System-on-Chip (SoC) design and verification flow by allowing the UPF file to be refined and updated as it travels from IP design to SoC design to SoC place and route. The UPF will also be refined as it is updated to support both front-end tools such as verification tools as well as back-end tools such as physical implementation tools.
The power distribution network is a physical implementation feature that is added to the design late in the project cycle. In UPF, a power network grouping option, the power supply set, allows design teams to specify power groups without the definition of the power ports, nets, and switches and their connection to the power domains. The power supply set allows designers to define and test the power distribution network earlier in the project cycle before the power distribution network has been implemented.
The UPF power distribution network is an example of the successive refinement methodology where the power network can be incrementally built over the duration of the project cycle by the different teams on design proj ects. The block and system designers can begin to verify the power management logic before the power distribution network has been implemented, then the final power management logic verification will occur later in the design flow when the physical designers add the power distribution network.
Power elements are not directly instantiated in the design, but the power element instantiation is defined in the UPF.