Functional Verification of Power Gated Designs by Compositional Reasoning

DOI10.1007/978-3-540-70545-1_42zbMath1155.68434OpenAlexW1790711334MaRDI QIDQ3512508

Amir Nahir, Cindy Eisner, 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)

Related Items (1)

Functional verification of power gated designs by compositional reasoning

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