cudd.ps

主要进行大规模的电路综合

atan/pa X newpath clippath mark{transform{itransform moveto}}{transform{
itransform lineto}}{6 -2 roll transform 6 -2 roll transform 6 -2 roll
transform{itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll
curveto}}{{closepath}}pathforall newpath counttomark array astore/gc xdf
pop ct 39 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}
if}N/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1
-1 scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3
get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip
yflip not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub
neg 0 TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{
noflips{TR pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop
90 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get
neg sub neg TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr
1 get neg sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr
2 get ppr 0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4
-1 roll add 2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S
TR}if}N/cp{pop pop showpage pm restore}N end}if}if}N/normalscale{
Resolution 72 div VResolution 72 div neg scale magscale{DVImag dup scale
}if 0 setgray}N/psfts{S 65781.76 div N}N/startTexFig{/psf$SavedState
save N userdict maxlength dict begin/magscale true def normalscale
currentpoint TR/psf$ury psfts/psf$urx psfts/psf$lly psfts/psf$llx psfts
/psf$y psfts/psf$x psfts currentpoint/psf$cy X/psf$cx X/psf$sx psf$x
psf$urx psf$llx sub div N/psf$sy psf$y psf$ury psf$lly sub div N psf$sx
psf$sy scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub
TR/showpage{}N/erasepage{}N/copypage{}N/p 3 def @MacSetUp}N/doclip{
psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2
roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath
moveto}N/endTexFig{end psf$SavedState restore}N/@beginspecial{SDict
begin/SpecialSave save N gsave normalscale currentpoint TR
@SpecialDefaults count/ocount X/dcount countdictstack N}N/@setspecial{
CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto
closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx
sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR
}{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse
CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury
lineto closepath clip}if/showpage{}N/erasepage{}N/copypage{}N newpath}N
/@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{end}
repeat grestore SpecialSave restore end}N/@defspecial{SDict begin}N
/@fedspecial{end}B/li{lineto}B/rl{rlineto}B/rc{rcurveto}B/np{/SaveX
currentpoint/SaveY X N 1 setlinecap newpath}N/st{stroke SaveX SaveY
moveto}N/fil{fill SaveX SaveY moveto}N/ellipse{/endangle X/startangle X
/yrad X/xrad X/savematrix matrix currentmatrix N TR xrad yrad scale 0 0
1 startangle endangle arc savematrix setmatrix}N end

%%EndProcSet
TeXDict begin 40258431 52099146 1000 600 600 (cudd.dvi)
@start /Fa 137[40 51 1[35 35 8[25 2[30 40 45 40 16[61
13[66 61 67[{TeXBase1Encoding ReEncodeFont}12 90.9091
/Times-BoldItalic rf /Fb 136[50 7[37 2[21 108[{
TeXBase1Encoding ReEncodeFont}3 74.7198 /Times-Italic
rf
%DVIPSBitmapFont: Fc cmsy10 8 2
/Fc 2 49 df<B81280A329037B9134>0 D<137013F8EA01FCA3EA03F8A313F0A2120713
E0A3EA0FC0A31380121FA21300A25A123EA3123C127CA21278A212F85A12700E227EA412
>48 D E
%EndDVIPSBitmapFont
/Fd 134[37 37 54 37 37 21 29 25 1[37 37 37 58 21 37 1[21
37 37 25 33 37 33 37 33 9[71 54 54 46 11[54 2[46 54 50
7[21 21 10[21 19 25 19 41[42 2[{TeXBase1Encoding ReEncodeFont}38
74.7198 /Times-Roman rf /Fe 201[29 29 29 29 29 29 49[{
TeXBase1Encoding ReEncodeFont}6 58.1154 /Times-Roman
rf /Ff 201[33 33 33 33 33 33 33 48[{TeXBase1Encoding ReEncodeFont}7
66.4176 /Times-Roman rf /Fg 130[55 55 55 55 55 55 55
55 55 55 55 55 55 55 55 55 55 55 55 55 55 55 55 55 55
55 55 55 55 1[55 1[55 55 55 55 1[55 1[55 55 55 55 55
55 55 55 55 55 55 2[55 55 55 55 55 55 55 55 55 55 55
55 55 55 55 55 55 55 55 55 55 55 55 55 55 55 55 55 55
55 55 55 55 55 2[55 1[55 55 55 33[{TeXBase1Encoding ReEncodeFont}84
90.9091 /Courier rf /Fh 133[44 50 1[72 50 55 33 39 44
55 55 50 55 83 28 55 1[28 55 50 33 44 55 44 55 50 6[66
2[100 72 72 66 55 72 1[61 78 1[94 66 78 1[39 78 78 61
1[72 72 66 72 7[50 50 50 50 50 50 50 50 50 50 28 25 46[{
TeXBase1Encoding ReEncodeFont}56 99.6264 /Times-Bold
rf /Fi 145[33 110[{TeXBase1Encoding ReEncodeFont}1 66.4176
/Times-Italic rf
%DVIPSBitmapFont: Fk cmmi10 10.95 1
/Fk 1 60 df<121EEA7F8012FF13C0A213E0A3127FEA1E601200A413E013C0A312011380
120313005A120E5A1218123812300B1C798919>59 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fl cmr10 10.95 4
/Fl 4 62 df<1430147014E0EB01C0EB03801307EB0F00131E133E133C5B13F85B12015B
1203A2485AA2120F5BA2121F90C7FCA25AA3123E127EA6127C12FCB2127C127EA6123E12
3FA37EA27F120FA27F1207A26C7EA212017F12007F13787F133E131E7FEB07801303EB01
C0EB00E014701430145A77C323>40 D<12C07E12707E7E121E7E6C7E7F12036C7E7F1200
7F1378137CA27FA2133F7FA21480130FA214C0A3130714E0A6130314F0B214E01307A614
C0130FA31480A2131F1400A25B133EA25BA2137813F85B12015B485A12075B48C7FC121E
121C5A5A5A5A145A7BC323>I<1506150FB3A9007FB912E0BA12F0A26C18E0C8000FC9FC
B3A915063C3C7BB447>43 D<007FB912E0BA12F0A26C18E0CDFCAE007FB912E0BA12F0A2
6C18E03C167BA147>61 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fn cmsy10 10.95 4
/Fn 4 104 df<121EEA7F80A2EAFFC0A4EA7F80A2EA1E000A0A799B19>1
D<EB0FFCEB3FFF90B512C0000314F04880488048804880A2481580A3B712C0AA6C1580A3
6C1500A26C5C6C5C6C5C6C5CC614C0013F90C7FCEB0FFC22227BA72D>15
D<153FEC03FFEC0FE0EC3F80EC7E00495A5C495AA2495AB3AA130F5C131F495A91C7FC13
FEEA03F8EA7FE048C8FCEA7FE0EA03F8EA00FE133F806D7E130F801307B3AA6D7EA26D7E
80EB007EEC3F80EC0FE0EC03FFEC003F205B7AC32D>102 D<12FCEAFFC0EA07F0EA01FC
EA007E6D7E131F6D7EA26D7EB3AA801303806D7E1300147FEC1FC0EC07FEEC00FFEC07FE
EC1FC0EC7F0014FC1301495A5C13075CB3AA495AA2495A133F017EC7FC485AEA07F0EAFF
C000FCC8FC205B7AC32D>I E
%EndDVIPSBitmapFont
/Fo 133[35 40 40 61 40 45 25 35 35 45 45 45 45 66 25
40 25 25 45 45 25 40 45 40 45 45 6[51 1[56 76 56 66 51
45 56 66 56 66 61 76 51 61 40 30 66 66 56 56 66 61 56
56 7[45 1[45 3[45 45 45 2[23 30 3[30 30 30 35[45 45 2[{
TeXBase1Encoding ReEncodeFont}63 90.9091 /Times-Italic
rf /Fp 87[30 16[91 45 1[40 40 24[40 45 45 66 45 45 25
35 30 45 45 45 45 71 25 45 25 25 45 45 30 40 45 40 45
40 3[30 1[30 56 66 66 86 66 66 56 51 61 66 51 66 66 81
56 66 35 30 66 66 51 56 66 61 61 66 5[25 25 45 45 45
45 45 45 45 45 45 45 25 23 30 23 51 1[30 30 30 1[76 33[51
51 2[{TeXBase1Encoding ReEncodeFont}82 90.9091 /Times-Roman
rf /Fq 105[45 27[40 45 45 66 45 51 30 35 40 1[51 45 51
76 25 51 1[25 51 45 30 40 51 40 51 45 6[61 66 66 91 66
66 61 51 66 1[56 71 66 86 61 2[35 71 71 56 61 66 66 61
66 5[30 30 1[45 45 45 45 45 45 45 45 45 1[23 1[23 52
3[30 36[51 2[{TeXBase1Encoding ReEncodeFont}64 90.9091
/Times-Bold rf /Fr 135[60 86 1[66 40 47 53 2[60 66 100
33 66 1[33 66 60 40 53 66 53 1[60 11[86 80 1[86 1[73
2[113 3[47 93 93 2[86 86 1[86 10[60 60 60 60 60 60 5[68
3[40 39[{TeXBase1Encoding ReEncodeFont}38 119.552 /Times-Bold
rf
%DVIPSBitmapFont: Fs cmmi10 12 2
/Fs 2 63 df<19E0F003F0180FF03FE0F0FF80943803FE00EF0FF8EF3FE0EFFF80DC03FE
C7FCEE0FF8EE3FE0EEFF80DB07FEC8FCED1FF8ED7FE0913801FF80DA07FCC9FCEC1FF0EC
7FC04948CAFCEB07FCEB1FF0EB7FC04848CBFCEA07FCEA1FF0EA7FC048CCFCA2EA7FC0EA
1FF0EA07FCEA01FF38007FC0EB1FF0EB07FCEB01FF9038007FC0EC1FF0EC07FC913801FF
809138007FE0ED1FF8ED07FE923800FF80EE3FE0EE0FF8EE03FE933800FF80EF3FE0EF0F
F8EF03FE943800FF80F03FE0F00FF01803F000E03C3A78B54D>60
D<127012FCB4FCEA7FC0EA1FF0EA07FCEA01FF38007FC0EB1FF0EB07FCEB01FF9038007F
C0EC1FF0EC07FE913801FF809138007FE0ED1FF8ED03FE923800FF80EE3FE0EE0FF8EE03
FE933800FF80EF3FE0EF0FF8EF03FE943800FF80F03FE0F00FF0A2F03FE0F0FF80943803
FE00EF0FF8EF3FE0EFFF80DC03FEC7FCEE0FF8EE3FE0EEFF80DB03FEC8FCED1FF8ED7FE0
913801FF80DA07FEC9FCEC1FF0EC7FC04948CAFCEB07FCEB1FF0EB7FC04848CBFCEA07FC
EA1FF0EA7FC048CCFC12FC12703C3A78B54D>62 D E
%EndDVIPSBitmapFont
/Fu 133[44 50 2[50 50 28 39 33 1[50 50 50 78 28 2[28
1[50 33 44 50 44 50 44 11[72 1[55 12[55 61 72 66 66 1[92
9[50 3[50 50 50 1[25 1[25 44[{TeXBase1Encoding ReEncodeFont}34
99.6264 /Times-Roman rf /Fv 140[56 48 2[72 72 112 40
72 1[40 1[72 1[64 1[64 1[64 11[104 2[96 1[80 11[104 96
8[40 6[72 72 72 2[36 46[{TeXBase1Encoding ReEncodeFont}22
143.462 /Times-Roman rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 600dpi
TeXDict begin

%%EndSetup
%%Page: 1 1
1 0 bop 804 937 a Fv(CUDD:)34 b(CU)i(Decision)d(Diagram)h(P)n(ackage)
1558 1120 y(Release)g(2.3.1)1643 1373 y Fu(F)o(abio)25
b(Somenzi)898 1489 y(Department)f(of)h(Electrical)g(and)g(Computer)f
(Engineering)1261 1605 y(Uni)n(v)o(ersity)f(of)i(Colorado)f(at)h
(Boulder)1406 1721 y Fs(<)p Fu(F)o([e-mail])p
Fs(>)1576 1923 y Fu(February)h(16,)e(2001)448 2316 y
Fr(Contents)448 2523 y Fq(1)92 b(Intr)n(oduction)2315
b(4)448 2726 y(2)92 b(Ho)o(w)22 b(to)i(Get)f(CUDD)2077
b(5)585 2839 y Fp(2.1)96 b(The)23 b(CUDD)e(P)o(ackage)92
b(.)45 b(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)h(.)f(.)g(.)g(.)g(.)171 b(5)585 2952 y(2.2)96
b(CUDD)21 b(Friends)81 b(.)45 b(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)171
b(5)448 3156 y Fq(3)92 b(User')m(s)23 b(Manual)2238 b(5)585
3269 y Fp(3.1)96 b(Compiling)24 b(and)g(Linking)53 b(.)45
b(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)171 b(6)585 3382 y(3.2)96 b(Basic)23
b(Data)h(Structures)51 b(.)45 b(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)171
b(6)794 3495 y(3.2.1)110 b(Nodes)41 b(.)46 b(.)f(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)171 b(6)794 3608 y(3.2.2)110 b(The)23 b(Manager)60
b(.)45 b(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)h(.)f(.)g(.)g(.)g(.)171 b(7)794 3721 y(3.2.3)110
b(Cache)46 b(.)g(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)171
b(7)585 3833 y(3.3)96 b(Initializing)26 b(and)e(Shutting)h(Do)n(wn)e(a)
g(DdManager)78 b(.)46 b(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)171
b(8)585 3946 y(3.4)96 b(Setting)24 b(P)o(arameters)87
b(.)45 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)171 b(9)585 4059 y(3.5)96
b(Constant)25 b(Functions)66 b(.)45 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)171
b(9)794 4172 y(3.5.1)110 b(One,)23 b(Logic)g(Zero,)g(and)h(Arithmetic)h
(Zero)41 b(.)46 b(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)171
b(9)794 4285 y(3.5.2)110 b(Prede\002ned)24 b(Constants)51
b(.)45 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)125 b(10)794 4398 y(3.5.3)110 b(Background)36
b(.)45 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)125 b(10)794 4511 y(3.5.4)110
b(Ne)n(w)22 b(Constants)65 b(.)45 b(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)125
b(11)585 4624 y(3.6)96 b(Creating)25 b(V)-10 b(ariables)28
b(.)45 b(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)125 b(11)794 4737
y(3.6.1)110 b(Ne)n(w)22 b(BDD)f(and)j(ADD)e(V)-10 b(ariables)43
b(.)i(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)125
b(11)794 4850 y(3.6.2)110 b(Ne)n(w)22 b(ZDD)f(V)-10 b(ariables)81
b(.)45 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)125 b(11)585 4963 y(3.7)96 b(Basic)23 b(BDD)f(Manipulation)
47 b(.)f(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)125 b(12)1920 5225 y(1)p eop
%%Page: 2 2
2 1 bop 585 573 a Fp(3.8)96 b(Basic)23 b(ADD)f(Manipulation)42
b(.)k(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)125 b(13)585 686 y(3.9)96 b(Basic)23
b(ZDD)f(Manipulation)52 b(.)46 b(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)125 b(14)585
799 y(3.10)51 b(Con)l(v)o(erting)26 b(ADDs)c(to)h(BDDs)f(and)i(V)-5
b(ice)23 b(V)-10 b(ersa)85 b(.)45 b(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)125 b(15)585 912 y(3.11)51 b(Con)l(v)o(erting)26
b(BDDs)c(to)h(ZDDs)f(and)i(V)-5 b(ice)23 b(V)-10 b(ersa)27
b(.)45 b(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)125
b(15)585 1024 y(3.12)51 b(V)-10 b(ariable)24 b(Reordering)i(for)e(BDDs)
e(and)i(ADDs)63 b(.)45 b(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
125 b(16)585 1137 y(3.13)51 b(Grouping)25 b(V)-10 b(ariables)61
b(.)45 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)125 b(19)585 1250 y(3.14)51
b(V)-10 b(ariable)24 b(Reordering)i(for)e(ZDDs)68 b(.)45
b(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)125 b(20)585 1363 y(3.15)51 b(K)n(eeping)24 b(Consistent)i(V)-10