On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP.
Hubert GaravelGwen SalaünWendelin SerwePublished in: Sci. Comput. Program. (2009)
Keyphrases
- asynchronous circuits
- process algebra
- low cost
- model checking
- delay insensitive
- communication channels
- concurrent systems
- hardware and software
- process model
- logic programming
- real time
- semantic information
- machine translation
- embedded systems
- computing systems
- formal semantics
- default theories
- transformation rules
- dynamic aspects