Paper Info
Title
A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation
Abstract
This paper presents a technique for representing multiple-output binary and word-level functions in GF(JV) (where N = pm, p is a prime number, and m is a nonzero positive integer) based on decision diagrams (DDs). The presented DD is canonical and can be made minimal with respect to a given variable order. The DD has been tested on benchmarks, including integer multiplier circuits, and the results show that it can produce better node compression (more than an order of magnitude in some cases) compared to shared binary DDs (BDDs). The benchmark results also reflect the effect of varying the input and output field sizes on the number of nodes. Methods of graph-based representation of characteristic and encoded characteristic functions in GF(iV) are also presented. Performance of the proposed representations has been studied in terms of average path lengths and the actual evaluation times with 50,000 randomly generated patterns on many benchmark circuits. All of these results reflect that the proposed technique can outperform existing techniques.
Year
DOI
Venue
2007
10.1109/TC.2007.1056
Computers, IEEE Transactions
Keywords
Field
DocType
Galois fields,binary decision diagrams,cryptography,data compression,functions,graph theory,decision diagrams,graph-based representation,integer multiplier circuits,multiple-output binary function,node compression,word-level function,Characteristic and Encoded Characteristic Functions,Decision Diagrams,Evaluation,Finite or Galois Fields,Simulation,Verification
Graph theory,Boolean function,Integer,Finite field,Polynomial,Algorithm,Multiplier (economics),Input/output,Mathematics,Binary number
Journal
Volume
Issue
ISSN
56
8
0018-9340
Citations 
PageRank 
References 
4
0.46
21
Authors
4
Name
Order
Citations
PageRank
A. M. Jabir1355.73
Dhiraj K. Pradhan223121.80
T. L. Rajaprabhu391.97
Alok Singh420117.15