Stem upf$ (all stems)
2 papers:
DATE-2011-PangrleBCDJ #design #power management #verification- Beyond UPF & CPF: Low-power design and verification (BMP, JB, CC, OD, KMJ), p. 252.
DAC-2010-HazraMDPBG #architecture #modelling #verification- Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent (AH, SM, PD, AP, DB, KG), pp. 773–776.