Low Power Static Verification- Beyond Linting and Corruption Semantics Author(s): Kaustav Guha , Ankush Bagotra, and Neha Bajaj Download
