Low Power Static Verification- Beyond Linting and Corruption Semantics Author(s): Kaustav Guha , Ankush Bagotra, and Neha Bajaj Location: United States Year: 2011 Type: Paper Download