Re: computing g*h

From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Thu Sep 30 2004 - 09:48:45 MDT

• Next message: R. Manitra: "I cannot read blif file"
• Previous message: luca gambardella: "computing g*h"
• In reply to: luca gambardella: "computing g*h"
• 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> let g and h are Zdd nodes. I've to compute their product g*h,
 lg> which function? Cudd_zddProduct or Cudd_zddUnion.

You probably want Cudd_zddIntersect. At least, if you want to compute
the conjunction of two Boolean functions. Cudd_zddProduct is for covers.

 lg> Also: if the product between two internal nodes is done, an
 lg> additional node representing g*h should be added to the zdd,
 lg> isn't it?

It depends. For example, if g*h=g no new node is created.

Fabio

• Next message: R. Manitra: "I cannot read blif file"
• Previous message: luca gambardella: "computing g*h"
• In reply to: luca gambardella: "computing g*h"
• 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 : Thu Sep 30 2004 - 09:57:57 MDT