Login / Signup

A formally verified deadlock-free routing function in a fault-tolerant NoC architecture.

Abdulaziz AlhussienNader BagherzadehFreek VerbeekBernard van GastelJulien Schmaltz
Published in: SBCCI (2012)
Keyphrases