Sciweavers

99
Voted
ASPDAC
2011
ACM
172views Hardware» more  ASPDAC 2011»
14 years 1 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