Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frédéric Heitzmann, Olivier Debicki. Transforming VHDL descriptions into formal component-based models. In 2016 International Symposium on Rapid System Prototyping, RSP 2016, Pittsburg, PA, USA, October 6-7, 2016. pages 128-135, IEEE, 2016. [doi]
Abstract is missing.