Research Topic: Parity-OBDDS

Ordered Binary Decision Diagrams (OBDDs) have already proved useful in the verification of combinational and sequential circuits. Due to limitations of the descriptive power of OBDDs several more general models of Binary Decision Diagrams have been studied. In our research, ParityOBDD s - also known as Mod2OBDDs -  in respect to their ability to serve as a tool for combinational verification are considered.

Technical Reports:

• Forschungsbericht 99-27:
H. Sack, E. Dubrova, Ch. Meinel: 
Mod-p Decision Diagrams: A Data-Structure for Multiple-Valued Functions
• Forschungsbericht 99-23:
E. Dubrova, H. Sack: 
Probabilistic Verification of Multiple-Valued Functions
• Forschungsbericht 99-19:
Ch. Meinel, H. Sack: 
Algorithmic Considerations for Parity-OBDD Reordering
• Forschungsbericht 98-28:
Ch. Meinel, H. Sack:
Mod2OBDDs - a BDD Structure for Probabilistic Verification
• Forschungsbericht 97-15:
Ch. Meinel, H. Sack: 
Case Study: Manipulating Mod2OBDDs by Means of Signatures

Publications:

• H. Sack, E. Dubrova, Ch. Meinel:

Representation of Multiple-Valued Functions with Mod-p-Decsion Diagrams,
Proc. of IEEE/ACM Int. Workshop of Logic Synthesis (IWLS2000), Dana Point, CA, USA, 2000, pp. 341-348
• H. Sack, E. Dubrova, Ch. Meinel:

Mod-p Decision Diagrams: A Data-Structure for Multiple-Valued Functions, 
Proc. of 30th IEEE International Symposium on Multiple-Valued-Logic (ISMVL 2000), Portland, Oregon, USA, 2000, pp. 233-238
• E. Dubrova, H. Sack: 

Probabilistic Verification of Multiple-Valued Functions, 
Proc. of 30th IEEE International Symposium on Multiple-Valued-Logic (ISMVL 2000), Portland, Oregon, USA, 2000, pp. 460-466
• Ch. Meinel, H. Sack:

Mod2OBDDs - a BDD Structure for Probabilistic Verification, 
Electronic Notes in Theoretical Computer Science, vol.22, 2000
• Ch. Meinel, H. Sack: 

Algorithmic Considerations for Parity-OBDD Reordering, 
Proc. of the 1999 IEEE/ACM Int. Workshop on Logic Synthesis (IWLS99), Lake Tahoe, CA, 1999, pp.71-74 and
Proc. of 4th Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design (Reed-Muller'99), Victoria, B.C., Canada, 1999, pp. 179-184
• Ch. Meinel, H. Sack:

Mod2OBDDs - a BDD Structure for Probabilistic Verification, 
Proc. of the 1998 IEEE/ACM Int. Workshop on Logic Synthesis (IWLS98), Lake Tahoe, CA, 1998
• Ch. Meinel, H. Sack:

Case Study: Manipulating Mod2OBDDs by Means of Signatures, 
Proc. of the 3rd Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design (Reed-Muller'97), Oxford, UK, 1997

People:

• Prof. Dr. Christoph Meinel
• Dipl. Inform. Harald Sack

Research Topics: Parity-OBDDs Update: 06/11/2000, H. Sack