BDD < SPL < TWiki

Tags: view all tags

---+ Binary Decision Diagram

An efficient data structure for representing boolean functions.

The most commongly used BDD today are actually Reduced Order BDD.

This is a version of BDD that maximal share subgraphs. 

Paper about ROBDD attached.

-- Main.KrisDeVolder - 09 May 2005

Attachments

Topic attachments
I	Attachment	History	Action	Size	Date	Who	Comment
pdf	bdd.pdf	r1	manage	301.2 K	2005-05-09 - 14:59	KrisDeVolder	. R.E. Bryant. IEEE Transactions on Computing 1986. Graph-Based Algorithms for Boolean Function Manipulation.

Raw edit | More topic actions

Topic revision: r1 - 2005-05-09 - KrisDeVolder