Automatic generation of hardware checkers from formal micro-architectural specifications.
Alexander FedotovJulien SchmaltzPublished in: DATE (2018)
Keyphrases
- formal specification
- formal language
- reactive systems
- commercial off the shelf
- hardware and software
- operational semantics
- low cost
- requirements specification
- automatically generate
- real time
- formal descriptions
- high level
- embedded systems
- hardware implementation
- delay insensitive
- software architecture
- massively parallel
- vlsi implementation
- controlled natural language
- high speed
- specification language
- architectural design
- single chip
- hardware architecture
- parallel hardware
- game playing
- formal semantics
- computing systems
- software components
- data acquisition
- distributed systems
- general purpose
- image processing