Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/196244.196398acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free access

A comprehensive approach to logic synthesis and physical design for two-dimensional logic arrays

Published: 06 June 1994 Publication History
First page of PDF

References

[1]
ATMEL Corporation CMOS Integrated Circuit Data Book, 1993, 1994. 2125 O'Nel Drive, San Jose, CA, 95131.
[2]
Concurrent Logic, Inc., Seminar at PSU, Nov. 17th, 1992.
[3]
D.F. Wong, H.W. Leong, C.L. Liu, "Multiple PLA folding using the method of simulated annealing," Prec. Custom Integrated Circuit Conf. May 1986.
[4]
Y.H. Hu and S.J. Chen, "GM_Plan: A Gate Matrix Layout Algorithm Based on Artificial Intelligence Planning Techniques," IEEE Trans. on CAD, Vol. 9, No. 8, pp. 836-845, August 1990.
[5]
S. Huang, O. Wing, "Improved Gate Matrix Layout," IEEE Trans. on CAD, Vol. 8, No. 8, pp. 875-889, August 1989.
[6]
U. Kebschull, E. Schubert, W. Rosenstiel, "Multilevel Logic Synthesis Based on Functional Decision Diagrams," Prec. IEEE European Design Automation Conference, pp. 43-47, 1992.
[7]
K. K. Maitra, "Cascaded Switching Networks of Two-Input Flexible Cells," IRE Trans. Electron. Comput., Vol. EC-11, pp. 136-143, 1962
[8]
A. Mukhopadhyay, "Unate Cellular Logic," IEEE Trans. on Comput., Vol. 18, No. 2, pp. 114-121, February 1969.
[9]
A. Mukhopadhyay, "Cellular Logic," in "Recent Developments in Switching Theory," Ed. Mukhopadhyay, A., pp. 281-285, 1971, Academic Press.
[10]
M. A. Perkowski, A. Sarabi, and F. R. Beyl, "XOR Canonical Forms of Switching Functions " Proc. of the IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design, September 1993 Hamburg, Germany, pp. 27 - 32.
[11]
R. Rudell, A. Sangiovanni-Vincentelli, "ESPRESSO-MV" Algorithms for Multiple-valued Logic Minimization," Proc. IEEE Custom Integrated Circuits Conf., 1985.
[12]
G. Saucier, J. Fron, and P. Abouzeid, "Lexicographical Expressions of Boolean Functions with Application to Multilevel Synthesis," IEEE Trans. on CAD, November 1993, pp. 1642 - 1654.
[13]
I. Sch~tfer, M.A. Perkowski, H. Wu, "Multilevel Logic Synthesis for Cellular FPGAs Based on Orthogonal Expansions," Proc. IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design, Sept. 1993, Hamburg, Germany, pp. 42-51.
[14]
N. Song, M. A. Perkowski, "EXORCISM-MV-2: Minimization of Exclusive Sum of Products Expressions for Multiple-Valued Input Incompletely Specified Functions " Proc. ISMVL, pp. 132-137, Sacramento, May 24-27, 1993.
[15]
L.-F. Wu, M. A. Perkowski, "Minimization of Permuted Reed- Muller Trees for Cellular Logic Programmable Gate Arrays," In H. Gruenbacher and R, Hartenstein (eds.), "Lecture Notes in Computer Science", No. 705, Springer Verlag, pp. 78 - 87, Berlin/Heidelberg, 1993.

Cited By

View all
  • (2017)Exclusive or Sum of Complex Terms expressions minimizationIntegration, the VLSI Journal10.1016/j.vlsi.2016.08.00556:C(44-52)Online publication date: 1-Jan-2017
  • (2008)Exact ESCT minimization for functions of up to six input variablesIntegration, the VLSI Journal10.1016/j.vlsi.2007.01.00341:1(87-105)Online publication date: 1-Jan-2008
  • (2005)Fastest linearly independent transforms over GF(2) and their propertiesIEEE Transactions on Circuits and Systems I: Regular Papers10.1109/TCSI.2005.85220952:9(1832-1844)Online publication date: Sep-2005
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
DAC '94: Proceedings of the 31st annual Design Automation Conference
June 1994
739 pages
ISBN:0897916530
DOI:10.1145/196244
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 June 1994

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

DAC94
Sponsor:
DAC94: The 31st ACM/IEEE-CAS/EDAC Design Automation Conference
June 6 - 10, 1994
California, San Diego, USA

Acceptance Rates

DAC '94 Paper Acceptance Rate 100 of 260 submissions, 38%;
Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25
62nd ACM/IEEE Design Automation Conference
June 22 - 26, 2025
San Francisco , CA , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)25
  • Downloads (Last 6 weeks)4
Reflects downloads up to 01 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2017)Exclusive or Sum of Complex Terms expressions minimizationIntegration, the VLSI Journal10.1016/j.vlsi.2016.08.00556:C(44-52)Online publication date: 1-Jan-2017
  • (2008)Exact ESCT minimization for functions of up to six input variablesIntegration, the VLSI Journal10.1016/j.vlsi.2007.01.00341:1(87-105)Online publication date: 1-Jan-2008
  • (2005)Fastest linearly independent transforms over GF(2) and their propertiesIEEE Transactions on Circuits and Systems I: Regular Papers10.1109/TCSI.2005.85220952:9(1832-1844)Online publication date: Sep-2005
  • (2005)Implementing an arbitrary reversible logic gateJournal of Physics A: Mathematical and General10.1088/0305-4470/38/16/00738:16(3555-3577)Online publication date: 6-Apr-2005
  • (2002)Polynomial expansions over GF(2) based on fastest transformation2002 IEEE International Symposium on Circuits and Systems. Proceedings (Cat. No.02CH37353)10.1109/ISCAS.2002.1010239(III-377-III-380)Online publication date: 2002
  • (2001)A design of LUT-array-based PLD and a synthesis approach based on sum of generalized complex terms expressionISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196)10.1109/ISCAS.2001.922020(203-206)Online publication date: 2001
  • (2001)Regular realization of symmetric functions using reversible logicProceedings Euromicro Symposium on Digital Systems Design10.1109/DSD.2001.952289(245-252)Online publication date: 2001
  • (2001)Minimization of OPKFDDs using genetic algorithmsProceedings Euromicro Symposium on Digital Systems Design10.1109/DSD.2001.952120(72-78)Online publication date: 2001
  • (1999)Evolvable hardware or learning hardware? induction of state machines from temporal logic constraintsProceedings of the First NASA/DoD Workshop on Evolvable Hardware10.1109/EH.1999.785444(129-138)Online publication date: 1999
  • (1999)ETDD-based synthesis of two-dimensional cellular arrays for multi-output incompletely specified Boolean functionsIEE Proceedings - Computers and Digital Techniques10.1049/ip-cdt:19990798146:6(302)Online publication date: 1999
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media