A methodology for analysis and verification of power gated circuits with correlated results.

Aveek Sarkar Shen Lin Kai Wang

Published in: ISLPED (2007)

Keyphrases

data sets
neural network
information systems
real world
knowledge base
multiscale
low cost
high speed
highly correlated
formal analysis
analysis tool