Transforming VHDL Descriptions into Formal Component-based Models

  • Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frédéric Heitzmann, and Olivier Debicki. Transforming VHDL Descriptions into Formal Component-based Models. In Proceedings of 27th IEEE International Symposium on Rapid System Prototyping (RSP), Pittsburgh, PA, USA, 2016. To appear doi:10.1145/2990299.2990320
    [BibTeX]
    @InProceedings{2016-10-NOURI,
    author = {Ayoub Nouri and Rahma Ben Atitallah and Anca Molnos and Christian Fabre and Fr\'{e}d\'{e}ric Heitzmann and Olivier Debicki},
    title = {{Transforming VHDL Descriptions into Formal Component-based Models}},
    booktitle = {{Proceedings of 27th IEEE International Symposium on Rapid System Prototyping (RSP)}},
    date = {2016-10-06/2016-10-07},
    year = {2016},
    doi = {10.1145/2990299.2990320},
    note = {To appear},
    address = {Pittsburgh, PA, USA}
    }

This entry was posted in Dissemination. Bookmark the permalink.

Comments are closed.