An equivalence checker for hardware-dependent embedded system software.
Carlos VillarragaBernard SchmidtJörg BormannChristian BartschDominik StoffelWolfgang KunzPublished in: MEMOCODE (2013)
Keyphrases
- hardware design
- computer systems
- embedded systems
- hardware platforms
- control software
- software design
- software tools
- personal computer
- hardware software
- software development
- hardware designs
- low cost
- software components
- commercial off the shelf
- software systems
- blue gene
- source code
- software implementation
- high end
- case study
- hardware implementation
- computer hardware
- software package
- computing systems
- real time
- hardware and software
- software projects
- software architecture
- computing power
- industry standard
- dedicated hardware
- image processing
- data sets