Spectral transforms for large boolean functions with applications to technology mapping

The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions that can be transformed. Currently available techniques limit the functions to less than 20 variables. In this paper, we sh...

Full description

Saved in:

Bibliographic Details
Published in:	30th ACM/IEEE Design Automation Conference pp. 54 - 60
Main Authors:	Clarke, E. M., McMillan, K. L., Zhao, X, Fujita, M., Yang, J.
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 01-07-1993
Series:	ACM Conferences
Subjects:	Application software Applied computing > Arts and humanities > Architecture (buildings) > Computer-aided design Applied computing > Physical sciences and engineering > Engineering > Computer-aided design Binary decision diagrams Boolean functions Circuit synthesis Circuit testing Contracts Data structures Design automation Filters Hardware > Integrated circuits > Logic circuits Hardware > Integrated circuits > Logic circuits > Combinational circuits Laboratories Mathematics of computing > Mathematical analysis > Numerical analysis > Computations on matrices
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions that can be transformed. Currently available techniques limit the functions to less than 20 variables. In this paper, we show how to compute concise representations of the Walsh transform for functions with several hundred variables. We have applied our techniques to boolean technology mapping and, in certain cases, we obtained a speed up of as much as 50% for the matching phase.
AbstractList	The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions that can be transformed. Currently available techniques limit the functions to less than 20 variables. In this paper, we show how to compute concise representations of the Walsh transform for functions with several hundred variables. We have applied our techniques to boolean technology mapping and, in certain cases, we obtained a speed up of as much as 50% for the matching phase.
Author	Clarke, E. M. Zhao, X Yang, J. Fujita, M. McMillan, K. L.
Author_xml	– sequence: 1 givenname: E. M. surname: Clarke fullname: Clarke, E. M. – sequence: 2 givenname: K. L. surname: McMillan fullname: McMillan, K. L. – sequence: 3 givenname: X surname: Zhao fullname: Zhao, X – sequence: 4 givenname: M. surname: Fujita fullname: Fujita, M. – sequence: 5 givenname: J. surname: Yang fullname: Yang, J.
BookMark	eNqNkM1LxDAQxQOu4Lru0ZOXnDxZTZqmaY6y-AULHlT0FpI02Y2mSW26yP73Rip4dQ5v4M3jwfyOwSzEYAA4xegS44peYcqqhl7iuqI1PwBLzhrUcMazz_gMzBEjTYERejsCy5TeUZ6KYsL5HLw-9UaPg_QwS0g2Dl2CWaGXw8ZAFaM3MkC7C3p0MST45cYtlH3vnZaTM0Y4Gr0N0cfNHnb55sLmBBxa6ZNZ_u4FeLm9eV7dF-vHu4fV9bqQhLKxwLa2TCmOCFOyao1uVFuyRpeaY9tiXTdVySlqS61MLaklvKSE1IRgqVqpKrIA51NvP8TPnUmj6FzSxnsZTNwlQTIDRDjOwbMp6Iwxoh9cJ4e9wDVCmJd_NVJ3Ij_9kQRG4geumOCKCW4OXvwrKNTgjCXfiiV6dw
CitedBy_id	crossref_primary_10_1049_ip_cdt_20040257 crossref_primary_10_1109_43_298033 crossref_primary_10_1109_TCAD_2008_2006144 crossref_primary_10_1109_TVLSI_2006_878471 crossref_primary_10_1016_S0167_9260_98_00014_5 crossref_primary_10_1007_s10009_004_0171_8 crossref_primary_10_1109_43_700721 crossref_primary_10_1109_92_711323 crossref_primary_10_1109_TC_2008_134 crossref_primary_10_1016_S1567_8326_02_00066_8 crossref_primary_10_1007_s10009_017_0468_z crossref_primary_10_1109_92_974892 crossref_primary_10_1109_JETCAS_2016_2528638 crossref_primary_10_1587_transinf_E93_D_2059 crossref_primary_10_22331_q_2023_09_11_1108 crossref_primary_10_1109_43_771175 crossref_primary_10_1049_ip_cdt_19960101 crossref_primary_10_1007_s10009_016_0433_2 crossref_primary_10_1016_S1571_0661_04_00331_7 crossref_primary_10_1109_12_644301 crossref_primary_10_1109_TCAD_2009_2016547 crossref_primary_10_1109_TCAD_2006_882592 crossref_primary_10_1145_307988_307989 crossref_primary_10_1016_S0167_9260_02_00042_1 crossref_primary_10_1109_TC_2006_153 crossref_primary_10_2197_ipsjtsldm_3_118 crossref_primary_10_1016_S0045_7906_00_00061_6 crossref_primary_10_1007_s10009_005_0187_8 crossref_primary_10_1016_S0167_9260_02_00047_0 crossref_primary_10_1109_12_908990 crossref_primary_10_1109_82_885135 crossref_primary_10_1145_3093333_3009844 crossref_primary_10_1145_307988_308000 crossref_primary_10_1007_s10766_005_8910_3 crossref_primary_10_1007_s10009_004_0140_2 crossref_primary_10_1109_12_485378 crossref_primary_10_1145_3651157 crossref_primary_10_1587_transinf_2013LOP0020 crossref_primary_10_1587_transfun_E102_A_1751 crossref_primary_10_1109_43_969437 crossref_primary_10_1142_S0218126699000165 crossref_primary_10_1109_TC_2007_1033 crossref_primary_10_1007_s10009_005_0216_7 crossref_primary_10_1109_12_644298 crossref_primary_10_1109_TCAD_2015_2432138 crossref_primary_10_1145_3313917 crossref_primary_10_1109_TCAD_2008_923256 crossref_primary_10_1109_43_469660
ContentType	Conference Proceeding
Copyright	1993 ACM
Copyright_xml	– notice: 1993 ACM
DBID	6IE 6IL CBEJK RIE RIL 7SC 8FD JQ2 L7M L~C L~D
DOI	10.1145/157485.164569
DatabaseName	IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library Online IEEE Proceedings Order Plans (POP All) 1998-Present Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional
DatabaseTitleList
Database_xml	– sequence: 1 dbid: RIE name: IEEE Electronic Library Online url: http://ieeexplore.ieee.org/Xplore/DynWel.jsp sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering
EndPage	60
ExternalDocumentID	1600192
Genre	orig-research Conference Paper
GroupedDBID	6IE 6IK AAJGR ACGHX ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI OCL RIB RIC RIE 123 29O 6IF 6IH 6IL 6IM 6IN ACGFS ADZIZ CHZPO IEGSK IJVOP IPLJI JC5 M43 RIG RIL RNS 7SC 8FD JQ2 L7M LHSKQ L~C L~D
ID	FETCH-LOGICAL-a357t-1f6f7bb9037ba4dec8bd278c2c91fd1c6842950d2cbe6a5f3925336331abdab43
IEDL.DBID	RIE
ISBN	9780897915779 0897915771
ISSN	0738-100X
IngestDate	Fri Jun 28 07:12:12 EDT 2024 Wed Jun 26 19:25:17 EDT 2024 Wed Jan 31 06:50:23 EST 2024 Wed Jan 31 06:49:53 EST 2024
IsDoiOpenAccess	false
IsOpenAccess	true
IsPeerReviewed	false
IsScholarly	true
Language	English
License	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 Permissions@acm.org
LinkModel	DirectLink
MeetingName	DAC93: The 30th ACM/IEEE Design Automation Conference
MergedId	FETCHMERGED-LOGICAL-a357t-1f6f7bb9037ba4dec8bd278c2c91fd1c6842950d2cbe6a5f3925336331abdab43
Notes	SourceType-Conference Papers & Proceedings-1 ObjectType-Conference Paper-1 content type line 25
OpenAccessLink	http://www-2.cs.cmu.edu/~emc/papers/Conference Papers/Spectral Transforms for Large Boolean Functions with Applications.pdf
PQID	31570391
PQPubID	23500
PageCount	7
ParticipantIDs	ieee_primary_1600192 acm_books_10_1145_157485_164569 proquest_miscellaneous_31570391 acm_books_10_1145_157485_164569_brief
PublicationCentury	1900
PublicationDate	19930701 19930000 19930601
PublicationDateYYYYMMDD	1993-07-01 1993-01-01 1993-06-01
PublicationDate_xml	– month: 07 year: 1993 text: 19930701 day: 01
PublicationDecade	1990
PublicationPlace	New York, NY, USA
PublicationPlace_xml	– name: New York, NY, USA
PublicationSeriesTitle	ACM Conferences
PublicationTitle	30th ACM/IEEE Design Automation Conference
PublicationTitleAbbrev	DAC
PublicationYear	1993
Publisher	ACM
Publisher_xml	– name: ACM
SSID	ssj0000451399 ssj0004161
Score	1.6354116
Snippet	The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the...
SourceID	proquest ieee acm
SourceType	Aggregation Database Publisher
StartPage	54
SubjectTerms	Application software Applied computing -- Arts and humanities -- Architecture (buildings) -- Computer-aided design Applied computing -- Physical sciences and engineering -- Engineering -- Computer-aided design Binary decision diagrams Boolean functions Circuit synthesis Circuit testing Contracts Data structures Design automation Filters Hardware -- Integrated circuits -- Logic circuits Hardware -- Integrated circuits -- Logic circuits -- Combinational circuits Laboratories Mathematics of computing -- Mathematical analysis -- Numerical analysis -- Computations on matrices
Title	Spectral transforms for large boolean functions with applications to technology mapping
URI	https://ieeexplore.ieee.org/document/1600192 https://search.proquest.com/docview/31570391
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
link	http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1JS8QwFA6OJ72447jmoDerTZs0ydFt8KAiqOgtZBVBW5nl_5uXTkdBQbyUBlJaXt5rvrzlewgdMBpCBAZFZj1hGWXCZ0bTEO1KBCrLirrE9nl1z2-fxcUl0OQczWphvPcp-cwfw22K5bvGTsBVdkKqhEh6qMelaGu1Zv4U4ElJ0LqriSSJKzVqMNCX5s-J-1FySRjnZMq8041lR75J2UkcU8GO4ymCQRJ0T9v3aeOVH3_rtAUNlv738cto_auWD9_NdqkVNOfrVbT4jYZwDT1BE3rweOCHDsaOcLzia0gTx2dN8-Z1jQdxC0xaisF5i0-_hb7xuMFfTnp8o4H14WUdPQ4uH86vsmnDhUyXjI8zEqrAjZF5yeOCOW-FcQUXtrCSBEcsxOwky11hja80CxFbRbRYlSXRxmlDyw00Xze130SYWCGjebsILwNljprccl-YSuS-yEtm-2g_SlbBSWKk2uJoplrZq1b2fXT4xwxlhq8-9NEaCFt9tOwcairn-IJutVS0GAiD6No3k5EqCbCOSbL1-4PbaKFNagQ3yw6aHw8nfhf1Rm6ylzTuE4mAywQ
link.rule.ids	310,311,782,786,791,792,798,4054,4055,27934,54767
linkProvider	IEEE
linkToHtml	http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT9wwEB516QG4tOWhbl_rA70RiBM7jo99sNqqC6rEIrhZfqJKbYLY3f9fj7PZRQIJ9RLFkqNE45n48zy-ATjiLIQIDIrMesozxmufGc1CtKs6MFlWzCW2z8mluLipv58hTc7xuhbGe5-Sz_wJ3qZYvmvtEl1lp7RKiGQALzkTleiqtdYeFWRKSeC6r4qkiS016jASmOY3if1RCkm5EHTFvdOPZU-_yfhpHLOan8RzBMc06IG2f1etVx79r9MmNH71f5__Gg421Xzk13qfegMvfLMHuw-ICPfhGtvQo8-DzHogOyfxSqaYKE6-tu0frxsyjptg0lOC7lvy5UHwmyxasnHTk3ONvA-3B3A1Ppt9m2SrlguZLrlYZDRUQRgj81LEJXPe1sYVoraFlTQ4ajFqJ3nuCmt8pXmI6CrixaosqTZOG1YewlbTNv4tEGprGQ3cRYAZGHfM5Fb4wlR17ou85HYIoyhZhWeJuerKo7nqZK862Q_h8zMzlLn_7cMQ9lHY6q7j51ArOccX9Kulos1gIEQ3vl3OVUmRd0zSd08_OILtyex8qqY_Ln6-h50uxRGdLh9ga3G_9B9hMHfLT0n7_gFqtc5V
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=30th+ACM%2FIEEE+Design+Automation+Conference&rft.atitle=Spectral+Transforms+for+Large+Boolean+Functions+with+Applications+to+Technology+Mapping&rft.au=Clarke%2C+E.M.&rft.au=McMillan%2C+K.L.&rft.au=Zhao%2C+X.&rft.au=Fujita%2C+M.&rft.date=1993-01-01&rft.pub=ACM&rft.isbn=9780897915779&rft.issn=0738-100X&rft.spage=54&rft.epage=60&rft_id=info:doi/10.1145%2F157485.164569&rft.externalDocID=1600192
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0738-100X&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0738-100X&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0738-100X&client=summon