Looking for a BDD software

GATAA Mounir gataa
Sat Dec 2 14:45:41 EST 1995


Hello,
Is there any software available for BDD.
First, I have to represent sequential machines in smaller sizes.
Second, I will see if it's possible to execute sequential machines in a 
calculator with the BDD representation.
Thank you in advance.


-----------------------------
gataa at lurpa.ens-cachan.fr





More information about the Bio-soft mailing list