A framework for specifying, modeling, implementation and verification of SOC protocols

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]

@inproceedings{IkramAAPE14,
  title = {A framework for specifying, modeling, implementation and verification of SOC protocols},
  author = {Shahid Ikram and David Asher and Isam Akkawi and Jack Perveiler and Jim Ellis},
  year = {2014},
  doi = {10.1109/SOCC.2014.6948939},
  url = {http://dx.doi.org/10.1109/SOCC.2014.6948939},
  researchr = {https://researchr.org/publication/IkramAAPE14},
  cites = {0},
  citedby = {0},
  pages = {268-273},
  booktitle = {27th IEEE International System-on-Chip Conference, SOCC 2014, Las Vegas, NV, USA, September 2-5, 2014},
  publisher = {IEEE},
}