This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation
August 2007 (vol. 56 no. 8)
pp. 1133-1145
This paper presents a technique for representing multiple output binary and word-level functions in GF(N) ($N=p^m$, p a prime number and m a nonzero positive integer) based on decision diagrams (DD). 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 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(N) 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 these results reflect that the proposed technique can out perform existing techniques.
Index Terms:
Finite or Galois Fields, Decision Diagrams, Characteristic and Encoded Characteristic Functions, Evaluation, Simulation, Verification
Citation:
Abusaleh Jabir, Dhiraj Pradhan, T.L. Rajaprabhu, A.K. Singh, "A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation," IEEE Transactions on Computers, vol. 56, no. 8, pp. 1133-1145, Aug. 2007, doi:10.1109/TC.2007.1056
Usage of this product signifies your acceptance of the Terms of Use.