First Page | Document Content | |
---|---|---|
Date: 2010-09-27 16:06:45Theoretical computer science Formal methods Integrated circuits Logic in computer science Computer memory Formal verification Waypoint Debugging Application-specific integrated circuit Dynamic random-access memory Error Model checking | Microsoft Word - Post-Silicon Debug__30__group__.docAdd to Reading ListSource URL: www.deshawresearch.comDownload Document from Source WebsiteFile Size: 357,20 KBShare Document on Facebook |