Automated Verification Code Generation in HLS Using Software Execution Traces (Abstract Only).
Liwei YangSwathi T. GurumaniSuhaib A. FahmyDeming ChenKyle RupnowPublished in: FPGA (2016)
Keyphrases
- execution traces
- code generation
- automated verification
- software development
- source code
- model checking
- software reuse
- formal specification
- formal verification
- modeling language
- program comprehension
- software systems
- application development
- automated reasoning
- high level
- model driven
- code generator
- software architecture
- software maintenance
- software projects
- design patterns
- test cases
- design tools
- software engineers
- software components
- rapid prototyping
- database management systems
- open source
- software engineering
- metadata