Source Code Error Detection in High-Level Synthesis Functional Verification.
Benjamin Carrión SchäferPublished in: IEEE Trans. Very Large Scale Integr. Syst. (2016)
Keyphrases
- multi agent
- source code
- error detection
- high level synthesis
- functional verification
- error correction
- open source
- software systems
- fault tolerance
- parallel architecture
- formal verification
- software projects
- software maintenance
- design space exploration
- high level
- source files
- software evolution
- software repositories
- fault tolerant
- text files
- hardware implementation
- parallel processing
- development process
- model checking
- case study
- bug localization