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.
Other Case Studies• Spidergon (STMicroelectronics): Shortest-path routing (maximumnumber <strong>of</strong> hops = N/4) Packet switching• Nostrum (KTH Stockholm, Sweden): 2D mesh Deflective routing + load averaging Packet switching23