Automatic Generation of Software-based Functional Failing Test for Speed Debug and On-silicon Timing Verification.
Ernesto SánchezGiovanni SquilleroAlberto Paolo TondaPublished in: MTV (2011)
Keyphrases
- high speed
- test cases
- software testing
- asynchronous circuits
- low cost
- functional verification
- test generation
- set of test cases
- computer systems
- test data generation
- model checking
- formal methods
- test suite
- software tools
- real time
- automatically generate
- software maintenance
- embedded systems
- development process
- testing process
- software systems
- source code
- neural network
- statistical tests
- software projects
- test data
- novice programmers
- verification method
- integration testing
- hardware designs
- exam preparation