Abstract
Synchronous Elasticization converts an ordinary clocked circuit into Latency-Insensitive (LI) design. The Synchronous Elastic Flow (SELF) is an LI protocol that can be implemented with eager or lazy evaluation in the data steering network. Compared to lazy implementations, eager SELF designs have no combinational cycles and can have a performance advantage, but consume more area and power. The design space of lazy SELF protocols is evaluated and verified. Several new designs are mapped to hybrid eager/lazy implementations that retain the performance advantage of the eager design but have power advantages of lazy implementations.
Chapter PDF
Similar content being viewed by others
Keywords
References
Carloni, L., Mcmillan, K., Sangiovanni-Vincentelli, A.L.: Theory of latency insensitive design. IEEE Transactions on CAD of Integrated Circuits and Systems 20, 1059–1076 (2001)
Carloni, L., Sangiovanni-Vincentelli, A.: Coping with latency in SOC design. IEEE Micro 22(5), 24–35 (2002)
Carmona, J., Cortadella, J., Kishinevsky, M., Taubin, A.: Elastic circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 28(10), 1437–1455 (2009)
Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359–364. Springer, Heidelberg (2002)
Cortadella, J., Kishinevsky, M., Grundmann, B.: Synthesis of synchronous elastic architectures. In: ACM/IEEE Design Automation Conference, pp. 657–662 (July 2006)
Hennessy, J., et al.: The MIPS Machine. In: COMPCON, pp. 2–7 (1982)
Gebhardt, D., Stevens, K.S.: Elastic flow in an application specific network-on-chip. Elsevier Electronic Notes in Theoretical Computer Science 200(1), 3–15 (2008)
Gotmanov, A., Kishinevsky, M., Galceran-Oms, M.: Evaluation of flexible latencies: designing synchronous elastic H.264 CABAC decoder. In: The Problems in Design of Micro- and Nano-Electronic Systems (2010)
Hoover, G., Brewer, F.: Synthesizing synchronous elastic flow networks. In: Design, Automation and Test in Europe, DATE 2008, pp. 306–311, 10–14 (2008)
Jacobson, H.M., Kudva, P.N., Bose, P., Cook, P.W., Schuster, S.E., Mercer, E.G., Myers, C.J.: Synchronous interlocked pipelines. In: 8th International Symposium on Asynchronous Circuits and Systems, pp. 3–12 (April 2002)
Kilada, E., Das, S., Stevens, K.: Synchronous elasticization: considerations for correct implementation and MiniMIPS case study. In: 18th IEEE/IFIP VLSI System on Chip Conference (VLSI-SoC), pp. 7–12 (September 2010)
Kilada, E., Stevens, K.: Control network generator for latency insensitive designs. In: Design, Automation & Test in Europe Conference Exhibition (DATE), pp. 1773–1778 (March 2010)
Kilada, E., Stevens, K.S.: Synchronous elasticization at a reduced cost: utilizing the ultra simple fork and controller merging. In: International Conference on Computer-Aided Design (ICCAD 2011) (November 2011)
Krstic, S., Cortadella, J., Kishinevsky, M., O’Leary, J.: Synchronous elastic networks. In: Formal Methods in Computer Aided Design, FMCAD 2006, pp. 19–30 (November 2006)
Patterson, D., Hennessy, J.: Computer Organization and Design (2004)
Vakilotojar, V., Beerel, P.: RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking. In: Design Automation Conference 1997. Proceedings of the ASP-DAC 1997. Asia and South Pacific, pp. 181–188, 28–31 (1997)
Weste, N., Harris, D.: CMOS VLSI design: a circuit and systems perspective (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Kilada, E., Stevens, K.S. (2012). Design and Verification of Lazy and Hybrid Implementations of the SELF Protocol. In: Ayala, J.L., Atienza Alonso, D., Reis, R. (eds) VLSI-SoC: Forward-Looking Trends in IC and Systems Design. VLSI-SoC 2010. IFIP Advances in Information and Communication Technology, vol 373. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28566-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-28566-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28565-3
Online ISBN: 978-3-642-28566-0
eBook Packages: Computer ScienceComputer Science (R0)