Processor Verification using Symbolic Execution: A RISC-V Case-Study.
Niklas BrunsVladimir HerdtRolf DrechslerPublished in: DATE (2023)
Keyphrases
- symbolic execution
- case study
- instruction set
- test generation
- test data generation
- static analysis
- source code
- specification language
- application specific
- open source
- computation intensive
- floating point
- data flow
- test cases
- computer architecture
- development process
- software development
- business process
- single chip
- high speed
- real world
- description language
- simulated annealing algorithm
- generation algorithm
- software systems
- programming language
- functional verification