Kami: a platform for high-level parametric hardware specification and its modular verification.
Joonwon ChoiMuralidaran VijayaraghavanBenjamin ShermanAdam Chlipala ArvindPublished in: Proc. ACM Program. Lang. (2017)
Keyphrases
- high level
- low level
- real time
- formal verification
- low cost
- computing platform
- hardware designs
- asynchronous circuits
- hardware and software
- model checking
- formal methods
- central processor
- higher level
- conceptual model
- hardware implementation
- low level features
- formal specification
- image processing
- high level programming
- control program
- computing systems
- real time embedded
- hardware architecture
- parallel architecture
- data acquisition
- programming language
- information systems
- computing power
- specification language
- knowledge level
- parametric models
- personal computer
- vlsi implementation
- cloud computing
- concurrent systems
- computer systems
- protocol specification
- wireless sensor networks