RE: changing DdNode structure

From: Shaker Sarwary (Shaker_at_atrenta.com)
Date: Mon Sep 27 2004 - 12:03:02 MDT

• Next message: luca gambardella: "computing g*h"
• Previous message: Fabio Somenzi: "Re: changing DdNode structure"
• Maybe in reply to: luca gambardella: "changing DdNode structure"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi Fabio,
  Have you got a chance to sign the papers and send it back to us?
  Please let me know if you have any questions.
  Thanks,
  Shaker
 

-----Original Message-----
From: owner-vis-users_at_lists.colorado.edu
[mailto:owner-vis-users_at_lists.colorado.edu] On Behalf Of Fabio Somenzi
Sent: Monday, September 27, 2004 10:23 AM
To: vis-users_at_lists.colorado.edu
Cc: vis-users_at_Colorado.EDU
Subject: Re: changing DdNode structure

No, it isn't straightforward. For performance reasons, CUDD assumes
that a DdNode is aligned to a 16-byte (32-byte) boundary on a 32-bit
(64-bit) machine. The alignment allows CUDD to make use of the low
order bits of addresses. This is turn is used to make a computed table
entry also fit within 16 bytes (on a 32-bit machine).

Fabio

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

 lg> I'm trying to increase DdNode structure by introducing a "double"
 lg> field, but I've got some Segmentation Fault problems regarding lg>
with a node allocation. It's straight forward to change Ddnode lg>
structure?
 lg> Thanks in advance
 
 lg> Luca

• Next message: luca gambardella: "computing g*h"
• Previous message: Fabio Somenzi: "Re: changing DdNode structure"
• Maybe in reply to: luca gambardella: "changing DdNode structure"
• 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 Sep 27 2004 - 12:12:27 MDT