Functional verification of power gated designs by compositional reasoning

DOI10.1007/S10703-009-0077-XzbMath1185.68130OpenAlexW2006853699MaRDI QIDQ1039850

Karen Yorav, Amir Nahir, Cindy Eisner

Publication date: 23 November 2009

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-009-0077-x

zbMATH Keywords

equivalence checkingcompositional reasoningpower gating

Mathematics Subject Classification ID

Computer system organization (68M99)

Uses Software

• RuleBasePE

Cites Work

• Functional Verification of Power Gated Designs by Compositional Reasoning

This page was built for publication: Functional verification of power gated designs by compositional reasoning