Sciweavers

2638 search results - page 7 / 528
» A Framework for Automatic Debugging
Sort
View
DAC
2004
ACM
14 years 8 months ago
Automatic generation of breakpoint hardware for silicon debug
Scan-based silicon debug is a technique that can be used to help find design errors in prototype silicon more quickly. One part of this technique involves the inclusion of breakpo...
Bart Vermeulen, Mohammad Zalfany Urfianto, Sandeep...
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 6 months ago
Automatic Performance Debugging of SPMD Parallel Programs
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
Xu Liu, Lin Yuan, Jianfeng Zhan, Bibo Tu, Dan Meng
EUC
2006
Springer
13 years 11 months ago
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Ha...
ICCAD
2007
IEEE
99views Hardware» more  ICCAD 2007»
14 years 4 months ago
Automating post-silicon debugging and repair
Modern IC designs have reached unparalleled levels of complexity, resulting in more and more bugs discovered after design tape-out However, so far only very few EDA tools for post...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
FASE
2005
Springer
14 years 26 days ago
A Framework for Counterexample Generation and Exploration
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
Marsha Chechik, Arie Gurfinkel