Cindy Eisner, Amir Nahir, Karen Yorav. Functional Verification of Power Gated Designs by Compositional Reasoning. In Aarti Gupta, Sharad Malik, editors, Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Volume 5123 of Lecture Notes in Computer Science, pages 433-445, Springer, 2008. [doi]
Abstract is missing.