Hardware/Software Co-verification Using Path-based Symbolic Execution.
Rajdeep MukherjeeSaurabh JoshiJohn O'LearyDaniel KroeningTom MelhamPublished in: CoRR (2020)
Keyphrases
- symbolic execution
- hardware software
- test generation
- hardware and software
- static analysis
- test data generation
- embedded systems
- hw sw
- source code
- specification language
- design methodology
- data flow
- test cases
- multi core processors
- software systems
- hardware design
- low cost
- case study
- databases
- high performance computing
- programming language
- query processing
- relational databases