An Assembler Driven Verification Methodology (ADVM)
Proceedings of the conference on Design, Automation and Test in Europe - Volume 3
CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
FSM-based transaction-level functional coverage for interface compliance verification
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Simulation-based bug trace minimization with BMC-based refinement
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Distance-guided hybrid verification with GUIDO
Proceedings of the conference on Design, automation and test in Europe: Proceedings
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Functional verification of an MPEG-4 decoder design using a random constrained movie generator
Proceedings of the 20th annual conference on Integrated circuits and systems design
EURASIP Journal on Embedded Systems
Proceedings of the 18th ACM Great Lakes symposium on VLSI
Journal of Signal Processing Systems
Towards Automating Simulation-Based Design Verification Using ILP
Inductive Logic Programming
Diagnosis and repair method of SoC memory
WSEAS Transactions on Circuits and Systems
Algebra-logical diagnosis model for SoC F-IP
WSEAS Transactions on Circuits and Systems
Optimal embedded repairing of SOC memory
ICC'08 Proceedings of the 12th WSEAS international conference on Circuits
Embedded SOC F-IP diagnosis by using algebraic logical method
ICC'08 Proceedings of the 12th WSEAS international conference on Circuits
A PD-based methodology to enhance efficiency in testbenches with random stimulation
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
The day Sherlock Holmes decided to do EDA
Proceedings of the 46th Annual Design Automation Conference
Debugging strategies for mere mortals
Proceedings of the 46th Annual Design Automation Conference
Design and implementation of a 2.62 uW low-power baseband processor for passive UHF RFID tags
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
Post-silicon is too late avoiding the $50 million paperweight starts with validated designs
Proceedings of the 47th Design Automation Conference
Managing complexity in design debugging with sequential abstraction and refinement
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Functional Verification of DMA Controllers
Journal of Electronic Testing: Theory and Applications
Journal of Electronic Testing: Theory and Applications
Coverage-Directed Test Generation Automated by Machine Learning -- A Review
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
Developing test systems for multi-modules hardware designs
Programming and Computing Software
Model-driven automation for simulation-based functional verification
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
An aspect-oriented, model-driven approach to functional hardware verification
Journal of Systems Architecture: the EUROMICRO Journal
The system verification methodology for advanced TLM verification
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Manipulation of Training Sets for Improving Data Mining Coverage-Driven Verification
Journal of Electronic Testing: Theory and Applications
| Hi-index | 0.00 |