Re: changing cudd_zddCountMinterms

From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Mon Oct 11 2004 - 17:36:23 MDT

• Next message: luca gambardella: "count_zdddoublestep"
• Previous message: Fabio Somenzi: "Re: I cannot read blif file"
• In reply to: luca gambardella: "changing cudd_zddCountMinterms"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

>>>>> "lg" == luca gambardella <espuma_party_at_yahoo.it> writes:

 lg> Hi,

 lg> I've to change cudd_zddCountMinterms in order to get the number
 lg> of minterms normalized by 2^n (the entire space). I need to
 lg> modify cuddZddCountDouble Step, and I've tried so much ways to do
 lg> it, but all wrongs. Who can help me?

Luca,

Can you briefly describe your attempts?

Thanks

Fabio

• Next message: luca gambardella: "count_zdddoublestep"
• Previous message: Fabio Somenzi: "Re: I cannot read blif file"
• In reply to: luca gambardella: "changing cudd_zddCountMinterms"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Mon Oct 11 2004 - 17:38:30 MDT