Unbounded safety verification for hardware using software analyzers.
Rajdeep MukherjeePeter SchrammelDaniel KroeningTom MelhamPublished in: DATE (2016)
Keyphrases
- hardware designs
- computer systems
- hardware design
- embedded systems
- hardware platforms
- safety analysis
- software implementation
- low cost
- software systems
- model checking
- software development
- computing platform
- high end
- commercial off the shelf
- safety critical
- computing systems
- dedicated hardware
- personal computer
- control software
- software tools
- industry standard
- computer hardware
- hardware software
- software architecture
- source code
- blue gene
- formal verification
- face verification
- hardware description language
- user interface
- real time
- operating system
- signature verification
- hardware implementation
- integrated circuit
- case study
- open source
- test cases
- hardware and software
- software maintenance
- massively parallel
- software design
- fully functional
- control unit
- field programmable gate array
- hardware architecture