Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin

被引：9
作者：
Ben Slimane, Maroua [1 ]
Ben Hafaiedh, Imene [2 ]
Robbana, Riadh [3 ]
机构：
[1] Univ Carthage, Tunisia Polytech Sch, Tunis, Tunisia
[2] Univ Tunis El Manar, ISI, Tunis, Tunisia
[3] Univ Carthage, INSAT, Tunis, Tunisia
来源：
IEEE DESIGN & TEST | 2017年 / 34卷 / 05期
关键词：
Formal Verification; Model-checking; Round-Robin; SoC bus protocols; TDMA;
D O I：
10.1109/MDAT.2017.2713352
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Editor's note: The article showcases formal modeling and verification of two SoC arbitration protocols.-Wen Chen, NXP. © 2013 IEEE.
引用
收藏
页码：54 / 62
页数：9
相关论文
共 12 条
  • [1] Basu A, 2006, I C SOFTW ENG FORM M, P3
  • [2] COMPOSITIONAL VERIFICATION FOR TIMED SYSTEMS BASED ON AUTOMATIC INVARIANT GENERATION
    Ben Rayana, Souha
    Astefanoaei, Lacramioara
    Bensalem, Saddek
    Bozga, Marius
    Combaz, Jacques
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (03)
  • [3] RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems
    Ben-Rayana, Souha
    Bozga, Marius
    Bensalem, Saddek
    Combaz, Jacques
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 394 - 406
  • [4] The algebra of connectors - Structuring interaction in BIP
    Bliudze, Simon
    Sifakis, Joseph
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2008, 57 (10) : 1315 - 1330
  • [5] Curzon P., 1994, P 13 ANN ACM S PRINC
  • [6] Ge J., 2006, P INT C COMP DES C C, P24
  • [7] Jou JM, 2010, J INF SCI ENG, V26, P2047
  • [8] Lnn P. P. Henrik, P PAC RIM INT S FAUL, P235
  • [9] Lonn H, 1996, PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS - PROCEEDINGS OF THE ISCA 9TH INTERNATIONAL CONFERENCE, VOLS I AND II, P405
  • [10] Index-based Round-Robin Arbiter for NoC Routers
    Oveis-Gharan, Masoud
    Khan, Gul N.
    [J]. 2015 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, 2015, : 62 - 67
12