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
Format:
pdf