Proteus and other Async Synthesis

• Georgios D. Dimou, Peter A. Beerel, Andrew Lines: Performance-Driven Clustering of Asynchronous Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 33(2): 197-209, 2014.
• A. Saifhashemi and P. A. Beerel, "Observability Conditions and Automatic Operand-Isolation in High-Throughput Asynchronous Pipelines", PATMOS 2012.
• P. A. Beerel, G. D. Dimou, and A. M. Lines, "Proteus: An ASIC Flow for GHz Asynchronous Designs," IEEE Design & Test of Computers, vol. 28, pp. 36-51, 2011.
• A. Saifhashemi, P. A. Beerel. “SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces”, Proceedings of Communicating Process Architectures - WoTUG-33, June 2011.
• Georgios D. Dimou, Peter A. Beerel, Andrew Lines: Performance-Driven Clustering of Asynchronous Circuits. PATMOS 2011, pp. 92-101, Sept.  2011.
• P. Golani and P. A. Beerel, “Area-Efficient Multi-Level Single-Track Pipeline Template”, DATE 2011, March 2011.
• Average-Case Technology Mapping of Asynchronous Burst-Mode Circuits, W.-C. Chou and P. A. Beerel, IEEE Transaction on Computer-Aided Design, Oct. 1999.
• Average-case optimized Technology Mapping of One-Hot Domino Circuits, W.-C Chou and P. A. Beerel and R. Ginosar and R. Kol and C. J. Myers and S. Rotem and K. Stevens and K. Y. Yun, Async '98, April 1998.
• Covering Conditions and Algorithms for the Synthesis of Speed-Independent Circuits P. A. Beerel, C. J. Myers, and T. H. Meng. IEEE Transactions on CAD, pp. 205--219, March 1998.
• A Heuristic Covering Technique for Optimizing Average-Case Delay in the Technology Mapping of Burst-Mode Circuits, P. A. Beerel, K. Y. Yun, and W.-C. Chou, EURO-DAC-96, Sept. 1996.
• Optimizing Average-Case Delay in Technology Mapping of Burst-Mode Circuits , P. A. Beerel, K. Y. Yun, and W.-C. Chou, Async-96, April 1996.
• Technology Mapping of Timed Circuits, C. J. Myers, P. A. Beerel, and T. H.-Y. Meng, Asynchronous Design Methodologies, May 1995.
• Automated Synthesis of Gate-Level Speed-Independent Circuits, P. A. Beerel and T. H.-Y. Meng, ICCAD-92, November, 1993.