Effective simulation and debugging for a high-level hardware language using software compilers.
Clément Pit-ClaudelThomas BourgeatStella Lau ArvindAdam ChlipalaPublished in: ASPLOS (2021)
Keyphrases
- programming language
- high level
- computer systems
- hardware and software
- hardware software
- hardware designs
- low cost
- hardware design
- simulation software
- real time
- object oriented
- programming environment
- massively parallel
- modeling language
- computing systems
- low level
- general purpose
- source code
- natural language
- embedded systems
- computer architecture
- blue gene
- computer hardware
- user interface
- hardware implementation
- software testing
- data processing
- software systems
- high end
- simulation model
- model based diagnosis
- highly efficient
- software components