Functional Verification of Power Gated Designs by Compositional Reasoning

DOI10.1007/978-3-540-70545-1_42MaRDI QIDQ3512508zbMATH OpenOpenAlexFDO

Authors Cindy Eisner, Amir Nahir, Karen Yorav

Publication date 15 July 2008

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70545-1_42

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Functional verification of power gated designs by compositional reasoning
• Equivalence checking of digital circuits in an industrial environment
• scientific article; zbMATH DE number 2111140
• Equivalence checking using structural methods
• A methodology for hardware verification using compositional model checking

Cited in

(3)

• Functional verification of power gated designs by compositional reasoning
• A backtracing-oriented procedure for the analysis of combinational gate-level designs
• An innovative power-gating technique for leakage and ground bounce control in system-on-a-chip (SOC)

This page was built for publication: Functional Verification of Power Gated Designs by Compositional Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3512508)