کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
434882 1441631 2016 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis
ترجمه فارسی عنوان
الگوریتم مسیر یابی تحمل خطا برای یک شبکه بر روی تراشه با تجزیه و تحلیل رسمی مشتق شده است
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی


• Redundant fault-tolerance causes livelocks in the presence of multiple faults.
• Avoiding multiple diversions removes livelocks on the NoC architecture.
• Deadlock and livelock freedom is formally verified on the improved NoC architecture.
• Single link-fault tolerance and packet delivery are verified.

A fault-tolerant routing algorithm in Network-on-Chip (NoC) architectures provides adaptivity for on-chip communications. Adding fault-tolerance adaptivity to a routing algorithm increases its design complexity and makes it prone to deadlock and other problems if improperly implemented. Formal verification techniques are needed to check the correctness of the design. This paper describes the discovery of a potential livelock problem through formal analysis on an extension of the link-fault tolerant NoC architecture introduced by Wu et al. In the process of eliminating this problem, an improved routing architecture is derived. The improvement simplifies the routing architecture, enabling successful verification using the CADP verification toolbox. The routing algorithm is proven to have several desirable properties including deadlock and livelock freedom, and tolerance to a single-link-fault.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 118, 1 March 2016, Pages 24–39
نویسندگان
, , , , , ,