Functional verification of power gated designs by compositional reasoning.

Cindy Eisner Amir Nahir Karen Yorav

Published in: Formal Methods Syst. Des. (2009)

Keyphrases

functional verification
formal verification
knowledge base
real time
image processing
knowledge representation