A Bundled-Data Asynchronous Circuit Synthesis Flow Using a Commercial EDA Framework

Contemporary silicon technology enables integrating billions of transistors and allows the creation of complex systems-on-chip. At the same time, strict power dissipation budgets and growing interest in high performance battery-powered devices drive the need for energy-efficient high performance circuits. Bundled-data asynchronous circuits are good candidates for high performance low power systems, as they operate with average-case delays and present reduced switching activity when compared to other asynchronous templates. The correct operation of bundled-data circuits relies on constraints that describe the timing relationships between data and control signals. However, commercial EDA frameworks do not offer an encompassing support to ensure the closure of such constraints, making implementation challenging. This paper proposes a synthesis flow to enable the description and enforcement of relative timing constraints at both logic and physical synthesis levels, using the Synopsys framework and a set of in-house scripts. Two case studies illustrate the flow: a pipelined multiplier and a network on chip input buffer FIFO, the latter comprising a non-linear pipeline and complex control circuits. Both case studies target the STMicroelectronics 28nm FDSOI technology, and validation occurs with post-layout simulations. Overall, the flow provides an automatic approach to meet relative timing constraints in a template-agnostic manner for bundled-data circuits design.

[1]  Tom Verhoeff,et al.  Delay-insensitive codes — an overview , 1988, Distributed Computing.

[2]  Matheus T. Moreira,et al.  Automated synthesis of cell libraries for asynchronous circuits , 2014, 2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI).

[3]  Hiroshi Saito,et al.  A tool set for the design of asynchronous circuits with bundled-data implementation , 2011, 2011 IEEE 29th International Conference on Computer Design (ICCD).

[4]  Davide Bertozzi,et al.  A transition-signaling bundled data NoC switch architecture for cost-effective GALS multicore systems , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Luciano Lavagno,et al.  Asynchronous on-chip networks , 2005 .

[6]  Jian Liu,et al.  Soft MOUSETRAP: A Bundled-Data Asynchronous Pipeline Scheme Tolerant to Random Variations at Ultra-Low Supply Voltages , 2013, 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems.

[7]  Alain J. Martin,et al.  Asynchronous Techniques for System-on-Chip Design , 2006, Proceedings of the IEEE.

[8]  Steven M. Nowick,et al.  MOUSETRAP: High-Speed Transition-Signaling Asynchronous Pipelines , 2007, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[9]  Christos P. Sotiriou Implementing asynchronous circuits using a conventional EDA tool-flow , 2002, DAC '02.

[10]  Peter A. Beerel,et al.  A Designer's Guide to Asynchronous VLSI , 2010 .

[11]  Sachin S. Sapatnekar,et al.  Variation-Aware Variable Latency Design , 2014, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[12]  Arash Saifhashemi,et al.  Performance and Area Optimization of a Bundled-Data Intel Processor through Resynthesis , 2014, 2014 20th IEEE International Symposium on Asynchronous Circuits and Systems.

[13]  Luciano Lavagno,et al.  Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  Yang Xu,et al.  The Future of Formal Methods and GALS Design , 2009, FMGALS@DATE.

[15]  Ran Ginosar,et al.  Relative timing , 1999, Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems.

[16]  Melvin A. Breuer,et al.  Blade -- A Timing Violation Resilient Asynchronous Template , 2015, 2015 21st IEEE International Symposium on Asynchronous Circuits and Systems.

[17]  Manish Amde,et al.  Automating the design of an asynchronous DLX microprocessor , 2003, DAC '03.