Antoine Siriani

According to our database, Antoine Siriani authored at least 2 papers in 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Validation of asynchronous circuit specifications using IF/CADP.

Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani

Proceedings of the IFIP VLSI-SoC 2003, 2003

An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow.

Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Siriani

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003