Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Sirianni. An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. In HICSS. pages 279, 2003. [doi]
Abstract is missing.