skip to main content
10.1145/157485.164573acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free Access

Automatic technology mapping for generalized fundamental-mode asynchronous designs

Published:01 July 1993Publication History
First page image

References

  1. 1.S. M. Nowick and D. L. Dill, "Synthesis of asynchronous state machines using a local clock," in International Conference on Computer Design, IEEE Computer Society Press, 1991.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.K. Yun and D. Dill, '~Automatic synthesis of 3D asynchronous finite-state machines," in international Conference on Computer-Aided Design, IEEEI, Nov. 1992.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3.W. S. Coates, A. L. Davis, and K. S. Stevens, "Automatic synthesis of fast compact self-timed control circuits," in IFIP Workshop on Asynchronous Circuits, (Manchester, UK), 1993.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.K. Keutzer, "DAGON: Technology binding and local optimization by DAG matching," in 2~th Design Automation Conference, pp. 341-347, IEEE/ACM, 1987.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.R. Rudell, Logic Synthesis for VLSl Design. PhD thesis, U. C. Berkeley, Apr. 1989. Memorandum UCB/ERL M89/49.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.F. Mailhot, "Algorithms for technology mapping based on binary decision diagrams and on boolean operations," IEEE Transactions on CAD/ICAS, in press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7.E. J. McCluskey, Logic D,'.sign Principles With Emphasis on Testable Semicustom Circuits. Prentice-Hall, 1986.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8.E. B. Eichelberger, "Hazard detection in combinational and sequential switching circuits," IBM Journal, Mar. 1965.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.J. Bredeson, "Synthesis of multiple input change hazard-free combinational switching circuilLs without feedback," international Journal of Electronics, vol. 39, no. 6, pp. 615-624, Dec. 1975.]]Google ScholarGoogle Scholar
  10. 10.R. K. Brayton, R. Rudell, A. Sangiovanni-Vincentelli, and A. R. Wang, "MIS" A multiple-level logic optimization system," IEEE Transactions on CAD/ICAS, vol. 6, no. 6, pp. 1062-1081, Nov. 1987.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11.S. M. Nowick and D. L. Dill, "Exact two-level minimization of hazard-free logic with mult!iple-input changes," in International Conference on Computer-Aided Design, IEEE, 1992.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12.S. H. Unger, Asynchronous Sequential Switching Circuits. New York: Wiley-Interscience, 1969.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13.P. Siegel, G. De Micheli, and D. Dill, "Technology mapping for generalized fundamental-mode asynchronous designs," tech. rep., Computer Systems Laboratory, Stanford University, 1993.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 14.D. V. Heinbuch, CMOS3 Cell Library. Addison-Wesley, 1987.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15.J. Beister, "A unified approach to combinational hazards," IEEE Transactions on Computel.s, vol. 23, no. 6, pp. 566-575, June 1974.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16.R. Rudell and A. Sangiovanni-Vincentelli, "Multiple-valued minimization for PLA optimization," IEEE Transactions on CA D/ICA S, Sept. 1987.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17.J. Bredeson and P. Hulina, "Elimination of static and dynamic hazards for multiple input changes in combinational switching circuits," Information and Control, vol. 20, no. 2, pp. 114-124, Mar. 1972.]]Google ScholarGoogle ScholarCross RefCross Ref
  18. 18.S. M. Nowick, K. Yun, and D. L. Dill, "Practical asynchronous controller design," in International Conference on Computer Design, IEEE Computer Society Press, 1992.]] Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Automatic technology mapping for generalized fundamental-mode asynchronous designs

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          DAC '93: Proceedings of the 30th international Design Automation Conference
          July 1993
          768 pages
          ISBN:0897915771
          DOI:10.1145/157485

          Copyright © 1993 ACM

          Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 July 1993

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • Article

          Acceptance Rates

          Overall Acceptance Rate1,770of5,499submissions,32%

          Upcoming Conference

          DAC '24
          61st ACM/IEEE Design Automation Conference
          June 23 - 27, 2024
          San Francisco , CA , USA

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader