Login / Signup

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

Maroua Ben SlimaneImene Ben HafaiedhRiadh Robbana
Published in: IEEE Des. Test (2017)
Keyphrases
  • round robin
  • design process
  • load balancing
  • model checking
  • formal methods
  • machine learning
  • metadata
  • decision trees
  • logic programming
  • wireless networks
  • embedded systems
  • functional verification