Antoine Siriani

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani
Validation of asynchronous circuit specifications using IF/CADP. VLSI-SOC (2003)
Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Siriani
An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. HICSS (2003)
Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani
Validation of Asynchronous Circuit Specifications Using IF/CADP. VLSI-SoC (Selected Papers) (2003)