Sciweavers

ASPDAC
2011
ACM
172views Hardware» more  ASPDAC 2011»
13 years 3 months ago
Managing complexity in design debugging with sequential abstraction and refinement
al Abstraction and Refinement Brian Keng and Andreas Veneris University of Toronto ASPASP--DAC 2011DAC 2011
Brian Keng, Andreas G. Veneris