presented at event 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) Conference
keywords Computer Science Computer Science, Hardware & Architecture Computer Science, Software Engineering FAULT SAT Science & Technology TRACE-SIGNAL SELECTION Technology