Home

Welcome to EHA Project Wiki, This project contains the following parts:

• NoC Routers:
  • Handshaking Router
    • Checker Extraction Method: The main Idea here is to go into details of the architecture and extract relevant checkers. To do so, we need a systematic approach for checker selection. One way to do that is to extract the flow chart of the system and check all the paths and also extract higher level information about these parts. This approach is rather expensive since we are checking every property of the circuit at the lowest level.
      • LBDR Checker Extraction
      • FIFO Checker Extraction
      • Arbiter Checker Extraction
      • Checkers supplementary results
    • Data-Path error detection/correction mechanisms
    • Synthesis reports
  • Credit-based router
    • FIFO
    • FIFO (with packet dropping)
    • LBDR
    • Allocator (for arbitration)
• Light-Weight (LW) Network
• Network Interface (NI)