Eradicating X-bugs and Achieving Higher Design Quality Using Static X-propagation Sign-off Author(s): Sanjay Thatte, Andrew Guyler, Nikhil Rahagude, and Savitha Raghunath Download
