[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - Fixing Design Errors with Counterexamples and Resynthesis
Chang, Kai-Hui, Markov, Igor L., Bertacco, ValeriaYear:
2007
Language:
english
DOI:
10.1109/aspdac.2007.358111
File:
PDF, 295 KB
english, 2007