Implementation of multiple-output functions using PQMDDs

A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (shared reduced ordered Binary Decision Diagrams). In this paper, we propose PQMDD (Paged Quasi-reduced ordered Multi-valued Decision Diagram) as a new data structure. A function is represented by a PQMDD, and stored in memory. Dedicated control circuits traverse the PQMDD in parallel. We represent multiple-output function for benchmark functions by SBDDs and PQMDDs and compare the size of memory and computation time.

[1]  C. Y. Lee.  Representation of switching circuits by binary-decision programs , 1959 .

[2]  M. Davio,et al.  Optimization of multivalued decision algorithms , 1978, MVL '78.

[3]  Alexander Saldanha,et al.  Fast discrete function evaluation using decision diagrams , 1995, ICCAD.

[4]  Tsutomu Sasao,et al.  A method to represent multiple-output switching functions by using multi-valued decision diagrams , 1996, Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96).

[5]  Sharad Malik,et al.  Fast functional simulation using branching programs , 1995, ICCAD.

[6]  Tsutomu Sasao,et al.  A hardware simulation engine based on decision diagrams (short paper) , 2000, ASP-DAC '00.

[7]  Tsutomu Sasao,et al.  A hardware simulation engine based on decision diagrams , 2000, Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106).

[8]  Tiziano Villa,et al.  Multi-valued decision diagrams: theory and applications , 1998 .

[9]  D. Michael Miller.  Multiple-valued logic design tools , 1993, [1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic.

[10]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[11]  Rolf Drechsler,et al.  Efficient graph based representation of multi-valued functions with an application to genetic algorithms , 1994, Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94).

[12]  Tsutomu Sasao,et al.  Switching Theory for Logic Synthesis , 1999, Springer US.

[13]  Sharad Malik,et al.  Fast functional simulation using branching programs , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[14]  A.L. Sangiovanni-Vincentelli,et al.  Fast discrete function evaluation using decision diagrams , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[15]  Christopher R. Clare.  Designing logic systems using state machines , 1973 .

[16]  Nagisa Ishiura,et al.  Shared binary decision diagram with attributed edges for efficient Boolean function manipulation , 1990, 27th ACM/IEEE Design Automation Conference.