Functional Verification of Power Gated Designs by Compositional Reasoning.

Cindy Eisner Amir Nahir Karen Yorav

Published in: CAV (2008)

Keyphrases

functional verification
formal verification
knowledge base
knowledge representation
real time
power consumption
database systems
software engineering
signal processing
data processing