Skip to main content Accessibility help
×
Hostname: page-component-848d4c4894-wzw2p Total loading time: 0 Render date: 2024-06-02T08:38:14.804Z Has data issue: false hasContentIssue false

8 - Synthesis-based controller design

Published online by Cambridge University Press:  26 February 2010

Peter A. Beerel
Affiliation:
University of Southern California
Recep O. Ozdag
Affiliation:
Fulcrum Microsystems, Calasabas Hills, California
Marcos Ferretti
Affiliation:
PST Industria Eletronica da Amazonia Ltda, Campinas, Brazil
Get access

Summary

This chapter focuses on synthesis-based asynchronous controller design. Such designs use a bounded delay model, similarly to synchronous circuits. In this particular design methodology the datapath is decoupled from the control logic. Often the very same synchronous datapath can be used directly, with minor modifications.

Figure 8.1 below illustrates a synthesis-based controller in a synchronous pipeline, providing the clock (Clk) to the flip-flops. A separate synthesis-based controller can be designed uniquely for each stage of the pipeline, or a more general circuit can be specified and synthesized to fit all pipeline stages. Figure 8.1(a) illustrates a standard synchronous pipeline. In Figure 8.1(b) the Clk signal has been stripped out of the pipeline, and the controllers are placed so as to provide the latching signal for the flip-flops.

In this chapter we will first present some background on burst-mode circuits and on ways to build these controllers. We will then review approaches for building input–output circuits from signal transition graph specifications.

Fundamental-mode Huffman circuits

In the fundamental-mode style, circuits consist of a network of combinational gates that take inputs, move the circuit from one state to another, generate outputs, and also generate the next-state logic, similarly to the way in which standard synchronous circuits operate. The next-state outputs feed back through the delay elements and arrive at the inputs of the controller as the current state. Sometimes delays on feedback paths are necessary, however, they are not shown explicitly in Figure 8.2.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Berkel, K., Josephs, M. B., and Nowick, S. M., “Scanning the technology: applications of asynchronous circuits,”Proc. IEEE, vol. 87, no. 2, pp. 223–233, February 1999.CrossRefGoogle Scholar
Theobald, M. and Nowick, S. M., “Fast heuristic and exact algorithms for two-level hazard-free logic minimization.”IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 17:11, pp. 1130–1147 (Nov. 1998).CrossRefGoogle Scholar
Nowick, S. M. and Dill, D. L., “Exact two-level minimization of hazard-free logic with multiple-input changes.”IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 14:8, pp. 986–997 (Aug. 1995).CrossRefGoogle Scholar
Fuhrer, R. M. and Nowick, S. M., “OPTIMISTA: State minimization of asynchronous FSMs for optimum output logic.”ICCAD: Proceedings of the IEEE International Conference on Computer-Aided Design, San Jose, CA (Nov. 1999).Google Scholar
Fuhrer, R. M., Nowick, S. M., Theobald, M., Jha, N. K., Lin, B., and Plana, L., “Minimalist: An environment for the synthesis, verification and testability of burst-mode asynchronous machines.”Technical Report, CUCS-020-99, Columbia University, NY, 1999.Google Scholar
Chelcea, T. and Nowick, S. M., “Robust interfaces for mixed-timing systems.”IEEE Transactions on VLSI Systems, vol. 12:8, pp. 857–873 (August 2004).CrossRefGoogle Scholar
Chelcea, T., Bardsley, A., Edwards, D., and Nowick, S. M., “A burst-mode oriented back-end for the Balsa synthesis system,” in Proc. Design, Automation and Test in Europe (DATE), Mar. 2002, pp. 330–337.Google Scholar
Chelcea, T. and Nowick, S. M., “Balsa-cube: an optimising back-end for the Balsa synthesis system.” in Proc. 14th UK Async. Forum, 2003.
Yun, K. Y. and Dill, D. L., “Automatic synthesis of extended burst-mode circuits: Part II (automatic synthesis),”IEEE Trans. Computer-Aided Design, vol. 18, no. 2, pp. 118–132, February 1999.CrossRefGoogle Scholar
Yun, K. Y. and Dill, D. L., “Automatic synthesis of extended burst-mode circuits: Part I (specification and hazard-free implementation),”IEEE Trans. Computer-Aided Design, vol. 18, no. 2, pp. 101–117, February 1999.CrossRefGoogle Scholar
Davis, A., Coates, B., and , KStevens, ., “The Post Office experience: designing a large asynchronous chip,” in Proc. Hawaii Int. Conf. on System Sciences, vol. I, January 1993, pp. 409–418.Google Scholar
Myers, C., Asynchronous Circuit Design. John Wiley & Sons, 2001.CrossRefGoogle Scholar
Stevens, K., Rotem, S., and Ginosar, R., “Relative timing,” in Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, Apr. 1999, pp. 208–218.CrossRefGoogle Scholar
Beerel, P. A., Myers, C. J., and Meng, T. H. -Y., “Covering conditions and algorithms for the synthesis of speed-independent circuits,” IEEE Trans. on Computer-Aided Design, Mar. 1998.
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., and Yakovlev, A., Logic Synthesis of Asynchronous Controllers and Interfaces. Springer-Verlag, 2002.CrossRefGoogle Scholar
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., and Yakovlev, A. 1996. Complete state encoding based on the theory of regions. In Proceedings of the 2nd international Symposium on Advanced Research in Asynchronous Circuits and Systems (March 18–21, 1996). ASYNC. IEEE Computer Society, Washington, DC, 36.Google Scholar
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., and Yakovlev, A., “Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers,” in Proc. XI Conference on Design of Integrated Circuits and Systems, Nov. 1996.

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×