Boolean matching algorithms

The authors consider the problem of detecting the equivalence of two single-output Boolean functions, considering the permutation and complementation of their inputs, complementation of outputs, and associated don't-care sets, which is often referred to as the Boolean matching problem. Boolean...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:1993 International Symposium on VLSI Technology, Systems, and Applications Proceedings of Technical Papers s. 44 - 48
Hlavní autoři: Chen, K.-C., Yang, J.C.-Y.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 1993
Témata:
Algorithm design and analysis
Boolean functions
Libraries
Logic design
Smoothing methods
Terminology
Testing
ISBN:0780309782, 9780780309784
ISSN:1524-766X
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract The authors consider the problem of detecting the equivalence of two single-output Boolean functions, considering the permutation and complementation of their inputs, complementation of outputs, and associated don't-care sets, which is often referred to as the Boolean matching problem. Boolean matching is a verification problem, and it has important applications in logic synthesis problems such as technology-mapping. Several new approaches are presented for solving the Boolean matching problem. The features and efficiency of these algorithms are discussed. The author also compare with an existing Boolean matching algorithm by applying them to the technology-mapping of cell based designs.< >
AbstractList The authors consider the problem of detecting the equivalence of two single-output Boolean functions, considering the permutation and complementation of their inputs, complementation of outputs, and associated don't-care sets, which is often referred to as the Boolean matching problem. Boolean matching is a verification problem, and it has important applications in logic synthesis problems such as technology-mapping. Several new approaches are presented for solving the Boolean matching problem. The features and efficiency of these algorithms are discussed. The author also compare with an existing Boolean matching algorithm by applying them to the technology-mapping of cell based designs.< >
Author Chen, K.-C.
Yang, J.C.-Y.
Author_xml – sequence: 1
  givenname: K.-C.
  surname: Chen
  fullname: Chen, K.-C.
  organization: Fujitsu America Inc., San Jose, CA, USA
– sequence: 2
  givenname: J.C.-Y.
  surname: Yang
  fullname: Yang, J.C.-Y.
BookMark eNotj0tLw0AURi9YwbZ2L7rpH0icmXuTmVnWYlUodNEg7sqdR9uRPCTJxn9voX6bszoHvhlM2q6NAA9S5FIK-_xZ7Ve5tBZzVWKp6AZmQhuBwmqjJjCVhaJMl-XXHSyG4VtcRlSowk7h6aXr6sjtsuHRn1N7WnJ96vo0npvhHm6PXA9x8c85VJvXav2ebXdvH-vVNkvGjhlHbYgsOqbCCR-8p6A9a0IVFKFG8l5GRiOdYYlsj7EIFyFQYOO8wzk8XrMpxnj46VPD_e_h-gT_AKsZPhY
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/VTSA.1993.263624
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Xplore
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Xplore
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EndPage 48
ExternalDocumentID 263624
GroupedDBID 29O
6IE
6IF
6IH
6IK
6IL
6IN
AAJGR
AAWTH
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i89t-ae784493ba45b0cdcc4d7ca7432d243734cc1ea381b8a13a9fe5d449d4da8bcb3
IEDL.DBID RIE
ISBN 0780309782
9780780309784
ISSN 1524-766X
IngestDate Tue Aug 26 22:50:59 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i89t-ae784493ba45b0cdcc4d7ca7432d243734cc1ea381b8a13a9fe5d449d4da8bcb3
PageCount 5
ParticipantIDs ieee_primary_263624
PublicationCentury 1900
PublicationDate 19930000
PublicationDateYYYYMMDD 1993-01-01
PublicationDate_xml – year: 1993
  text: 19930000
PublicationDecade 1990
PublicationTitle 1993 International Symposium on VLSI Technology, Systems, and Applications Proceedings of Technical Papers
PublicationTitleAbbrev VTSA
PublicationYear 1993
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000445259
ssj0020537
Score 1.3456714
Snippet The authors consider the problem of detecting the equivalence of two single-output Boolean functions, considering the permutation and complementation of their...
SourceID ieee
SourceType Publisher
StartPage 44
SubjectTerms Algorithm design and analysis
Boolean functions
Libraries
Logic design
Smoothing methods
Terminology
Testing
Title Boolean matching algorithms
URI https://ieeexplore.ieee.org/document/263624
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB5s8aAXtVbUquzBa9rdTTbJHlUsnkrBIr2VPGa1UHel3fr7TbJtVfDiLQmETAhk5pvHNwC3qTWSKVU4mMo1YdpyIjOWEJ4VksvMJhSL0GxCjEZyOs3HG57tUAuDiCH5DPt-GGL5tjJr7yobpNx9t6wFLSF4U6q1c6fEzAfo8h3W8jQlgSo1ZURwPg2IXfp4glOJG-Kd7Zxtw5dxPniZPN_5Cj7abw771XQl6Jzh0b-kPYbud-1eNN5ppRPYw7IDhz9oB0-hd19VC1Rl5KzVkEoZqcVrtZzXb--rLkyGj5OHJ7JpkkDmMq-JQic_y6lWLNOxscYwK4xydkFqPdcgZcYkqJxe1lIlVOUFZtZtsMwqqY2mZ9AuqxLPIcLUisKhM-SKOtSH2hidUqNlnBWFoMkFdPwlZx8NDcasud_ln6s9OGgyA72v4gra9XKN17BvPuv5ankTnu4Lp6ySnQ
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB60CupFrRW1PvbgddvdTTabPapYKtZSsEhvJY9ZLdRdabf-fpNsWxW8eEsCIRMCmfnm8Q3AdaQVp0JkBqYy6VOpmc9jGvoszjjjsQ4JZq7ZRNLv89EoHSx5tl0tDCK65DNs2aGL5etCLayrrB0x893STdiKKY2Cqlhr7VAJqA3RpWu0ZYlKHFlqRP2EsZHD7NxGFIxSXFLvrOZ0FcAM0vbL8PnG1vCRVnXcr7YrTut09v8l7wE0vqv3vMFaLx3CBuZ12PtBPHgEzduimKLIPWOvumRKT0xfi9mkfHufN2DYuR_edf1lmwR_wtPSF2jkpymRgsYyUFopqhMljGUQacs2SKhSIQqjmSUXIRFphrE2GzTVgkslyTHU8iLHE_Aw0klm8BkyQQzuQ6mUjIiSPIizLCHhKdTtJccfFRHGuLrf2Z-rV7DTHT71xr2H_mMTdqs8Qeu5OIdaOVvgBWyrz3Iyn126Z_wCgcOV5A
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=1993+International+Symposium+on+VLSI+Technology%2C+Systems%2C+and+Applications+Proceedings+of+Technical+Papers&rft.atitle=Boolean+matching+algorithms&rft.au=Chen%2C+K.-C.&rft.au=Yang%2C+J.C.-Y.&rft.date=1993-01-01&rft.pub=IEEE&rft.isbn=9780780309784&rft.issn=1524-766X&rft.spage=44&rft.epage=48&rft_id=info:doi/10.1109%2FVTSA.1993.263624&rft.externalDocID=263624
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1524-766X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1524-766X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1524-766X&client=summon