Verification of the CAD System for an Application-Specific Processor by Property-Based Testing.
Daniil ProhorovAleksandr PenskoiPublished in: MECO (2020)
Keyphrases
- application specific
- instruction set
- computation intensive
- general purpose
- functional verification
- test generation
- formal verification
- high bandwidth
- symbolic execution
- model checking
- computer aided diagnosis
- computer aided
- cad cam
- high speed
- document repository
- domain knowledge
- embedded systems
- floating point
- database
- single chip