ACL2-Based Verification of NoC Communication Infrastructures
ACL2-Based Verification of NoC Communication Infrastructures
ACL2-Based Verification of NoC Communication Infrastructures
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Introduction• <strong>Communication</strong> infrastructure: bus, Networkon Chip (<strong>NoC</strong>),…• The Network-on-Chip paradigm is emergingas a promising solution L.Benini and G.De Micheli, « Networks on Chips: A NewSoC Paradigm », Computer, 35 (1), 2002. P.Pande, G.De Micheli, C.Grecu, A.Ivanov, R.Saleh,« Design Synthesis, and Test <strong>of</strong> Networks on Chips »,Design & Test <strong>of</strong> Computers, 22 (5), 2005.5