Speeding up power verification by merging equivalent power domains in RTL design with UPF.

Charles Chia-Hao Hsu Charles H.-P. Wen

Published in: ITC-Asia (2017)

Keyphrases

power consumption
functional verification
power transmission
electrical power
real time
real world
information retrieval
search engine
social networks
image segmentation
evolutionary algorithm
computer aided
low power
optimal design
formal methods
power management