High-level test synthesis: a survey
From MaRDI portal
Recommendations
- An approach to test synthesis from higher level
- scientific article; zbMATH DE number 1015110
- High-level synthesis techniques for functional test pattern execution
- scientific article; zbMATH DE number 994147
- System-level validation. High-level modeling and directed test generation techniques.
- scientific article; zbMATH DE number 2079824
- High Quality Test Pattern Generation and Boolean Satisfiability
Cited in
(14)- Why RTL ATPG?
- A methodology to take credit for high-level verification during RTL verification
- scientific article; zbMATH DE number 1703873 (Why is no real title available?)
- High Quality Test Pattern Generation and Boolean Satisfiability
- scientific article; zbMATH DE number 994147 (Why is no real title available?)
- Survey of software design for testability
- Test generation and coverage metrics
- An approach to test synthesis from higher level
- High-level synthesis techniques for functional test pattern execution
- scientific article; zbMATH DE number 555222 (Why is no real title available?)
- scientific article; zbMATH DE number 1015110 (Why is no real title available?)
- Test generation with dynamic probe points in high observability testing environment
- Development of tests for VLSI circuit testability at the upper design levels
- High level synthesis for loop-based BIST
This page was built for publication: High-level test synthesis: a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4225365)
