Automated Test Picker for Complex Microprocessor Verification Environment.
Chetas MaparaJerrin JosePublished in: MTV (2019)
Keyphrases
- complex environments
- functional verification
- mobile robot
- complex systems
- complex data
- case study
- high speed
- model checking
- changing environment
- computer assisted
- formal verification
- physical world
- environmental conditions
- semi automated
- statistical tests
- fully automated
- database
- computer aided
- dynamic environments
- object oriented
- real world