]. J. Markoff-]-r and . Dubey, Circuit Flaw Causes Pentium to Miscalculate: Intel AdmitsElements of Verification, SOC Central: White paper, Mars 25, 1994.

J. Schmaltz, Une formalisation fonctionnelle des communications sur la puce, thèse de Doctorat de l'Université Joseph Fourier, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00011526

D. Borrione, A. Helmy, L. Pierre, M. Kaufmann, P. Manolios et al., Computer Aided Reasoning: an ApproachA Mechanically Checked Proof of the Correctness of the Kernel of the AMD5K86 Floating-Point Division Algorithm Computer Aided Reasoning: ACL2 Case Studies, ACL2-based Verification of the Communications in the Hermes Network on Chip Proc. SMACD'06 Proc. FMCAD'96 Septembre10] Radu Marculescu: "Energy, Fault-Tolerance, and Scalability Issues in Designing Network-on-Chip", tutorial at ASP-DAC'04, 1996.

M. Schäfer, T. Hollstein, H. Zimmer, and M. Glesner, Deadlock-free routing and Component placement for irregular mesh-based networks-on-chipDesign, Synthesis, and Test of Networks on Chips, Proc. ICCAD 2005, 2005.

A. Jalabert, S. Murali, L. Benini, and G. D. Micheli, xpipesCompiler: A Tool for Instantiating Application-Specific Networks on Chip, Proc DATE'04, 2004.
DOI : 10.1007/978-1-4020-6488-3_12

F. Moraes, N. Calazans, A. Mello, L. Möller, and L. Ost, HERMES: an infrastructure for low area overhead packet-switching networks on chip, Integration, the VLSI Journal, vol.38, issue.1, 2004.
DOI : 10.1016/j.vlsi.2004.03.003

W. J. Dally and B. Towles, Principles and practices of interconnection networks, 2004.

J. Schmaltz, D. Borrione, J. Moore, ]. P. Curzon, R. Bharadwaj et al., Symbolic Simulation: An ACL2 ApproachExperiences Formally verifying a network component Formalizing inductive proofs of network algorithms Deadlock Prevention in the AEthereal Protocol Formal verification of arbitrary network topologies, Proc. TPHOL'2005. [18] Proc. FMCAD'98 Proc. 9 th annual IEEE Conference on Computer Assurance. IEEE press Proc. 1995 Asian Computing Science Conference Proc. CHARME'05, Octobre 2005. [22] Verifying parameterized networks Proc. PDPTA'99, 1994.