Keyword : decision diagrams


An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics
Akira ITO Rei UENO Naofumi HOMMA 
Publication:   
Publication Date: 2021/08/01
Vol. E104-D  No. 8 ; pp. 1083-1091
Type of Manuscript:  Special Section PAPER (Special Section on Multiple-Valued Logic and VLSI Computing)
Category: Logic Design
Keyword: 
decision diagramsformal verificationGalois-field arithmetic circuitsmultiple-valued logic
 Summary | Full Text:PDF(286.9KB)

Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams
Yuma INOUE Takahisa TODA Shin-ichi MINATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/06/01
Vol. E97-A  No. 6 ; pp. 1171-1179
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
pattern-avoiding permutationsgenerating algorithmsdecision diagramsπDDexperimental algorithms
 Summary | Full Text:PDF(1.3MB)

XML Framework for Various Types of Decision Diagrams for Discrete Functions
Stanislav STANKOVIC Jaakko ASTOLA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/11/01
Vol. E90-D  No. 11 ; pp. 1731-1740
Type of Manuscript:  PAPER
Category: Contents Technology and Web Information Systems
Keyword: 
decision diagramsXMLgraphdata structureslogic design
 Summary | Full Text:PDF(866.9KB)

Area-Time Complexities of Multi-Valued Decision Diagrams
Shinobu NAGAYAMA Tsutomu SASAO Yukihiro IGUCHI Munehiro MATSUURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/05/01
Vol. E87-A  No. 5 ; pp. 1020-1028
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
decision diagramsthe number of nodesarea-time complexityrandomly generated functionrepresentation of logic functions
 Summary | Full Text:PDF(307.2KB)