Boolean matching of sequential elements

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Boolean matching of sequential elements

Full text

Pdf (61 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 31st annual Design Automation Conference table of contents

San Diego, California, United States

Pages: 691 - 697

Year of Publication: 1994

ISBN:0-89791-653-0

Authors

Shankar Krishnamoorthy	Synopsys Inc., 700C, E.Middlefield Rd., Mountain View, CA
Frederic Mailhot	Synopsys Inc., 700C, E.Middlefield Rd., Mountain View, CA

Sponsors

IEEE-CAS : Circuits & Systems
SIGDA: ACM Special Interest Group on Design Automation
EDAC : Electronic Design Automation Consortium

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 12, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/196244.196617 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	K. Keutzer, DAGON: technology binding and local optimization by DAG matching, Proceedings of the 24th ACM/IEEE conference on Design automation, p.341-347, June 28-July 01, 1987, Miami Beach, Florida, United States [doi>10.1145/37888.37940]
	2	Alfred V. Aho , Mahadevan Ganapathi, Efficient tree pattern matching (extended abstract): an aid to code generation, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.334-340, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318663]
	3	E. Detjens, G.Gannot, R.Rudell, A. Sangiovanni-Vincentelli, A. Wang, "Technology Mapping in MIS",International Conference on Computer Aided Design, pp. 116 - 119, 1987.
	4	Richard L. Rudell , Alberto Sangiovanni-Vincentelli, Logic synthesis for vlsi design, 1989
	5	David Gregory , Karen Bartlett , Aart de Geus , Gary Hachtel, SOCRATES: a system for automatically synthesizing and optimizing combinational logic, Proceedings of the 23rd ACM/IEEE conference on Design automation, p.79-85, July 1986, Las Vegas, Nevada, United States
	6	C. Moon, B. Lin, H. Savoj, R. Brayton, "Technology Mapping for Sequential Logic Synthesis", Proceedings of Intl. Workshop on Logic Synthesis, North Carolina, May 1989.
	7	R Moceyunas - Personal Communication.
	8	S. Muroga, Threshold Logic and its Applications. John Wiley, 1971.
	9	Frédéric Mailhot , Giovanni De Micheli, Technology mapping using boolean matching and don't care sets, Proceedings of the conference on European design automation, March 12-15, 1990, Glasgow, Scotland
	10	EMailhot, G. De Micheli, "Algorithms for Technology Mapping Based on Binary Decision Diagrams and on Boolean Operations",IEEE Trans. on Computer Aided Design oflntegrated Circuits and Systems, Vo112, No.5 pp. 599 - 620, 1993.
	11	Jerry R. Burch , David E. Long, Efficient Boolean function matching, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.408-411, November 1992, Santa Clara, California, United States
	12	J. Mohnke, S. Malik, "Permutation and Phase Independent Boolean Comparison", Proceedings of EDAC, 1993.
	13	D. S. Kung , R. F. Damiano , T. A. Nix , D. J. Geiger, BDDMAP: a technology mapper based on a new covering algorithm, Proceedings of the 29th ACM/IEEE conference on Design automation, p.484-487, June 08-12, 1992, Anaheim, California, United States
	14	Stanley L. Hurst , Jon C. Muzio , D. Michael Miller, Spectral Techniques in Digital Logic, Academic Press, Inc., Orlando, FL, 1985