Sciweavers

ASPDAC
2011
ACM
172views Hardware» more  ASPDAC 2011»
12 years 10 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