Actual-Delay Circuits on FPGA: Trading-Off Luts for Speed

FPGA devices exhibit manufacturing variability. Device ratings and Timing margins are typically used in order to cope with inter-device and intra-device variability respectively. Actual-delay circuits operate according to the actual, physical device delays of the FPGA device components and not according to STA predictions, exhibit data-dependent delay,latency and output completion detection, and can thus detect when their outputs are ready to be latched. In this paper we demonstrate an FPGA flow, based around existing FPGA tools, capable of implementing actual-delay circuits, and through worst-case, upper-bound analysis show that such circuits exhibit reduced delay and higher performance than their conventional counterparts. The FPGA flow incorporates a logic synthesis transformation step for converting a conventional single-rail circuit to monotonic, dual-rail and a LUT mapper for mapping the latter to LUTs while preserving monotonicity. In addition, through our implementation of actual-delay circuits we are able to measure intra and inter-FPGA timing margins and we present results on the STA margin and timing deviation over four devices

[1]  Jim D. Garside A CMOS VLSI Implementation of an Asynchronous ALU , 1993, Asynchronous Design Methodologies.

[2]  Fabio Somenzi,et al.  Logic synthesis and verification algorithms , 1996 .

[3]  Kurt Keutzer,et al.  Synthesis of robust delay-fault-testable circuits: theory , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4]  Jens Sparsø,et al.  Delay-insensitive multi-ring structures , 1993, Integr..

[5]  Alexandre Yakovlev,et al.  Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems , 1990 .

[6]  Martyn Edwards,et al.  Logic synthesis , 1994, Microprocessors and microsystems.

[7]  Alex Kondratyev,et al.  Design of asynchronous circuits by synchronous CAD tools , 2002, DAC '02.

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

[9]  Stephen H. Unger,et al.  Asynchronous sequential switching circuits , 1969 .

[10]  P. R. Stephan,et al.  SIS : A System for Sequential Circuit Synthesis , 1992 .

[11]  Luciano Lavagno,et al.  Handshake protocols for de-synchronization , 2004, 10th International Symposium on Asynchronous Circuits and Systems, 2004. Proceedings..

[12]  Sani R. Nassif,et al.  Modeling and analysis of manufacturing variations , 2001, Proceedings of the IEEE 2001 Custom Integrated Circuits Conference (Cat. No.01CH37169).

[13]  Luciano Lavagno,et al.  Coping with the variability of combinational logic delays , 2004, IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings..