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

Maroua Ben Slimane, Imene Ben Hafaiedh, Riadh Robbana. Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin. IEEE Design & Test of Computers, 34(5):54-62, 2017. [doi]

Authors

Maroua Ben Slimane

This author has not been identified. Look up 'Maroua Ben Slimane' in Google

Imene Ben Hafaiedh

This author has not been identified. Look up 'Imene Ben Hafaiedh' in Google

Riadh Robbana

This author has not been identified. Look up 'Riadh Robbana' in Google