[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article
Free access

Series-parallel functions and FPGA logic module design

Published: 01 January 1996 Publication History

Abstract

The need for a two-way interaction between logic synthesis and FPGA logic module design has been stressed recently. Having a logic module that can implement many functions is a good idea only if one can also give a synthesis strategy that makes efficient use of this functionality. Traditionally, technology mapping algorithms have been developed after the logic architecture has been designed. We follow a dual approach, by focusing on a specific technology mapping algorithm, namely, the structural tree-based mapping algorithm, and designing a logic module that can be mapped efficiently by this algorithm. It is known that the tree-based mapping algorithm makes optimal use of a library of functions, each of which can be represented by a tree of AND, OR, and NOT gates (series-parallel or SP functions). We show how to design a SP function with a minimum number of inputs that can implement all possible SP functions with a specified number of inputs. For instances, we demonstrate a seven-input SP function that can implement all four-input SP functions. Mapping results show that, on an average, the number blocks of this function needed to map benchmark circuits are 12% less than those for Actel's ACT1 logic modules. Our logic modules show a 4% improvement over ACT1, if the block count is scaled to take into account the number of transistors needed to implement different logic modules.

References

[1]
ACM 1995. Proceedings of the International Symposium on Field-Programmable Gate Arrays. ACM, New York.
[2]
ACTEL CORP. 1994. FPGA Data Book and Design Guide.
[3]
ALTERA CORP. 1993. Data Book.
[4]
AT&T 1993. Optimized Reconfigurable Cell Array (ORCA) Series Field Programmable Gate Arrays.
[5]
CONG g. AND DING, Y. 1994. An optimal technology mapping algorithm for delay optimization in lookup-table based FPGA designs. IEEE Trans. CAD/ICAS 13, 1 (Jan.), 1-12.
[6]
CORMEN, T. H., LEISERSON, C. E., AND RIVEST, R. 1990. Introduction to Algorithms. McGraw Hill, New York.
[7]
DETJENS, E., GANNOT, a., RUDELL, R., SANGIOVANNI-VINCENTELLI, A., AND WANG, A. 1987. Technology mapping in MIS. In Proceedings of ICCAD, IEEE, 116-119.
[8]
KARPLUS, K. 1991a. Amap: A technology mapper for selector-based field-programmable gate arrays. In Proceedings of DAC, ACM, 244-247.
[9]
KARPLUS, K. 1991b. A technology mapper for table-lookup field-programmable gate arrays. In Proceedings of DAC, ACM, 240-243.
[10]
KNUTH, D.E. 1973. Fundamental Algorithms, 2nd ed. Addison-Wesley, Reading, MA.
[11]
LIN, C., MAREK-SADOWSKA, M., AND GATLIN, D.1994. Universal logic gate for FPGA design. In Proceedings of ICCAD, IEEE, 164-168.
[12]
MURGAI, R., BRAYTON, R. K., AND SANGIOVANNI-VINCENTELLI, A.L. 1992. An improved synthesis algorithm for multiplexer-based PGAs. In Proceedings of DAC, ACM, 380-386.
[13]
MURGAI, R., SHENOY, N., BRAYTON, R. K., AND SANGIOVANNI-VINCENTELLI, A.L. 1991. Improved logic synthesis algorithms for table lookup up architectures. In Proceedings of ICCAD, IEEE, 564-567.
[14]
PATT, Y.N. 1973. Optimal and near-optimal universal logic modules with interconnected external terminals. IEEE Trans. Comput. C-22, 10 (Oct.), 903-907.
[15]
PREPARATA, F.P. 1971. On the design of universal Boolean functions. IEEE Trans. Comput. C-20, 4 (April), 418-423.
[16]
PREPARATA, F. P. AND MULLER, D.E.1970. Generation of near-optimal universal Boolean functions. JCCS 4 (April), 93-102.
[17]
RUDELL, R.L. 1989. Logic synthesis for VLSI design. U.C. Berkeley, Ph.D. thesis, April.
[18]
THAKUR, S. AND WONG, D. F. 1995. On designing ULM-based FPGA logic modules. In Proceedings of the International Symposium on FPGAs, ACM, New York, 3-9.
[19]
XILINX CORP. 1994. The Programmable Logic Data Book.

Cited By

View all
  • (2002)Designing universal logic modules9th International Conference on Electronics, Circuits and Systems10.1109/ICECS.2002.1046267(709-712)Online publication date: 2002
  • (2000)OBDD Minimization Based on Two-Level Representation of Boolean FunctionsIEEE Transactions on Computers10.1109/12.89586849:12(1371-1379)Online publication date: 1-Dec-2000
  • (1999)Generation of universal series-parallel Boolean functionsJournal of the ACM10.1145/316542.31655146:3(416-435)Online publication date: 1-May-1999

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Design Automation of Electronic Systems
ACM Transactions on Design Automation of Electronic Systems  Volume 1, Issue 1
Jan. 1996
141 pages
ISSN:1084-4309
EISSN:1557-7309
DOI:10.1145/225871
  • Editor:
  • C. L. Liu
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

Publication History

Published: 01 January 1996
Published in TODAES Volume 1, Issue 1

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. field programmable gate arrays
  2. series-parallel technology mapping
  3. tree-based technology mapping algorithm
  4. universal logic modules

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)48
  • Downloads (Last 6 weeks)8
Reflects downloads up to 28 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2002)Designing universal logic modules9th International Conference on Electronics, Circuits and Systems10.1109/ICECS.2002.1046267(709-712)Online publication date: 2002
  • (2000)OBDD Minimization Based on Two-Level Representation of Boolean FunctionsIEEE Transactions on Computers10.1109/12.89586849:12(1371-1379)Online publication date: 1-Dec-2000
  • (1999)Generation of universal series-parallel Boolean functionsJournal of the ACM10.1145/316542.31655146:3(416-435)Online publication date: 1-May-1999

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media