Shahid Ikram, David Asher, Isam Akkawi, Jack Perveiler, Jim Ellis. A framework for specifying, modeling, implementation and verification of SOC protocols. In 27th IEEE International System-on-Chip Conference, SOCC 2014, Las Vegas, NV, USA, September 2-5, 2014. pages 268-273, IEEE, 2014. [doi]
Abstract is missing.