A computational model for SAT-based verification of hardware-dependent low-level embedded system software.
Bernard SchmidtCarlos VillarragaJörg BormannDominik StoffelMarkus WedlerWolfgang KunzPublished in: ASP-DAC (2013)
Keyphrases
- computational model
- low level
- hardware designs
- bounded model checking
- computer systems
- hardware design
- high level
- computational models
- hardware software
- hardware platforms
- computational framework
- formal verification
- software implementation
- software development
- cognitive modeling
- visual processing
- computer hardware
- source code
- embedded systems
- blue gene
- hardware and software
- personal computer
- software systems
- control unit
- high end
- computing platform
- higher level
- language acquisition
- working memory
- computational modeling
- cognitive architecture
- model checking
- dedicated hardware
- low cost
- requirements engineering
- hardware implementation
- real time