Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams

Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision dia...

Full description

Saved in:
Bibliographic Details
Published in2012 IEEE 42nd International Symposium on Multiple-Valued Logic pp. 142 - 147
Main Authors Stankovic, M., Stojkovic, S., Stankovic, R. S.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2012
Subjects
compact represetation
Correlation
Data structures
Decision diagrams
Encoding
Incompletely specified logic functions
Logic functions
Transforms
Vectors
Online AccessGet full text
ISBN9781467309080
1467309087
ISSN0195-623X
DOI10.1109/ISMVL.2012.38

Cover

Abstract Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision diagrams. The method is based on the analysis of Walsh and Vilenkin-Chrestenson spectral coefficients for binary and multiple-valued functions, respectively, and the operation of spectral translation of logic functions. Spectral transforms are used to identify the linear function with strongest correlation with the initial function and assign the unspecified values as well as to specify the spectral translation that will result in a compact decision diagram.
AbstractList Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision diagrams. The method is based on the analysis of Walsh and Vilenkin-Chrestenson spectral coefficients for binary and multiple-valued functions, respectively, and the operation of spectral translation of logic functions. Spectral transforms are used to identify the linear function with strongest correlation with the initial function and assign the unspecified values as well as to specify the spectral translation that will result in a compact decision diagram.
Author Stankovic, R. S.
Stojkovic, S.
Stankovic, M.
Author_xml – sequence: 1
  givenname: M.
  surname: Stankovic
  fullname: Stankovic, M.
  organization: Fac. of Electron. Eng., Dept. of Comput. Sci., Univ. of Nis, Nis, Serbia
– sequence: 2
  givenname: S.
  surname: Stojkovic
  fullname: Stojkovic, S.
  organization: Fac. of Electron. Eng., Dept. of Comput. Sci., Univ. of Nis, Nis, Serbia
– sequence: 3
  givenname: R. S.
  surname: Stankovic
  fullname: Stankovic, R. S.
  organization: Fac. of Electron. Eng., Dept. of Comput. Sci., Univ. of Nis, Nis, Serbia
BookMark eNotjj1PwzAYhI0oEm3pyMTiP5Dy2o7teIR-QKVUSBQqtspNXldGqRPF6dB_TwpMd9LdPboRGYQ6ICH3DKaMgXlcbdbbfMqB8anIrsgItDIyVVrANZkYnbFfbyCDARkCMzJRXHzdklGM3wAcuIYhad6xaTFi6Gzn60BrR1ehqI9NhR1WZ7ppsPDOY0mffbDtmdpQ0vWp6nzfSLa2OvVRXh98QZenUFwYke7PdNYjbNHReT-PF_Dc20Nrj_GO3DhbRZz865h8Lhcfs9ckf3tZzZ7yxDMtu2QPTirnjHISUoEZCmZSAFNayZkSuE_Lwqoy01b2Ibi0dNogaOSmlEKjGJOHP65HxF3T-mP_fqc4S7XJxA9D5l73
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/ISMVL.2012.38
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
EISBN 0769546730
9780769546735
EndPage 147
ExternalDocumentID 6214798
Genre orig-research
GroupedDBID --Z
-~X
23M
29O
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ABDPE
ABLEC
ADZIZ
AFFNX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RIO
RNS
ID FETCH-LOGICAL-i175t-b0f56ff96f5043e8e3194009da52163eb4dca6d87a5e8e0f4df79e07e29d537e3
IEDL.DBID RIE
ISBN 9781467309080
1467309087
ISSN 0195-623X
IngestDate Wed Aug 27 04:19:41 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i175t-b0f56ff96f5043e8e3194009da52163eb4dca6d87a5e8e0f4df79e07e29d537e3
PageCount 6
ParticipantIDs ieee_primary_6214798
PublicationCentury 2000
PublicationDate 2012-May
PublicationDateYYYYMMDD 2012-05-01
PublicationDate_xml – month: 05
  year: 2012
  text: 2012-May
PublicationDecade 2010
PublicationTitle 2012 IEEE 42nd International Symposium on Multiple-Valued Logic
PublicationTitleAbbrev ismvl
PublicationYear 2012
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0020270
ssib015832953
ssj0000703636
Score 1.8268601
Snippet Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research...
SourceID ieee
SourceType Publisher
StartPage 142
SubjectTerms compact represetation
Correlation
Data structures
Decision diagrams
Encoding
Incompletely specified logic functions
Logic functions
Transforms
Vectors
Title Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams
URI https://ieeexplore.ieee.org/document/6214798
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV05T8MwFLZKJ1g4WsQtD4wkdeojyQqlKoggBLTqVtmxLVVUaUWTofx6bOcoQgxsSbwkzst7z_F3AHDNJdeSBtxTRGCPcE09rlnqxSnWiEYyjRxJLHlmozF5nNJpC9w0XBillAOfKd8eur18uUwL-6usx6ypThztgB2zcCu5WnXsBNSEZr0j5LKwU5ZizeLLLL9Q7U1oSv7UkbyYie8YRWGt_VSdo60YZ-_hLZk8WQhY37cclh8WLK4CDfdBUt97CTz58Itc-OnXL1nH_z7cAehuuX7wpalih6ClsiOwlzRqrusOWL06uGzFUsrgUkOTViwW3XTciw10Hvba9LLw1rF7Ic8kTCqkojfhi8IMWVPnFA5NGXWRDsUGulyU5nBQ-fzAwZxbsNi6C8bD-_e7kVc5NXhz037knkCaMq1jpq0gmoqU-bBNcoglN90Bw0oQmXImo5BTM4g0kTqMFQpVP5YUhwofg3a2zNQJgIQrjLnShFJOdECEpDLCgaAYIc1IfAo6du5mq1KMY1ZN29nfl8_Brn11JULxArTzz0Jdmi4iF1cufL4ByJXBJg
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3LT8IwGG8QD-rFBxjf9uDRQaGPbVdFAsqIUSDcSLe2CZEMItsB_3rb7oExHrxt62Vbv33f1_X3AOCOC64EbXFHkhA7hCvqcMUix4-wQtQTkWdJYsGQ9cbkeUqnFXBfcmGklBZ8Jhvm0O7li2WUml9lTWZMdXxvB-xSQ8bN2FpF9LSoDs5iT8jmYastxcrll16AocKdUBf9qaV5MR3hPvLcQv0pP0dbOc5m_z2YDAwIrN0wLJYfJiy2BnUPQVDcfQY9-WikSdiIvn4JO_738Y5Afcv2g69lHTsGFRmfgIOg1HNd18DqzQJmc55SDJcK6sRi0Oi6515soHWxV7qbhQ-W3wt5LGCQYxWdCV-kesjYOkewqwupjXUYbqDNRlECO7nTD-zMuYGLretg3H0aPfac3KvBmesGJHFCpChTymfKSKJJT-pPW6cHX3DdHzAsQyIizoTncqoHkSJCub5Ermz7gmJX4lNQjZexPAOQcIkxl0pPMSeqRUJBhYdbIcUIKUb8c1Az7262yuQ4Zvlru_j78i3Y642CwWzQH75cgn0zjRle8QpUk89UXuueIglvbCh9Aw11xG4
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=2012+IEEE+42nd+International+Symposium+on+Multiple-Valued+Logic&rft.atitle=Representation+of+Incompletely+Specified+Binary+and+Multiple-Valued+Logic+Functions+by+Compact+Decision+Diagrams&rft.au=Stankovic%2C+M.&rft.au=Stojkovic%2C+S.&rft.au=Stankovic%2C+R.+S.&rft.date=2012-05-01&rft.pub=IEEE&rft.isbn=9781467309080&rft.issn=0195-623X&rft.spage=142&rft.epage=147&rft_id=info:doi/10.1109%2FISMVL.2012.38&rft.externalDocID=6214798
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0195-623X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0195-623X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0195-623X&client=summon