Assisting refinement in System-on-Chip design

Hocine Mokrani, Rabéa Ameur-Boulifa, Emmanuelle Encrenaz-Tiphène. Assisting refinement in System-on-Chip design. In Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013. pages 1-6, IEEE, 2013. [doi]

@inproceedings{MokraniAE13,
  title = {Assisting refinement in System-on-Chip design},
  author = {Hocine Mokrani and Rabéa Ameur-Boulifa and Emmanuelle Encrenaz-Tiphène},
  year = {2013},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6646624},
  researchr = {https://researchr.org/publication/MokraniAE13},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013},
  publisher = {IEEE},
}