Author:
Garavel Hubert,Salaün Gwen,Serwe Wendelin
Reference50 articles.
1. Asynchronous design methodologies: An overview;Hauck;Proceedings of the IEEE,1995
2. Scanning the technology: Applications of asynchronous circuits;van Berkel;Proceedings of the IEEE,1999
3. Compiling communicating processes into delay-insensitive VLSI circuits;Martin;Distributed Computing,1986
4. Balsa: An asynchronous hardware synthesis language;Edwards;The Computer Journal,2002
5. A. Peeters, M. de Wit, Haste Manual, Version 3.0, Handshake Solutions, 2006
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Overview of Formal Verification of Network-on-Chip (NoC) Methods;Lecture Notes in Networks and Systems;2024
2. Is CADP an Applicable Formal Method?;Electronic Proceedings in Theoretical Computer Science;2021-11-16
3. Combining SLiVER with CADP to Analyze Multi-agent Systems;Lecture Notes in Computer Science;2020
4. Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits;2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2018-05
5. From LOTOS to LNT;ModelEd, TestEd, TrustEd;2017