Jean Simatic, Abdelkarim Cherkaoui, François Bertrand, Rodrigo Possamai Bastos, Laurent Fesquet. A Practical Framework for Specification, Verification, and Design of Self-Timed Pipelines. In 23rd IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2017, San Diego, CA, USA, May 21-24, 2017. pages 65-72, IEEE Computer Society, 2017. [doi]
Abstract is missing.