Validation of Asynchronous Circuit Specifications Using IF/CADP
D. Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani · Kluwer Academic Publishers eBooks · 2006
This work addresses the analysis and validation of modular CHP specifications for asynchronous circuits, using formalisms and tools coming from the field of distributed software. CHP specifications are translated into an intermediate format (IF) based on communicating extended finite state machines. They are then validated using the IF environment, which provides model checking and bi-simulation tools.