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

Author(s): Maroua Ben Slimane ; Imene Ben Hafaiedh ; Riadh Robbana
Publisher: IEEE Computer Society
Publication Date: 1 October 2017
Volume: 34
Page(s): 54 - 62
ISSN (Electronic): 2168-2364
ISSN (Paper): 2168-2356
DOI: 10.1109/MDAT.2017.2713352

The article showcases formal modeling and verification of two SoC arbitration protocols.-Wen Chen, NXP