1BDD101(1)                    ALLIANCE BDD LIBRARY                    BDD101(1)
2
3
4

NAME

6       bdd -  Mutli Reduced Ordered Binary Decision Diagrams
7
8

ORIGIN

10       This software belongs to the  ALLIANCE CAD SYSTEM developed by the ASIM
11       team at LIP6 laboratory of Université Pierre et Marie CURIE, in  Paris,
12       France.
13
14       Web : http://asim.lip6.fr/recherche/alliance/
15       E-mail : alliance-users@asim.lip6.fr
16

DESCRIPTION

18       bdd  is  a  library that enables to represent a boolean expression as a
19       Multi Reduced Ordered Binary Decision Diagrams.
20
21       viewbddallocinfo    - displays memory informations.
22
23       applybddnodenot     - complements a bdd.
24
25       applybddnodeterm    - applies an operator on two bdd nodes.
26
27       applybddnode        - applies an operator on two bdd nodes.
28
29       applybddnodeite     - computes the IF-THEN-ELSE  logical operation.
30
31       applybddnodelist    - applies an opertor to a bdd nodes list.
32
33       addbddassoc         - creates a new association variables.
34
35       addbddnodeassoc     - adds a bdd node in a variable association.
36
37       delbddassoc         - deletes a variable association.
38
39       delbddnodeassoc     - deletes a bdd node in a variable association.
40
41       destroybddassoc     - frees all the variable associations.
42
43       viewbddassoc        - displays variable associations.
44
45       checkbddvar         - checks the coherence of a variable.
46
47       checkbddindex       - checks the coherence of a bdd index.
48
49       checkbddoper        - ckecks the coherence of an operator.
50
51       checkbddassoc       - checks a variable association.
52
53       checkbddmaxnode     - checks if the max node reached.
54
55       createbddcircuit    - creates a bdd circuit.
56
57       resetbddcircuit     - resets a bdd circuit.
58
59       destroybddcircuit   - frees a bdd circuit.
60
61       searchbddcircuitin  - searches a specified input in a circuit.
62
63       addbddcircuitin     - adds a new input in a circuit.
64
65       addbddcircuitaux    - adds an auxialiary variable in a circuit.
66
67       searchbddcircuitout - searches a specified output in a circuit.
68
69       addbddcircuitout    - adds a new output in a circuit.
70
71       delbddcircuitout    - deletes a specified output in a circuit.
72
73       addbddcircuitabl    - converts an abl to a bdd node.
74
75       convertbddcircuitabl
76                           - converts a bdd node to an abl.
77
78       convertbddcircuitsumabl
79                           - converts a bdd node to an abl.
80
81       viewbddcircuit      - displays a bdd circuit.
82
83       cofactorbddnode     - computes the generalized cofactor.
84
85       restrictbddnode     - substitutes a variable by zero or one.
86
87       composebddnode      - substitutes a variable by a bdd node.
88
89       convertbddindexabl  - converts a bdd index to an atomic abl.
90
91       convertbddmuxabl    - converts a bdd node to a multiplexor.
92
93       convertbddnodeabl   - converts a bdd node to an abl.
94
95       convertbddnodesumabl
96                           - converts a bdd node to an abl.
97
98       existbddnodeassocon -  computes an existential quantification.
99
100       existbddnodeassocoff
101                           - computes an existential quantification.
102
103       garbagebddsystem    - forces a bdd garbage collection.
104
105       implybddnode        - computes a bdd that implies a conjonction.
106
107       intersectbddnode    - tests for an intersection.
108
109       markbddnode         - marks a bdd node.
110
111       unmarkbddnode       - clears a marked bdd node.
112
113       getbddnodenum       - gets the number of nodes in a bdd.
114
115       getbddnodesize      - gets the number of nodes in a bdd.
116
117       addbddnode          - adds a new bdd node.
118
119       addbddnodelist      - adds a node in a chain_list.
120
121       delbddnode          - deletes a bdd node.
122
123       delbddnodelist      - deletes a list of bdd nodes.
124
125       viewbddnode         - displays a bdd node.
126
127       incbddrefext        - increments the number of external reference.
128
129       incbddrefint        - increments the number of internal reference.
130
131       decbddrefext        - decrements the number of external reference.
132
133       decbddrefint        - decrements the number of internal reference.
134
135       setbddrefext        - sets a node visible from outside.
136
137       unsetbddrefext      - sets a node invisible from outside.
138
139       clearbddsystemrefint
140                           - clears all the internal references.
141
142       clearbddsystemrefext
143                           - clears all the external references.
144
145       clearbddsystemref   - clears all the references.
146
147       relprodbddnodeassoc - computes a relation product.
148
149       reorderbddsystemsimple
150                           - reorders the bdd nodes.
151
152       reorderbddsystemwindow
153                           - reorders the bdd nodes.
154
155       reorderbddsystemtop - reorders the bdd nodes.
156
157       reorderbddsystemdynamic
158                           - sets the dynamic reorder parameters.
159
160       satisfybddnode      - finds a satisfying path for a bdd.
161
162       simpbddnodedcon     - simplifies a bdd with don't cares on its on-set.
163
164       simpbddnodedcoff    - simplifies a bdd with don't cares on its off-set
165
166       substbddnodeassoc   - substitutes variables with bdd nodes.
167
168       getbddnodesupport   - gives the support of a bdd node.
169
170       isbddvarinsupport   - checks if a variable appears in a bdd node.
171
172       createbddsystem     - creates a bdd system.
173
174       resetbddsystem      - resets a bdd system.
175
176       destroybddsystem    - frees a bdd system.
177
178       viewbddsystem       - displays a bdd system.
179
180       viewbddsysteminfo   - displays statisticals informations.
181
182       testbddcircuit      - debbugs a bdd circuit.
183
184       addbddvar           - creates a new variable.
185
186       addbddvarlast       - creates a new variable.
187
188       addbddvarfirst      - creates a new variable.
189
190       addbddvarbefore     - creates a new variable.
191
192       addbddvarafter      - creates a new variable.
193
194       sweepbddvar         - sweeps all the unused nodes for a variable.
195
196       swapbddvar          - swaps two contigous variables.
197
198       getbddvarbyindex    - converts bdd index to a variable number.
199
200       getbddvarindex      - converts a variable number in a bdd index.
201
202       getbddvarnode       - gives the bdd node of a variable.
203
204       getbddvarnodebyindex
205                           - gives the bdd node of a variable.
206
207       addbddvarauxsingle  - creates an auxiliary variable.
208
209       addbddvarauxglobal  - creates an auxiliary variable.
210
211
212       libBdd101.a :
213
214       allocbdduserfunc, allocbddheath, allocbddhnode, allocbddhoper, allocbd‐
215       dhnodetable,   allocbddhopertable,   allocbddblock,  allocbddnodeblock,
216       allocbddvartree, allocbddvarchild, allocbddvarnode,  allocbddindexnode,
217       allocbddvar,  allocbddindex,  allocbddassoc, allocbddassocnode, allocb‐
218       ddnamein, allocbddindexin, allocbddsystem, allocbddcircuit,  viewbddal‐
219       locinfo,   applybddnodenot,   applybddnodeterm,  applybddnode,  applyb‐
220       ddnodeite, applybddnodelist, addbddassoc, addbddnodeassoc, delbddassoc,
221       delbddnodeassoc,  destroybddassoc, viewbddassoc, addbddblock, createbd‐
222       dblock,  resetbddblock,  destroybddblock,  viewbddblock,   checkbddvar,
223       checkbddindex, checkbddoper, checkbddassoc, checkbddmaxnode, createbdd‐
224       circuit, resetbddcircuit, destroybddcircuit, searchbddcircuitin, addbd‐
225       dcircuitin,  addbddcircuitaux,  searchbddcircuitout,  addbddcircuitout,
226       delbddcircuitout, addbddcircuitabl,  convertbddcircuitabl,  convertbdd‐
227       circuitsumabl,  viewbddcircuit,  cofactorbddnode, restrictbddnode, com‐
228       posebddnode, convertbddindexabl,  convertbddmuxabl,  convertbddnodeabl,
229       convertbddnodesumabl, existbddnodeassocon, existbddnodeassocoff, freeb‐
230       dduserfunc,  freebddheath,   freebddhnode,   freebddhoper,   freebddhn‐
231       odetable,  freebddhopertable,  freebddblock,  freebddnodeblock, freebd‐
232       dvartree, freebddvarchild,  freebddvarnode,  freebddindexnode,  freebd‐
233       dvar,   freebddindex,  freebddassoc,  freebddassocnode,  freebddnamein,
234       freebddindexin, freebddsystem, freebddcircuit, garbagebddsystem, getbd‐
235       dheathvar,  getbddheath, delbddheath, setbddhnodefunc, getbddhnodesize,
236       getbddhnodekey, getbddhnodeindex,  checkbddhnode,  createbddhnodetable,
237       destroybddhnodetable,      resetbddhnodetable,     resizebddhnodetable,
238       stretchbddhnodetable, addbddhnode, delbddhnode,  viewbddhnode,  viewbd‐
239       dhnodetable,  viewbddindexnode, viewbddvarnode, setbddhoperfunc, getbd‐
240       dhopersize, getbddhoperkey, createbddhopertable,  destroybddhopertable,
241       resetbddhopertable,  addbddhoper, searchbddhoper, viewbddhoper, viewbd‐
242       dhopertable,  implybddnode,  intersectbddnode,  markbddnode,   unmarkb‐
243       ddnode,   getbddnodenum,  getbddnodesize,  addbddnode,  addbddnodelist,
244       delbddnode, delbddnodelist,  viewbddnode,  incbddrefext,  incbddrefint,
245       decbddrefext,  decbddrefint, setbddrefext, unsetbddrefext, clearbddsys‐
246       temrefint, clearbddsystemrefext,  clearbddsystemref,  relprodbddnodeas‐
247       soc, reorderbddvartreewindow2, reorderbddvartreewindow3, reorderbddsys‐
248       temsimple, reorderbddsystemwindow, reorderbddsystemtop,  reorderbddsys‐
249       temdynamic, resizebddvarchild, resizebddvarnode, resizebddvar, resizeb‐
250       ddindexnode,   resizebddindex,   resizebddassocnode,   resizebddnamein,
251       resizebddindexin,  satisfybddnode,  simpbddnodedcon,  simpbddnodedcoff,
252       substbddnodeassoc, getbddnodesupport, isbddvarinsupport,  createbddsys‐
253       tem,  resetbddsystem,  destroybddsystem,  viewbddsystem, viewbddsystem‐
254       info, testbddcircuit, addbdduserfunc, delbdduserfunc,  execbdduserfunc,
255       destroybdduserfunc,   newbddvar,   addbddvar,   addbddvarlast,   addbd‐
256       dvarfirst, addbddvarbefore,  addbddvarafter,  sweepbddvar,  swapbddvar,
257       getbddvarbyindex,  getbddvarindex, getbddvarnode, getbddvarnodebyindex,
258       addbddvarauxsingle,  addbddvarauxglobal,   searchbddvartree,   deltabd‐
259       dvartree,  shiftbddvartree,  addbddvartree,  swapbddvartree,  createbd‐
260       dvartree, resetbddvartree, destroybddvartree, viewbddvartree.
261
262

SEE ALSO

264       aut(1),abl(1).
265
266
267
268
269
270
271ASIM/LIP6                       October 1, 1997                      BDD101(1)