Functional Coverage Driven Test Generation for Validation of Pipelined Processors
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Practical methods in coverage-oriented verification of the merom microprocessor
Proceedings of the 43rd annual Design Automation Conference
Efficient techniques for automatic verification-oriented test set optimization
International Journal of Parallel Programming
Conservative aspect-orientated programming with the e language
Proceedings of the 6th international conference on Aspect-oriented software development
Design fault directed test generation for microprocessor validation
Proceedings of the conference on Design, automation and test in Europe
Functional verification of sicortex multiprocessor: system-on-a-chip
Proceedings of the 44th annual Design Automation Conference
Active sampling for multiple output identification
Machine Learning
Specification-driven directed test generation for validation of pipelined processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Automatic Boosting of Cross-Product Coverage Using Bayesian Networks
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Evaluating Workloads Using Comparative Functional Coverage
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Automatic detection of software defects: an industrial experience
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Applied Assertion-Based Verification: An Industry Perspective
Foundations and Trends in Electronic Design Automation
Using virtual coverage to hit hard-to-reach events
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Journal of Electronic Testing: Theory and Applications
Evaluating workloads using multi-comparative functional coverage
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Reaching coverage closure in post-silicon validation
HVC'10 Proceedings of the 6th international conference on Hardware and software: verification and testing
Feedback-based coverage directed test generation: an industrial evaluation
HVC'10 Proceedings of the 6th international conference on Hardware and software: verification and testing
XCS cannot learn all boolean functions
Proceedings of the 13th annual conference on Genetic and evolutionary computation
A probabilistic analysis of coverage methods
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Proceedings of the 48th 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)
Active sampling for multiple output identification
COLT'06 Proceedings of the 19th annual conference on Learning Theory
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
A testbench specification language for SystemC verification
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Cohesive Coverage Management: Simulation Meets Formal Methods
Journal of Electronic Testing: Theory and Applications
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Manipulation of Training Sets for Improving Data Mining Coverage-Driven Verification
Journal of Electronic Testing: Theory and Applications
A fuzzy real-time temporal logic
International Journal of Approximate Reasoning
Hi-index | 0.01 |
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure. Functional Verification Coverage Measurement and Analysis is the first book to introduce a useful taxonomy for coverage metric classification. Using this taxonomy, the reader clearly understands the process of creating an effective coverage model. A must read! Harry Foster, Jasper Design Automation, Co-Author of Assertion-Based Design Andrew's book is the most thoughtful and comprehensive treatment of coverage I have seen. I recommend reading (and re-reading) this book to anybody who is really serious about functional verification. Yoav Hollander, CTO, Verisity Design In the last few years, coverage has become a must in hardware verification and in software testing. From having to push people to use coverage, the situation changed to great interest... Andrew's excellent and comprehensive book on coverage, the first of its kind, could not have come at a better time. Shmuel Ur, Research Scientist, IBM