source: vis_dev/vis-2.3/doc/two_phase.ps

Last change on this file was 14, checked in by cecile, 13 years ago

vis2.3

File size: 76.2 KB
Line 
1%!PS-Adobe-2.0
2%%Creator: dvipsk 5.58a Copyright 1986, 1994 Radical Eye Software
3%%Title: two_phase.dvi
4%%Pages: 14
5%%PageOrder: Ascend
6%%BoundingBox: 0 0 596 842
7%%DocumentPaperSizes: a4
8%%EndComments
9%DVIPSCommandLine: dvips two_phase
10%DVIPSParameters: dpi=300, compressed, comments removed
11%DVIPSSource:  TeX output 1996.12.05:1448
12%%BeginProcSet: texc.pro
13/TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N
14/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72
15mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1}
16ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
17isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
18hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
19TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if}
20forall round exch round exch]setmatrix}N /@landscape{/isls true N}B
21/@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B
22/FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{
23/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N
24string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N
25end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{
26/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]
27N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup
28length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{
29128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub
30get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data
31dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N
32/rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup
33/base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx
340 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff
35setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff
36.1 sub]/id ch-image N /rw ch-width 7 add 8 idiv string N /rc 0 N /gp 0 N
37/cp 0 N{rc 0 ne{rc 1 sub /rc X rw}{G}ifelse}imagemask restore}B /G{{id
38gp get /gp gp 1 add N dup 18 mod S 18 idiv pl S get exec}loop}B /adv{cp
39add /cp X}B /chg{rw cp id gp 4 index getinterval putinterval dup gp add
40/gp X adv}B /nd{/cp 0 N rw exit}B /lsh{rw cp 2 copy get dup 0 eq{pop 1}{
41dup 255 eq{pop 254}{dup dup add 255 and S 1 and or}ifelse}ifelse put 1
42adv}B /rsh{rw cp 2 copy get dup 0 eq{pop 128}{dup 255 eq{pop 127}{dup 2
43idiv S 128 and or}ifelse}ifelse put 1 adv}B /clr{rw cp 2 index string
44putinterval adv}B /set{rw cp fillstr 0 4 index getinterval putinterval
45adv}B /fillstr 18 string 0 1 17{2 copy 255 put pop}for N /pl[{adv 1 chg}
46{adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{
47adv rsh nd}{1 add adv}{/rc X nd}{1 add set}{1 add clr}{adv 2 chg}{adv 2
48chg nd}{pop nd}]dup{bind pop}forall N /D{/cc X dup type /stringtype ne{]
49}if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup
50length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{
51cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin
520 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul
53add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict
54/eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook
55known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X
56/IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for
5765781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0
580]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V
59{}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7
60getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false}
61ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false
62RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1
63false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform
64round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg
65rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail
66{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}
67B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{
684 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{
69p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p
70a}B /bos{/SS save N}B /eos{SS restore}B end
71%%EndProcSet
72TeXDict begin 39158280 55380996 1000 300 300 (two_phase.dvi)
73@start /Fa 11 120 df<1238127C12FEA3127C1238070774861F>46
74D<EA07FCEA1FFF4813C080383E03F0EA1C01C77E1478A3EB7FF8EA03FF120F383FE078EA
757E0012785AA4007813F8EA7E036CB512E0A2380FFE3F3803F80F1B1A7D991F>97
76D<137F3801FFC0000713E04813F0381F81F8383F0078003C133C127C0078131EA2B512FE
77A400F0C7FCA21278A2007C131E7E381F803EEBE07C380FFFF8000313F06C13E038003F80
78171A7D991F>101 D<EA7F8012FFA2127F1207A7EB87E0EB9FF0EBBFF8EBFFFCEBF83CEB
79E01E13C0A21380AE397FF87FE039FFFCFFF0A2397FF87FE01C257FA41F>104
80D<38FC781E38FDFC7F39FFFEFF8090B5FC391F0FC3C0381E0781A3001C1301AE39FF8FE3
81F8EB9FE7A2EB8FE31D1A80991F>109 D<13FCEA03FF481380001F13E01387383E01F038
827C00F800781378A248133CA76C137C00781378007C13F8A2383E01F0381F87E013FF0007
8313806C1300EA00FC161A7C991F>111 D<387F87E038FF9FF8EBBFFE6CB5FC3807F83F90
8438E00F80EBC007EC03C0138015E01401A6140315C0EBC0071580EBE00F9038F03F00EBFF
85FEEBBFFCEB9FF8EB87C00180C7FCA9EA7FF8487EA26C5A1B277F991F>I<3803FC70380F
86FFF0123F5AEA7C03EAF801EAF000A27E007C1300EA3FE06CB4FC000713C0C613E0EB07F0
87EB00F80070137C00F0133CA27E6C137C38FF01F8EBFFF0A200E713C038E1FE00161A7C99
881F>115 D<137013F0A6387FFFFEB5FCA3D800F0C7FCACEC0780A49038F80F00EB7C1FEB
897FFE6D5A6D5AEB07E019217FA01F>I<397FE07FE039FFF0FFF0A2397FE07FE03907000E
9000A2EB801E0003131CA2EBC03C00011338A2EBE07800001370A3EB70E0A3EB39C0A3EB1F
9180A36DC7FC1C1A7F991F>118 D<39FFE07FF0A4391C000380A3001E1307000E1400A2EB
920F87A2131F000613C638071DCEA2133D14EEA2380338ECA21378EBF8FCEBF07CA23801E0
93781C1A7F991F>I E /Fb 8 121 df<121C123E127FEAFF80A3EA7F00123E121CC7FCA912
941C123E127FEAFF80A3EA7F00123E121C091B7B9A13>58 D<EC03804A7EA24A7EA34A7EA2
954A7EA3EC73FCA2ECF3FE14E101017F14C0A2010380EC807F010780EC003FA2010E6D7EA2
96011E80011C130F011FB5FC4980A29039780007FC0170130301F080491301A2000181497F
9700031680D8FFFE011F13FEA32F297EA834>65 D<EC3FF8A31403ACEB1FE3EBFFFB3803F8
983F3807E00F380FC007381F8003123FEA7F00A35AA77EA3EA3F80121F000F13073807C00F
993A03F03FFF803800FFF3EB3FC3212A7EA926>100 D<EB3FE03801FFF83803F07E3807C0
1001FD80F801380001F130F003F14C0EA7F00140715E05AA290B5FCA290C8FCA37EA36C6C13
101E0121F390FC001C03907E003803903F81F003800FFFEEB1FF01B1B7E9A20>I<EA0780EA
1020FC0EA1FE0123FA3121FEA0FC0EA0780C7FCA7EAFFE0A3120FB3A3EAFFFEA30F2B7DAA14
103>105 D<38FFC07F9038C1FFC09038C787E0390FCE03F013D88113F0A213E0B03AFFFE3F
104FF80A3211B7D9A26>110 D<38FFE1FE9038E7FF809038FE07E0390FF803F0496C7E496C
1057E818181A21680A716005DA25D4A5A01F05B6D485A9038FE0FE09038EFFF80D9E1FCC7FC
10601E0C8FCA9EAFFFEA321277E9A26>112 D<39FFFC0FFFA33907F003C0D803F85B3801FC
107076C6C48C7FCEBFF1E6D5AEB3FF86D5AA2130F130780497E497E131EEB3C7F496C7E496C
1087ED801E07F3803C00F6E7E3AFFF01FFF80A3211B7F9A24>120 D
109E /Fc 9 117 df<EA01E3EA0717EA0C0F1218EA380E12301270A2EAE01CA41339A3EA60
11079EA319AEA1E0C10127C9115>97 D<13F8EA0304120EEA1C0EEA181CEA30001270A25AA5
1111304EA60081310EA3060EA0F800F127C9113>99 D<13F8EA0704120CEA1802EA38041230
112EA7008EA7FF0EAE000A5EA60041308EA30101360EA0F800F127C9113>101
113D<EB78C0EA01C5EA03031206000E1380120C121CA238380700A4130EA3EA181EEA0C7CEA
114079CEA001CA25BA2EAC030EAE070EAC1C0007FC7FC121A7E9113>103
115D<EA0FC01201A2485AA448C7FCA4EA0E3E13C3380F0380120E121E121CA338380700A313
1160E00701340A2131C1480EAE00C38600700121D7E9C15>I<EA01801203EA0100C7FCA712
1171C12261247A2128EA2120E5AA35AA21271A31272A2123C091C7C9B0D>I<391C1E078039
118266318C0394683A0E0384703C0008E1380A2120EA2391C0701C0A3EC0380D8380E1388A2
119EC0708151039701C032039300C01C01D127C9122>109 D<EA383EEA4CC3384D0380124E
120129E129C121CA238380700A3130E00701340A2131C1480EAE00C3860070012127C9117>
121I<12035AA3120EA4EAFFE0EA1C00A35AA45AA4EAE080A2EAE100A2126612380B1A7C990E
122>116 D E /Fd 1 64 df<EA0FF0EA303CEA601EEAF01F12F8A21270EA003E133C137013
123E0EA01C01380A2EA0300A5C7FCA4EA0780EA0FC0A4EA0780101D7D9C17>63
124D E /Fe 80 122 df<EAC060EAE0E0A4EAC060A5EA40400B0B7C9614>34
125D<EA071CA5EA7FFFB51280A2380E3800A7B51280A26C1300EA1C70A511177F9614>I<13
126801201A2EA07E0EA1FF0EA39BCEA619CEAC18EA3EAE184EA7180127FEA1FE0EA0FF0EA01
127F8139C138EEA418612E1A3EA718CEA39B8EA1FF0EA0FC0EA0180A212000F1D7E9914>I<
128EA3806EA7C0E126CEAEE1CA25BA2126CEA7C70123812005BA2485AA3485AA248C7FC130E
129131FEA0E1BEB3B80A2121CA238381B00131FEA180E111D7F9914>I<1202120F121E127C
13012F012600806799614>39 D<EA01801203EA06005A121C121812385AA35AA91270A37E12
13118121C120C7EEA03801201091D799914>I<128012C01260123012381218121C120EA312
13207A9120EA3121C121812381230126012C01280081D7C9914>I<EA0380A3EA638CEAF39E
133EA7FFCEA3FF8EA0FE0A2EA3FF8EA7FFCEAF39EEA638CEA0380A30F107E9214>I<EA01C0
134A7B51280A33801C000A711117F9314>I<127012F812FCA2127C120C1218123012E012C0
135060A798414>I<EAFFFEA30F037E8C14>I<127012F8A312700505798414>I<1306130EA2
136131CA21338A21370A213E0A2EA01C0A2EA0380A3EA0700A2120EA25AA25AA25AA25AA25A
1370F1D7E9914>I<EA07C0EA0FE0EA1C70EA3838EA3018EA701CA2EAE00EA9EA701CA2EA38
13838A2EA1C70EA0FE0EA07C00F177E9614>I<1203A25A5A123F12F712471207AEEA7FF0A2
1390C177C9614>I<EA0FC0EA1FF0EA3838EA701CEAE00EA312401200131CA2133813301370
14013E0EA01C0EA030012065AEA180E1230EA7FFEA20F177E9614>I<EA0FC0EA1FF0EA3838
141EA701CA212201200131813381370EA0FE013F0EA0038131C130EA2124012E0A2EA701CEA
1427838EA3FF0EA0FC00F177E9614>I<137813F8EA01B8A2EA0338A21206120E120C121C12
143381230127012E0B51280A238003800A548B4FCA211177F9614>I<EA7FFCA2EA7000A7EA
14477C0EA7FF0EA7838EA601CEA000C130EA2124012E0131C1260EA7878EA3FF0EA0FC00F17
1457E9614>I<EA01F0EA07F8EA0E1C121C1238EA30001270A25AEAE7C0EAEFF0EAF838EAF0
1461C130CEAE00EA212601270130CEA381CEA1C38EA0FF0EA07C00F177E9614>I<12E0EAFF
147FEA2EAE01C1338EA0030137013E013C0120113801203A2EA0700A4120EA612040F187E97
14814>I<EA0FE0EA3FF8EA783CEA701CEAE00EA4EA701CEA1EF0EA0380EA1FF0EA3838EA70
1491CEAE00EA4EAF01EEA701CEA3838EA1FF0EA07C00F177E9614>I<EA07C0EA1FE0EA3830
150EA7038EA601C12E0130C130EA2EA601E1270EA383EEA1FEEEA07CEEA000E131CA3EA7038
151133013E0EA3FC0EA1F000F177E9614>I<127012F8A312701200A6127012F8A312700510
152798F14>I<127012F8A312701200A6126012F012F8A2127812181230127012E012800515
153798F14>I<130E133E137C13F0EA03E0EA07C0EA1F00123E12F85A7E123E7EEA07C0EA03
154E0EA00F0137C133E130E0F137E9414>I<B51280A27EC8FCA3387FFF80B5FCA211097F8F
15514>I<124012E012F8127C121EEA0F80EA07C0EA01F0EA00F8133E131E133E13F8EA01F0
156EA07C0EA0F80EA1E00127C5A12E012400F157E9514>I<EA01E0EA07F0EA0E38EA181CEA
15738FC1271EA731E1277EAEE0EA7EA771CEA7318EA71F0EA38E0EA1806EA0E1EEA07F8EA01
158F00F177E9614>64 D<EA01C0487EA21360A2EA0770A4EA0630EA0E38A4487EEA1FFCA2EA
1591C1CA2487EA238FE3F80A211177F9614>I<EAFFF013FCEA381E130E1307A4130E131EEA
1603FFCA2EA381E130E1307A5130E131EEAFFFC13F810177F9614>I<3801F180EA07FFEA0E
1611FEA1C071238EA7003A348C7FCA738700380A338380700121CEA0E0EEA07FCEA01F01117
1627F9614>I<EAFFE013F8EA383C7F130E7FA3EB0380A8EB0700A2130E131E5BEAFFF813E0
16311177F9614>I<B5FCA2EA3807A490C7FCA21338A2EA3FF8A2EA3838A290C7FCA3EB0380
164A4B5FCA211177F9614>I<B51280A2EA3803A490C7FCA21338A2EA3FF8A2EA3838A290C7
165FCA7B4FCA211177F9614>I<38FE3F80A238380E00A8EA3FFEA2EA380EA938FE3F80A211
166177F9614>72 D<EAFFF8A2EA0700B3EAFFF8A20D177D9614>I<EA07FCA2EA0070B012E0
167A2EAF0E0EA7FC0EA1F000E177D9614>I<B4FCA21238AF1307A4B5FCA210177E9614>76
168D<38FC1F80A2007C1300EA7637A4EA7777A2EA7367A313E7EA71C7A2EA7007A638F80F80
169A211177F9614>I<38FE3F80A2383E0E00123BA4138E1239A213CEA31238A213EE136EA4
170133E12FEA211177F9614>I<EA1FF0EA7FFCEA783CEA701CEAE00EAFEA701CEA783CEA7F
171FCEA1FF00F177E9614>I<EAFFF013FCEA381E130E1307A5130E131EEA3FFC13F0EA3800
172A812FEA210177F9614>I<EAFFE013F8EA383C131C7FA45B133CEA3FF85BEA38387FA514
17380EB1DC0A238FE0F80EB070012177F9614>82 D<EA0FCCEA1FFCEA307CEA603CEAE01CA3
17413001270127EEA3FE0EA0FF0EA01F8EA001C131E130E126012E0A2EAF01CEAF838EAFFF0
175EAC7E00F177E9614>I<387FFF80B5FCEAE1C3A43801C000AFEA0FF8A211177F9614>I<38
176FE0FE0A238380380B0381C0700A2EA0E0EEA07FCEA01F01317809614>I<38FC1F80A238
177380E00A3EA3C1EEA1C1CA46C5AA4EA0630EA0770A3EA0360A213E0A26C5A11177F9614>
178I<EA7E3EA2EA1C3CEA1E38EA0E78EA0F7012075B12035B120112037FA2EA0770A2EA0E78
1791338EA1C3C131CEA3C1E38FE3F80A211177F9614>88 D<38FC1F80A238380E00EA3C1EEA
1801C1CEA1E3CEA0E38A26C5AA2EA036013E0A26C5AA8EA07F0A211177F9614>I<EA7FFE12
181FFEAE01CA21338A2EA007013E0A2EA01C0A2EA0380EA0700A2120EA25AEA380EA21270A2
182EAFFFEA20F177E9614>I<EAFFE0A2EAE000B3A7EAFFE0A20B1D799914>I<12C07EA21270
183A27EA27EA27EA27EA2EA0380A3EA01C0A2EA00E0A21370A21338A2131CA2130EA213060F
1841D7E9914>I<EAFFE0A21200B3A712FFA20B1D7F9914>I<1204121FEA7FC0EAF1E012E00B
185057C9614>I<EAFFFEA30F037E7E14>I<EA1FC0EA7FF0EA7078EA2018EA001CA2EA07FC12
1861FEA3C1C127012E0A3EA707C383FFF80EA0F8F11107E8F14>97 D<12FCA2121CA513F8EA
1871DFEEA1F07EA1E03001C1380EB01C0A6EB0380001E1300EA1F0EEA1DFCEA0CF812178096
18814>I<EA03F8EA0FFEEA1C0EEA3804EA7000126012E0A412601270EA380EEA1C1EEA0FFC
189EA03F00F107E8F14>I<137EA2130EA5EA07CEEA0FFEEA1C3EEA301EEA700E12E0A61270
190EA301EEA383E381FEFC0EA07CF12177F9614>I<EA07E0EA0FF0EA1C38EA301CEA700CEA
191E00EA2EAFFFEA2EAE00012601270EA380EEA1C1EEA0FFCEA03F00F107E8F14>I<13FCEA
19201FEEA038EEA07041300A3EA7FFE12FFEA0700ACEAFFF8A20F177F9614>I<EA07CF381F
193FF80EA383B38301800EA701CA3EA3018EA3838EA3FF0EA37C00070C7FCA2EA3FF86C7E48
1947EEA700F38E00380A438700700EA3C1EEA1FFCEA07F011197F8F14>I<12FCA2121CA513
19578EA1DFEEA1F86EA1E07121CAA38FF8FE0A21317809614>I<1206120FA21206C7FCA4B4
196FCA21207ACEAFFF8A20D187C9714>I<12FCA2121CA5EBFF80A2EB1C005B5B5BEA1DC0EA
1971FE0A2EA1E70EA1C38133C131C7F38FF1F80A21117809614>107
198D<EAFF80A21203B3EAFFFEA20F177E9614>I<EAFB8EEAFFDF383CF380A2EA38E3AA38FE
199FBE013791310808F14>I<EAFC78EAFDFEEA1F86EA1E07121CAA38FF8FE0A21310808F14>
200I<EA07C0EA1FF0EA3C78EA701CA2EAE00EA6EA701CEA783CEA3C78EA1FF0EA07C00F107E
2018F14>I<EAFCF8EAFDFEEA1F07EA1E03001C1380EB01C0A6EB0380001E1300EA1F0EEA1D
202FCEA1CF890C7FCA6B47EA21218808F14>I<EA03E7EA0FF7EA1C1FEA300F1270487EA6EA
203700F1230EA1C3FEA0FF7EA07C7EA0007A6EB3FE0A213187F8F14>I<EAFE1FEB7F80EA0E
204E3380F810090C7FCA2120EA8EAFFF0A211107F8F14>I<EA0FD8EA3FF8EA603812C0A2EA
205F000EA7F80EA3FF0EA07F8EA001CEA600612E012F0EAF81CEAFFF8EACFE00F107E8F14>
206I<1206120EA4EA7FFC12FFEA0E00A8130EA3131CEA07F8EA01F00F157F9414>I<EAFC3F
207A2EA1C07AB131F380FFFE0EA03E71310808F14>I<38FE3F80A2383C1E00EA1C1CA36C5A
208A3EA0630EA0770A36C5AA311107F8F14>I<38FE3F80A238700700EA380EA3EA39CEA3EA
2091B6C121AA3EA1E7CA2EA0E3811107F8F14>I<EA7E3FA2EA1E3CEA0E78EA07705B12036C
2105A12037FEA0770EA0E781338487E38FE3F80A211107F8F14>I<38FE3F80A2381C0E005B
211A2120E5BA212071330A2EA0370A25B1201A25BA3485A12730077C7FC127E123C11187F8F
21214>I E /Ff 2 85 df<D807F013FE000014F039017001E01402A214040002EB09C01338
213141114210004EB238014431483131C39081D0700131EA2131C3818180E00FEEB7FC01F14
2147F9320>77 D<381FFFF838381C18EA2038140812401410EA807000001300A35BA4485AA4
215485AEA3FF81514809314>84 D E /Fg 2 16 df<B61280A219027D8A20>0
216D<EA03C0EA0FF0EA1FF8EA3FFCEA7FFEA2B5FCA4EA7FFEA2EA3FFCEA1FF8EA0FF0EA03C0
21710107E9115>15 D E /Fh 9 115 df<3801FFE038003C001338A45BA45BA4485AA43803
2188002A31404EA0700140C14181438000E13F0B5FC171C7E9B1C>76
219D<39FFC00FF0391C00038015001402A25C5C121E000E5B143014205CA25C49C7FC120FEA
22007025BA25BA25B5BEA03A013C05BA290C8FCA21C1D7D9B18>86 D<3A01FFC0FF803A001E
221003C00011C13306D13205D010F5B6D48C7FC1482EB038414CCEB01D814F05C130080EB01
22270EB0278EB04381308EB103CEB201CEB401EEB800E3801000F00027F1206001E497E39FF
223803FF0211C7F9B22>88 D<EA01F0EA0708120CEA1804EA38081230EA7030EA7FC0EAE000
224A51304EA60081310EA3060EA0F800E127E9113>101 D<EB38C013C5EA0183EA03030007
22513801206120EA2381C0700A4130EA3EA0C1EEA047CEA039CEA001CA25B1260EAF0301370
226EAE0C0007FC7FC121A809114>103 D<EA01C01203A2EA0180C7FCA6121C12271247A212
22787A2120EA25AA35A1380A21270EA71001232121C0A1C7E9B0E>105
228D<EA1F801203A2EA0700A4120EA45AA45AA45AA412E2A312E412641238091D7F9C0C>
229108 D<13F8EA030CEA0E06487E1218123000701380A238E00700A3130EA25BEA60185BEA
23030E0EA0F8011127E9114>111 D<EA3C3CEA4E42EA4687EA470FEA8E1E130CEA0E00A25A
231A45AA45A123010127E9113>114 D E /Fi 60 122 df<EA0387A6387FFFC0B512E0A238
232070E00A3EA0E1CA4B512E0A26C13C0381C3800A613197F9816>35
233D<13C01201A3EA07F0EA1FFC487EEA7DCF3871C780EAE1C313C7A238F1C300EA79C0123F
234EA1FF0EA07FCEA01FE13CF13C73861C38012F1A212E13871C700EA79DFEA3FFEEA1FF8EA
23507E0EA01C0A2120011207E9C16>I<EA03801207EA0F00123E5A12F05A0907789816>39
236D<13E01201EA0380EA0700120E5AA25AA25AA35AA91270A37EA27EA27E7EEA0380EA01E0
23712000B217A9C16>I<12C07E12707E7E7EA27EA2EA0380A3EA01C0A9EA0380A3EA0700A2
238120EA25A5A5A5A5A0A217B9C16>I<13E0A8B512E0A33800E000A813137F9516>43
239D<1238127C127EA2123E120E121E121C127812F01260070B798416>I<B51280A311037E
2408D16>I<127012F8A312700505788416>I<EA03E0EA0FF8487EEA1E3CEA380EEA780FEA70
24107A238E00380A8EAF00700701300A2EA780FEA3C1E6C5AEA1FFC6C5AEA03E011197E9816
242>48 D<12035AA25A5AB4FCA212E71207AEEAFFF8A30D197B9816>I<EA07E0EA1FF8487E
243EA783EEAE00700F01380130312601200A2EB0700A2130E5B5B5B5B485A485A000FC7FC38
2441E03801238EA7FFFB5FC7E11197E9816>I<EA07E0EA1FF8487EEA781E130712301200A2
245130E133EEA07FC13F013FCEA001E13077F1480A2126012F038E00700EA781EEA3FFC6C5A
246EA07E011197E9816>I<137C13FC13DC1201EA039CA2EA071C120F120E121E123C123812
2477812F0B512E0A338001C00A53801FFC0A313197F9816>I<13F8EA03FC487EEA0F07EA1C
2480F1238EA78060070C7FCA2EAE3F8EAEFFCB47EEAF80F487EEB038012E0A21270A2130700
249381300EA3C1EEA1FFC6C5AEA03E011197E9816>54 D<EA07F0EA1FFC487EEA7C1F38F007
25080EAE003A338700700EA7C1FEA1FFCEA07F0EA1FFCEA3C1EEA700700F01380EAE003A3EA
251F00700701300EA7C1FEA3FFE6C5AEA07F011197E9816>56 D<EA03E0EA0FF8487EEA3C1E
252EA700E7F12E014801303A213071270EA780FEA3FFFEA1FFBEA0FE338000700A21230EA78
2530E5BEA707CEA3FF8EA1FE0EA0F8011197E9816>I<127012F8A312701200A8127012F8A3
25412700512789116>I<EB01801307131FEB3E0013F8485AEA07C0485A003EC7FC12FC12F0
25512FC123EEA0F806C7EEA01F06C7E133EEB1F801307130111157E9616>60
256D<12C012F012FC123EEA0F806C7EEA01F06C7E133EEB1F801307131FEB3E0013F8485AEA
25707C0485A003EC7FC12FC12F012C011157E9616>62 D<13F8EA03FC487EEA0F07381C3B80
258EA38FF12793873C7C01383EAE701A73873838013C73879FF00EA38FEEA1C38380F03C0EA
25907FF6C1300EA00FC12197E9816>64 D<13E0487EA213B0A2EA03B8A31318EA071CA5EA0E
2600EA2EA0FFEA2487EEA1C07A3387E0FC038FF1FE0387E0FC013197F9816>I<EA7FF8EAFF
261FE6C7EEA1C0714801303A4EB0700EA1FFF5BA2EA1C1FEB038014C01301A41303EB0780EA
2627FFFB51200EA7FFC12197F9816>I<3801F180EA07FBEA0FFFEA1F0FEA3C07EA38031270
263A200F0C7FC5AA77E38700380A21238383C0700EA1F0FEA0FFE6C5AEA01F011197E9816>
264I<387FFFE0B5FC7EEA1C00A41400A2131CA2EA1FFCA3EA1C1CA290C7FCA6EA7F80487E6C
2655A13197F9816>70 D<EA7FFCEAFFFEEA7FFCEA0380B3EA7FFCEAFFFEEA7FFC0F197D9816
266>73 D<48B4FC4813806C1300EA001CB0126012F05BEA7FF85BEA1FC011197E9816>I<38
267FC07E0EAFE0FA2383A0B80EA3B1BA513BBEA39B3A413F3EA38E3A21303A538FE0FE0A313
268197F9816>77 D<387E07F038FF0FF8387F07F0381D81C0A313C1121C13E1A213611371A3
26913311339A21319131D130DA3EA7F07EAFF87EA7F031519809816>I<EA7FF0EAFFFC6C7E
270EA1C0FEB07801303A41307EB0F00EA1FFE5B7FEA1C0E7FA414101438A2387F03F0EAFF83
271387F01E01519809816>82 D<EA07E3EA1FFF5AEA781FEAF00712E0A290C7FC7E1278EA3F
27280EA1FF0EA07FCC67E130F7FEB0380A2126012E0EB0700EAF80FEAFFFE5BEAC7F011197E
2739816>I<387FFFE0B5FCA2EAE0E0A400001300AFEA07FC487E6C5A13197F9816>I<387F07
274F038FF8FF8387F07F0381C01C0B0380E0380A23807070013FF6C5AEA00F81519809816>
275I<38FE0FE0A338380380EA3C07001C1300A3EA1E0FEA0E0EA46C5AA4EA031813B8A3EA01
276B013F0A26C5A13197F9816>I<387E03F038FF07F8387E03F0383800E0A4381C01C0A313
2777113F9A213D9A2000C1380A3EA0DDD138DA338078F00A213071519809816>I<B51280A3
27811037E7E16>95 D<EA1FE0487E487EEA783CEA300E1200A2EA03FE121FEA3E0E127012E0
279A3EA783E387FFFE0EA3FE7EA0F8313127E9116>97 D<12FCA3121CA4137CEA1DFEEA1FFF
280EB0780381E03C0EA1C01EB00E0A6EB01C0EA1E03381F0780EBFF00EA1DFEEA0C7813197F
2819816>I<EA03F8EA0FFCEA1FFEEA3C1EEA780CEA70005AA57EEA70071278EA3E0EEA1FFC
282EA0FF8EA03F010127D9116>I<133FA31307A4EA03C7EA0FF748B4FCEA3C1F487EEA7007
28312E0A6EA700F12786C5A381FFFE0EA0FF7EA07C713197F9816>I<EA03F0EA0FFC487EEA
2843C0F487E3870038012E0B5FCA300E0C7FCA2387003801278EA3E07381FFF00EA07FEEA01
285F811127E9116>I<131E137F3801FF8013C7380383001380A2EA7FFFB5FCA2EA0380ACEA
2867FFC487E6C5A11197F9816>I<3803E3C03807F7E0EA0FFF381C1CC038380E00A56C5AEA
2870FF8485AEA1BE00038C7FC1218EA1FFC13FF481380387003C038E000E0A4387001C0EA7C
28807383FFF80380FFE00EA03F8131C7F9116>I<12FCA3121CA41378EA1DFCEA1FFE130FEA
2891E07121CAA38FF8FE0139F138F13197F9816>I<1203EA0780A2EA0300C7FCA4EAFF80A3
2901203ACEAFFFC13FE13FC0F1A7C9916>I<127E12FE127E120EA4EB7FE0A3EB0F00131E5B
2915B5B120F7F13BC131EEA0E0E7F1480387F87F0EAFFCFEA7F871419809816>107
292D<EA7FC012FF127F1201B3EA7FFFB512806C130011197E9816>I<38F9C38038FFEFC0EB
293FFE0EA3C78A2EA3870AA38FE7CF8A31512809116>I<EAFC78EAFDFCB47EEA1F0FEA1E07
294121CAA38FF8FE0139F138F13127F9116>I<EA03E0EA0FF8487EEA3C1E487EEA700738E0
2950380A5EAF00700701300EA780FEA3C1EEA1FFC6C5AEA03E011127E9116>I<EAFC7CEAFD
296FEB5FC381F0780381E03C0EA1C01EB00E0A6EB01C0EA1E03381F0780EBFF00EA1DFEEA1C
2977890C7FCA6B47EA3131B7F9116>I<3803E380EA0FF3EA1FFBEA3E0FEA78071270EAE003
298A6EA70071278EA3C1FEA1FFBEA0FF3EA03E3EA0003A6EB1FF0EB3FF8EB1FF0151B7F9116
299>I<387F0FC038FF3FE0EA7F7F3807F040EBC0005BA290C7FCA8EA7FFC12FF127F13127F
3009116>I<EA0FECEA3FFC127FEAF03CEAE01CA2EA7000EA7F80EA1FF0EA07F8EA003CEA60
3010E12E012F0EAF81EEAFFFC13F8EAC7E00F127D9116>I<12035AA4EA7FFFB5FCA20007C7
302FCA75BEB0380A3EB8700EA03FE6C5A6C5A11177F9616>I<EAFC3FA3EA1C07AB131F381F
303FFE0EA0FF7EA07C713127F9116>I<387F1FC038FF9FE0387F1FC0381C0700A2EA0E0EA3
3046C5AA4EA03B8A3EA01F0A26C5A13127F9116>I<38FF1FE0A338380380A4EA39F3A20019
305130013B3A3EA1DB71317EA1F1FEA0F1EEA0E0E13127F9116>I<387F1FC0133F131F380F
3061E006C5AEA03B813F012016C5A12017FEA03B8EA073C131CEA0E0E387F1FC038FF3FE038
3077F1FC013127F9116>I<387F1FC038FF9FE0387F1FC0381C0700120E130EA212075BA2EA
308039CA21398EA01B8A2EA00F0A35BA3485A1279127BEA7F8090C7FC123C131B7F9116>I
309E /Fj 65 123 df<EB7E1F3901C1B180390303E3C0000713C3000EEBC180903801C000A6
310B512FC380E01C0B0387F87FC1A1D809C18>11 D<137E3801C180EA0301380703C0120EEB
311018090C7FCA5B512C0EA0E01B0387F87F8151D809C17>I<EA6060EAF0F0EAF8F8EA6868
312EA0808A3EA1010A2EA2020EA4040EA80800D0C7F9C15>34 D<126012F012F812681208A3
3131210A2122012401280050C7C9C0C>39 D<1380EA0100120212065AA25AA25AA35AA412E0
314AC1260A47EA37EA27EA27E12027EEA0080092A7C9E10>I<7E12407E12307EA27EA27EA3
3157EA41380AC1300A41206A35AA25AA25A12205A5A092A7E9E10>I<126012F0A212701210
316A41220A212401280040C7C830C>44 D<EAFFE0A20B0280890E>I<126012F0A212600404
3177C830C>I<EA03C0EA0C30EA1818EA300CA2EA700EEA6006A2EAE007ADEA6006A2EA700E
318EA300CA2EA1818EA0C30EA07E0101D7E9B15>48 D<5A1207123F12C71207B3A5EAFFF80D
3191C7C9B15>I<EA07C0EA1830EA201CEA400C130EEAF00F12F81307A21270EA000F130EA2
320131CA213381370136013C0EA0180EA0300EA0601120C1218EA1002EA3FFE127F12FF101C
3217E9B15>I<EA07E0EA1830EA201CA2EA781E130E131E1238EA001CA2131813301360EA07
322C0EA0030131CA2130E130FA2127012F8A3EAF00EEA401C1220EA1830EA07C0101D7E9B15
323>I<130CA2131C133CA2135C13DC139CEA011C120312021204120C120812101230122012
3244012C0B512C038001C00A73801FFC0121C7F9B15>I<EA300CEA3FF813F013C0EA2000A6
325EA23E0EA2C30EA3018131CEA200E1200130FA3126012F0A3EA800EEA401E131CEA2038EA
3261870EA07C0101D7E9B15>I<13F0EA030CEA0404EA0C0EEA181E1230130CEA7000A21260
327EAE3E0EAE430EAE818EAF00C130EEAE0061307A51260A2EA7006EA300E130CEA1818EA0C
32830EA03E0101D7E9B15>I<1240387FFF801400A2EA4002485AA25B485AA25B1360134013
329C0A212015BA21203A41207A66CC7FC111D7E9B15>I<EA03E0EA0C30EA1008EA200C1306
3301260A21270A2EA7C0CEA3E18EA3FB0EA1FE0EA07F013F8EA18FCEA307EEA601E130FEAC0
331071303A4EA60021304EA300CEA1C10EA07E0101D7E9B15>I<EA03C0EA0C30EA1818EA30
3320C1270EA600EEAE006A21307A51260EA700F1230EA1817EA0C27EA07C7EA0006A2130EEA
333300C127813181270EA2030EA10C0EA0F80101D7E9B15>I<126012F0A212601200AA1260
33412F0A2126004127C910C>I<126012F0A212601200AA126012F0A212701210A41220A212
335401280041A7C910C>I<1306A3130FA3EB1780A2EB37C01323A2EB43E01341A2EB80F0A3
33638010078A2EBFFF83802003CA3487FA2000C131F80001E5BB4EBFFF01C1D7F9C1F>65
337D<B512C0380F00788080140E140FA4140E141E5C14F8EBFFF0EB003C8080801580A5EC0F
33800A2141E1478B512E0191C7F9B1D>I<B512F8380F007814181408A2140C1404A2130114
33900A35B13FF13037FA490C7FCA8EAFFF8161C7E9B1B>70 D<39FFF0FFF0390F000F00AC90
340B5FCEB000FAD39FFF0FFF01C1C7F9B1F>72 D<EAFFF0EA0F00B3A8EAFFF00C1C7F9B0F>
341I<EAFFF8EA0F8090C7FCB01408A31418A2141014301470EB01F0B5FC151C7E9B1A>76
342D<B46CEBFF80000FECF800A2390BC00178A33809E002A23808F004A3EB7808A3EB3C10A3
343EB1E20A3EB0F40A2EB0780A3EB0300121C3AFF8307FF80211C7E9B26>I<B4EB1FF0390F
3448003809038C00100120BEA09E0EA08F0A21378133C133E131E130F14811307EB03C1EB01
345E114F113001479147D143D141FA2808080121CB46C7E1C1C7F9B1F>I<EB3F80EBE0E038
34603803848487E000E7F487F003C148000381303007814C0A20070130100F014E0A8007014
347C000781303A200381480003C1307001C14006C130E6C5B6C6C5A3800E0E0EB3F801B1E7E
3489C20>I<EB3F80EBE0E03803803848487E000E7F487F003C148000381303007814C0A200
34970130100F014E0A8007014C000781303A200381480383C0E07D81C111300380E208E0007
350135C3803A0783900F0E020133FEB0060EC3060EC38E0EC3FC0A2EC1F80EC0F001B257E9C
35120>81 D<B5FC380F01E0EB007880141C141EA4141C143C5CEB01E001FFC7FCEB01E0EB00
35270147880A61510A2141CA239FFF00E20C7EA03C01C1D7E9B1F>I<3807E080EA1C19EA30
353051303EA600112E01300A36C13007E127CEA7FC0EA3FF8EA1FFEEA07FFC61380130FEB07
354C0130313011280A300C01380A238E00300EAD002EACC0CEA83F8121E7E9C17>I<007FB5
35512C038700F010060130000401440A200C014201280A300001400B1497E3803FFFC1B1C7F
3569B1E>I<39FFE00FF0391F0003C0EC01806C1400A238078002A213C000035BA2EBE00C00
357011308A26C6C5AA213F8EB7820A26D5AA36D5AA2131F6DC7FCA21306A31C1D7F9B1F>86
358D<3AFFE1FFC0FF3A1F003E003C001E013C13186C6D1310A32607801F1320A33A03C02780
35940A33A01E043C080A33A00F081E100A39038F900F3017913F2A2017E137E013E137CA201
3603C133C011C1338A20118131801081310281D7F9B2B>I<39FFF07FC0390FC01E00380780
3610CEBC00800035B6C6C5A13F000005BEB7880137C013DC7FC133E7F7F80A2EB13C0EB23E0
3621321EB40F0497E14783801007C00027F141E0006131F001F148039FF807FF01C1C7F9B1F
363>I<12FEA212C0B3B312FEA207297C9E0C>91 D<EA0808EA1010EA2020EA4040A2EA8080
364A3EAB0B0EAF8F8EA7878EA30300D0C7A9C15>I<12FEA21206B3B312FEA20729809E0C>I<
365EA1FC0EA3070EA78387F12301200A2EA01FCEA0F1C12381270126000E01340A3EA603C38
366304E80381F870012127E9115>97 D<12FC121CAA137CEA1D87381E0180381C00C014E014
367601470A6146014E014C0381E018038190700EA10FC141D7F9C17>I<EA03F8EA0C0CEA18
3681E1230EA700CEA600012E0A61260EA70021230EA1804EA0C18EA03E00F127F9112>I<EB
3691F801303AAEA03F3EA0E0BEA1807EA30031270126012E0A6126012701230EA1807EA0E1B
3703803E3F0141D7F9C17>I<EA07E0EA0C30EA1818EA300CEA700EEA600612E0EAFFFEEAE0
37100A41260EA70021230EA1804EA0C18EA03E00F127F9112>I<13F8EA018CEA071E1206EA
3720E0C1300A6EAFFE0EA0E00B0EA7FE00F1D809C0D>I<EB03803807C4C0EA1C7838383880
37338301800EA701CA4EA3018EA38386C5AEA27C00020C7FCA21230EA3FF86CB4FC1480EA20
37403386001C0EAC000A33860018038300300EA1C0EEA07F8121C7F9215>I<12FC121CAA13
3757C1387EA1D03001E1380121CAD38FF9FF0141D7F9C17>I<1218123CA21218C7FCA712FC
376121CB0EAFF80091D7F9C0C>I<12FC121CAAEB0FE0EB0780EB06005B13105B5B13E0121D
377EA1E70EA1C781338133C131C7F130F148038FF9FE0131D7F9C16>107
378D<12FC121CB3A9EAFF80091D7F9C0C>I<39FC7E07E0391C838838391D019018001EEBE0
3791C001C13C0AD3AFF8FF8FF8021127F9124>I<EAFC7CEA1C87EA1D03001E1380121CAD38
380FF9FF014127F9117>I<EA03F0EA0E1CEA1806487E00701380EA600100E013C0A6006013
38180EA700300301300EA1806EA0E1CEA03F012127F9115>I<EAFC7CEA1D87381E0180001C
38213C0EB00E0A21470A614E0A2EB01C0001E1380381D0700EA1CFC90C7FCA7B47E141A7F91
38317>I<3803E080EA0E19EA1805EA3807EA7003A212E0A61270A2EA38071218EA0E1BEA03
384E3EA0003A7EB1FF0141A7F9116>I<EAFCE0EA1D38EA1E78A2EA1C301300ACEAFFC00D12
3857F9110>I<EA1F90EA2070EA4030EAC010A212E0EAF800EA7F80EA3FE0EA0FF0EA00F8EA
3868038131812C0A2EAE010EAD060EA8FC00D127F9110>I<1204A4120CA2121C123CEAFFE0
387EA1C00A91310A5120CEA0E20EA03C00C1A7F9910>I<38FC1F80EA1C03AD1307120CEA0E
3881B3803E3F014127F9117>I<38FF07E0383C0380381C0100A2EA0E02A2EA0F06EA0704A2
389EA0388A213C8EA01D0A2EA00E0A3134013127F9116>I<39FF3FC7E0393C0703C0001CEB
39001801500130B000E1382A21311000713C4A213203803A0E8A2EBC06800011370A2EB8030
391000013201B127F911E>I<38FF0FE0381E0700EA1C06EA0E046C5AEA039013B0EA01E012
392007F12011338EA021C1204EA0C0E487E003C138038FE1FF014127F9116>I<38FF07E038
3933C0380381C0100A2EA0E02A2EA0F06EA0704A2EA0388A213C8EA01D0A2EA00E0A31340A2
3945BA212F000F1C7FC12F312661238131A7F9116>I<EA7FFCEA70381260EA407013F013E0
395EA41C012031380EA0700EA0F04120E121CEA3C0CEA380812701338EAFFF80E127F9112>
396I E /Fk 31 123 df<127012F812FCA212741204A41208A21210A212201240060F7C840E
397>44 D<EAFFF8A20D02808B10>I<127012F8A3127005057C840E>I<13801203120F12F312
39803B3A9EA07C0EAFFFE0F217CA018>49 D<00101380381E0700EA1FFF5B13F8EA17E00010
399C7FCA6EA11F8EA120CEA1C07381803801210380001C0A214E0A4127012F0A200E013C012
40080EA4003148038200700EA1006EA0C1CEA03F013227EA018>53 D<137EEA01C138030080
401380601C0EA0C03121C381801800038C7FCA212781270A2EAF0F8EAF30CEAF4067F00F813
40280EB01C012F014E0A51270A3003813C0A238180380001C1300EA0C06EA070CEA01F01322
4037EA018>I<EA01F0EA060C487EEA1807383803801270A238F001C0A314E0A51270130312
40438EA1805120CEA0619EA03E1380001C0A3EB0380A21230387807001306EA700CEA20186C
4055AEA0FC013227EA018>57 D<B512F8380F800E0007EB0780EC03C015E0140115F0A515E0
4061403EC07C0EC0F80EC3E00EBFFFE9038800780EC03C0EC01E015F0140015F8A6EC01F0A2
407EC03E0EC07C0000FEB0F00B512FC1D227EA123>66 D<903807E0109038381830EBE00639
40801C0017039038000F048C7FC000E1470121E001C1430123CA2007C14101278A200F81400
409A812781510127C123CA2001C1420121E000E14407E6C6C13803901C001003800E002EB38
4101CEB07E01C247DA223>I<B512F0380F801E00071307EC0380EC01C0EC00E015F01578A2
411157C153CA3153EA9153CA2157C1578A215F015E01401EC03C0EC0700000F131EB512F01F
412227EA125>I<D8FFFCEBFF80D80FC0EB7C006C48133015205D5D4AC7FC14025C5C5C5C5C
4135CEB81C0EB83E01385EB88F01390EBA078EBC03C13808080A26E7E8114036E7EA26E7E81
414486C7F3AFFFC07FF8021227EA126>75 D<B512E0380F803C0007130E6E7E81140381A55D
41514075D020EC7FC143CEBFFE0EB80708080141E140E140FA481A3168015C014073A0FC003
416C10039FFFC01E2C8127C21237EA124>82 D<3803F020380C0C60EA1802383001E0EA7000
4170060136012E0A21420A36C1300A21278127FEA3FF0EA1FFE6C7E0003138038003FC0EB07
418E01301EB00F0A214707EA46C1360A26C13C07E38C8018038C60700EA81FC14247DA21B>
419I<007FB512F839780780780060141800401408A300C0140C00801404A400001400B3A349
4207E3801FFFE1E227EA123>I<EA1FE0EA3038EA780C130EEA30071200A313FFEA07C7EA1E
42107123C1278127000F01308A3130FEA7817383C2390380FC1E015157E9418>97
422D<120E12FE121E120EAB131FEB61C0EB8060380F0030000E1338143C141C141EA7141C14
4233C1438000F1370380C8060EB41C038083F0017237FA21B>I<EA01FEEA0703380C078012
4241C383803000078C7FC127012F0A712700078134012386C1380380C0100EA0706EA01F812
425157E9416>I<EA01FCEA0707380C0380381C01C01238007813E0EA700012F0B5FC00F0C7
426FCA512700078132012386C13406C138038070300EA00FC13157F9416>101
427D<14703803F198380E1E18EA1C0E38380700A200781380A400381300A2EA1C0EEA1E1CEA
42833F00020C7FCA212301238EA3FFE381FFFC06C13E0383000F0481330481318A400601330
429A2003813E0380E03803803FE0015217F9518>103 D<120E12FE121E120EABEB1F80EB60
430C0EB80E0380F0070A2120EAF38FFE7FF18237FA21B>I<13E0EA01F0A3EA00E01300A813
43170EA07F012001370B3A51260EAF0E013C0EA6180EA3F000C2C83A10F>106
432D<390E1FC07F3AFE60E183803A1E807201C03A0F003C00E0A2000E1338AF3AFFE3FF8FFE
43327157F942A>109 D<380E1F8038FE60C0381E80E0380F0070A2120EAF38FFE7FF18157F
434941B>I<EA01FCEA0707380C0180381800C0003813E0481370A200F01378A70070137000
4357813F0003813E0381C01C0380E038038070700EA01FC15157F9418>I<EA0E3CEAFE46EA
4361E8FEA0F0F13061300120EAD120FEAFFF010157F9413>114 D<EA0F88EA3078EA601812
437C01308A212E0EAF000127FEA3FE0EA0FF0EA01F8EA003CEA801C130CA212C01308EAE018
438EAD030EA8FC00E157E9413>I<1202A41206A3120E121E123EEAFFFCEA0E00AB1304A6EA
43907081203EA01F00E1F7F9E13>I<000E137038FE07F0EA1E00000E1370AD14F0A2380601
44070380382783800FC7F18157F941B>I<38FF80FE381E00781430000E1320A26C1340A2EB
44180C000031380A23801C100A2EA00E2A31374A21338A3131017157F941A>I<38FF80FE38
4421E00781430000E1320A26C1340A2EB80C000031380A23801C100A2EA00E2A31374A21338
443A31310A25BA35B12F05B12F10043C7FC123C171F7F941A>121 D<383FFFC038380380EA
444300700201300EA600EEA401C133C1338C65A5B12015B38038040EA07005A000E13C04813
445805AEA7801EA7007B5FC12157F9416>I E /Fl 23 122 df<B51280A311037F9016>45
446D<B51280A23807F0006C5AB3B3A7487EB51280A211317DB017>73
447D<B512C0A2D807F0C8FC6C5AB3AA1620A41640A416C0A21501A21503ED0780151F000714
4487FB7FCA223317DB029>76 D<D8FFF0ED7FF8A200071700D802F815BEA3017CEC013EA26D
4491402A36D1404A36D6C1308A36D6C1310A36D6C1320A26D6C1340A36D6C1380A391387C01
45000A3EC3E02A36E5AA2EC0F88A3EC07D0A3EC03E0A300076D5AD80F80157FD8FFF891380F
451FFF8EC008035317CB03D>I<B612E015FC3907E0003F0003EC0F80ED03C0ED01E016F0ED
45200F8A21678167CA6167816F816F0150116E0ED03C0ED0F80ED3E0090B512F801E0C8FCB3
453A3487EB57EA226317DB02D>80 D<90387F80203801FFE03907C07860380F001C001EEB06
454E048130300381301007813001270156012F0A21520A37E1500127C127E7E13C0EA1FF86C
455B47E6C13F06C13FCC613FF010F1380010013C0EC1FE01407EC03F01401140015F8A26C14
45678A57E15706C14F015E07E6CEB01C000ECEB038000C7EB070038C1F01E38807FFCEB0FF0
4571D337CB125>83 D<D8FFFEEC07FFA2D807F0EC01F849EC00E0000316407F00011680A26D
458140100001600A2017C1402A2137E013E5CA26D5CA280010F5CA26E133001071420A26D6C
4595BA28001015CA26D6C48C7FCA214FCEC7C02A2EC7E06EC3E04A26E5AA21588EC0F90A2EC
46007E0A36E5AA36E5AA230327FB032>86 D<13FE380303C0380C00E00010137080003C133C
461003E131C141EA21208C7FCA3EB0FFEEBFC1EEA03E0EA0F80EA1F00123E123C127C481404
462A3143EA21278007C135E6CEB8F08390F0307F03903FC03E01E1F7D9E21>97
463D<EB1FC0EBF0303801C00C38078002EA0F00000E130F001E5B5AA2007C1304007890C7FC
46412F8A91278127C123C15807E000EEB0100120F380780023801C00C3800F030EB1FC0191F
4657E9E1D>99 D<15F0141FA214011400AFEB0FC0EB70303801C00C3803800238070001120E
466001E13005AA2127C1278A212F8A71278A2127C123CA27E000E13016C1302380380046C6C
467487E3A00F030FF80EB1FC021327EB125>I<EB3F80EBE0E0380380383807003C000E7F12
4681E001C7F123C127C00781480140712F8A2B6FC00F8C8FCA61278127C123C15807E000EEB
4690100000F13027E3801C00C3800F030EB1FC0191F7E9E1D>I<15F090387F03083901C1C4
4701C380380E8390700700848EB7800001E7FA2003E133EA6001E133CA26C5B6C13706D5A38
47109C1C0D8087FC7FC0018C8FCA5121C7E380FFFF86C13FF6C1480390E000FC00018EB01E0
47248EB00F000701470481438A500701470A26C14E06CEB01C00007EB07003801C01C38003F
473E01E2F7E9F21>103 D<EA078012FFA2120F1207AF14FE903883078090388C03C0903890
47401E013A06E7E13C0A25BB3A2486C487E3AFFFC1FFF80A221327EB125>I<1207EA0F8012
4751FA2120FEA0700C7FCABEA0780127FA2120F1207B3A6EA0FC0EAFFF8A20D307EAF12>I<
476EA078012FFA2120F1207B3B3A7EA0FC0EAFFFCA20E327EB112>108
477D<260780FEEB1FC03BFF83078060F0903A8C03C180783B0F9001E2003CD807A013E4DA00
478F47F01C013F8A2495BB3A2486C486C133F3CFFFC1FFF83FFF0A2341F7E9E38>I<380780
479FE39FF83078090388C03C0390F9001E0EA07A06E7E13C0A25BB3A2486C487E3AFFFC1FFF
48080A2211F7E9E25>I<EB1FC0EBF0783801C01C38070007481480001EEB03C0001C130100
4813C14E0A248EB00F0A300F814F8A8007814F0007C1301003C14E0A26CEB03C0A26CEB0780
4823907800F003801C01C3800F078EB1FC01D1F7E9E21>I<3801FC10380E0330381800F048
483137048133012E01410A37E6C1300127EEA3FF06CB4FC6C13C0000313E038003FF0EB01F8
48413006C133CA2141C7EA27E14186C1338143000CC136038C301C03880FE00161F7E9E1A>
485115 D<1340A513C0A31201A212031207120F381FFFE0B5FC3803C000B01410A800011320
48613E000001340EB78C0EB1F00142C7FAB19>I<D8078013F000FF131FA2000F1301000713
48700B31401A300031302EBC0040001497E3A007030FF80EB1FC0211F7E9E25>I<D8FFF8EB
488FF80A2D80FC0EB7C006C48133815306C6C1320A26C6C5BA27F00005CA2D97801C7FCA213
4897CEB3C02A26D5AA2131F6D5AA2EB0790A214D0EB03E0A26D5AA36D5A211F7F9E23>I<D8
490FFF8EBFF80A2D80FC0EB7C006C48133815306C6C1320A26C6C5BA27F00005CA2D97801C7
491FCA2137CEB3C02A26D5AA2131F6D5AA2EB0790A214D0EB03E0A26D5AA36D5AA249C8FCA3
4921302A25B1270EAF80C13085BEA7020EA3040EA1F80212D7F9E23>121
493D E end
494%%EndProlog
495%%BeginSetup
496%%Feature: *Resolution 300dpi
497TeXDict begin
498%%PaperSize: a4
499%%BeginPaperSize: a4
500a4
501%%EndPaperSize
502
503%%EndSetup
504%%Page: 1 1
5051 0 bop -54 182 a Fl(Mo)r(deling)20 b(Multi-Phase)h(Systems)f(and)h
506(Lev)n(el)h(Sensitiv)n(e)f(Latc)n(hes)i(in)e(VIS)714
507302 y Fk(Szu-Tsung)d(Cheng)661 360 y(Ra)s(jeev)e(Kumar)f(Ranjan)700
508418 y(Rob)q(ert)i(K.)e(Bra)o(yton)713 516 y(Decem)o(b)q(er)f(5,)i(1996)
509-126 669 y Fj(This)e(do)q(cumen)o(t)g(describ)q(es)j(ho)o(w)d(to)g(mo)q
510(del)f(m)o(ulti-phase)g(latc)o(hes)i(as)g(w)o(ell)f(as)g(lev)o(el)g
511(sensitiv)o(e)h(latc)o(hes)h(using)e(the)h(\\syn)o(thesizable)-188
512719 y(subset)g(of)e(V)m(erilog)g(for)g Fi(vl2mv)p Fj(".)-126
513769 y(First,)h(an)h(example)e(V)m(erilog)h(program)f(is)h(will)f(b)q(e)
514i(giv)o(en)f(\(whic)o(h)h(consists)h(of)e(latc)o(hes)h(con)o(trolled)f
515(b)o(y)g(the)i(rising)e(or)g(falling)f(edges)-188 819
516y(of)i(a)h(clo)q(c)o(k\).)25 b(The)17 b(example)e(also)g(includes)i(a)f
517(lev)o(el)g(sensitiv)o(e)h(latc)o(h.)24 b(W)m(e)16 b(will)f(con)o(v)o
518(ert)i(the)g(V)m(erilog)e(in)o(to)g(BLIF-MV)i(using)f
519Fi(vl2mv)-188 869 y Fj(and)e(sim)o(ulate)f(the)i(extracted)i(FSM)e
520(using)f(VIS.)g(W)m(e)h(will)e(then)i(demonstrate)g(ho)o(w)g(to)f
521(write)h(a)g(V)m(erilog)e(wrapp)q(er)j(to)e(pic)o(k)h(up)g(input)-188
522918 y(v)o(ectors)i(and)f(apply)f(it)h(to)g(the)h(example)e(circuit.)25
523b(A)17 b Fh(V)9 b(er)q(il)q(og)k Fg(\000)e Fh(X)s(L)950
524903 y Ff(T)t(M)1028 918 y Fj(sim)o(ulation)j(trace)j(deriv)o(ed)g(from)
525d(the)j(wrapp)q(er)g(is)f(sho)o(wn.)-188 968 y(Finally)m(,)11
526b(w)o(e)j(compare)f(the)i(sim)o(ulation)c(outputs)j(from)e(VIS)i(and)g
527Fh(V)9 b(er)q(il)q(og)j Fg(\000)d Fh(X)s(L)p Fj(.)-126
5281018 y(By)18 b(default,)h Fi(vl2mv)e Fj(treats)i(input)f(programs)f(as)
529i(FSMs)f(con)o(trolled)h(b)o(y)f(only)f(one)h(clo)q(c)o(k.)32
530b(F)m(or)17 b(suc)o(h)i(programs,)f(the)h(clo)q(c)o(k)f(of)-188
5311068 y(a)e(system)h(is)g(merely)g(used)h(to)f(sync)o(hronize)h(all)e
532(the)i(state)g(v)n(ariables.)27 b(Therefore,)19 b Fi(vl2mv)d
533Fj(simply)f(drops)j(these)h(clo)q(c)o(ks,)f(and)f(state)-188
5341118 y(v)n(ariables)c(\(BLIF-MV)h Fi(.latch)p Fj(\))f(are)h(allo)q
535(cated)g(for)f(register)i(v)n(ariables)e(\(V)m(erilog)g
536Fi(reg)p Fj(\).)-126 1168 y(Ho)o(w)o(ev)o(er,)h(a)f(m)o(ulti-phase)f
537(\(or)i(lev)o(el)g(sensitiv)o(e\))g(design)h(similar)c(to)j(the)g
538(follo)o(wing)d(\()p Fi(two_phase.v)p Fj(\))h(can)i(also)g(b)q(e)g
539(describ)q(ed:)-188 1246 y Fe(module)j(two_phase)o(\(cl)o(k,)f(in1,)i
540(in2,)g(in3,)g(in4,)g(out1,)g(out2,)g(out3,)f(out4\);)-188
5411292 y(input)g(clk;)-188 1338 y(input)g([3:0])h(in1;)-188
5421383 y(input)f([3:0])h(in2;)-188 1429 y(input)f([1:0])h(in3;)-188
5431475 y(input)f([1:0])h(in4;)-188 1520 y(output)f([1:0])g(out1;)-188
5441566 y(output)g(out2;)-188 1612 y(output)g([1:0])g(out3;)-188
5451657 y(output)g([1:0])g(out4;)-188 1749 y(reg)h([1:0])g(out1;)-188
5461794 y(reg)g(out2;)-188 1840 y(reg)g([1:0])g(out3;)-188
5471886 y(reg)g([1:0])g(out4;)-188 1977 y(initial)e(out1)i(=)i(0;)-188
5482023 y(initial)c(out2)i(=)i(0;)-188 2068 y(initial)c(out3)i(=)i(0;)-188
5492160 y(//)e(Process)f(1)i(--)g(Phase)f(1)h(process,)e(out1)h(is)h
550(updated)e(on)h(rising)g(edge)g(of)h(clk)-188 2205 y(always)e
551(@\(posedge)f(clk\))-110 2251 y(begin)-110 2297 y(out1)i(=)h(in1)g(+)g
552(in2;)-110 2342 y(end)-188 2434 y(//)f(Process)f(2)i(--)g(Phase)f(2)h
553(process,)e(out2)h(is)h(updated)e(on)h(falling)f(edge)h(of)h(clk)-188
5542479 y(//)273 b(Note:)18 b(^)h(is)g(bitwise)e(exclusive)f(XOR.)-188
5552525 y(always)h(@\(negedge)f(clk\))-110 2571 y(begin)-110
5562616 y(out2)i(=)h(in1[0])f(^)h(in1[1];)-110 2662 y(end)-188
5572753 y(//)f(Process)f(3)i(--)g(Phase)f(1)h(process,)e(out3)h(is)h
558(updated)e(on)h(rising)g(edge)g(of)h(clk)892 2904 y Fj(1)p
559eop
560%%Page: 2 2
5612 1 bop -188 7 a Fe(always)17 b(@\(negedge)f(clk\))-110
56253 y(begin)-110 99 y(out3)i(=)h(in3)g(-)g(in4;)-110 144
563y(end)-188 235 y(//)f(Process)f(4)i(--)-188 281 y(//)f(out4)g(is)h(a)g
564(level)f(sensitive)e(latch,)i(which)f(is)i(transparen)o(t)e(on)h
565(clk==1)-188 327 y(always)f(@\(clk)g(or)i(\(in1)f(-)i(in2\)\))-110
566372 y(begin)-110 418 y(if)f(\(clk\))-32 464 y(out4)f(=)i(in1)e(-)h
567(in2;)-110 509 y(end)-188 601 y(endmodul)o(e)-188 684
568y Fj(Here)e(di\013eren)o(t)g(pro)q(cesses)h(\(V)m(erilog)d
569Fi(always)g Fj(statemen)o(ts\))h(are)g(activ)n(ated)g(at)g(di\013eren)o
570(t)h(time)d(p)q(oin)o(ts.)24 b(In)16 b(this)g(case,)h(the)g
571Fi(-c)e Fj(option)-188 734 y(of)h Fi(vl2mv)f Fj(should)i(b)q(e)g(used)h
572(to)f(direct)g Fi(vl2mv)f Fj(to)h(in)o(terpret)h(the)f(circuit)g(in)g
573(\\explicit)f(clo)q(c)o(king")g(mo)q(de)g([)p Fd(?)p
574Fj(].)25 b(In)17 b(this)g(mo)q(de,)f Fi(vl2mv)-188 783
575y Fj(con)o(v)o(erts)i(ev)o(en)o(t)g(guards)f(\(V)m(erilog)g
576Fi(@)g Fj(constructs\))i(in)o(to)e(edge-detectors)j([)p
577Fd(?)p Fj(].)27 b(This)17 b(w)o(a)o(y)m(,)g(di\013eren)o(t)h(clo)q(c)o
578(k)g(phases)g(can)f(b)q(e)h(detected)-188 833 y(b)o(y)c(di\013eren)o(t)
579i(ev)o(en)o(t-detectors)h(and)d(th)o(us)h(\014re)h(di\013eren)o(t)f
580(pro)q(cesses.)23 b(Note,)15 b(the)g(extracted)h(FSM)f(can)g(only)f
581(serv)o(e)i(as)e(a)h(mo)q(del)e(of)h(the)-188 883 y(original)e
582(program;)f(it)j(ma)o(y)e(lo)q(ok)h(v)o(ery)h(unlik)o(e)f(the)i
583(corresp)q(onding)f(hardw)o(are.)-126 933 y(F)m(or)f(reference,)i(at)f
584(the)g(end)g(of)f(this)g(do)q(cumen)o(t)g(is)h(the)g(extracted)h
585(BLIF-MV)f(\014le)f(for)g(the)h(ab)q(o)o(v)o(e)f(V)m(erilog)g(example.)
586j(One)f(can)e(see)-188 983 y(that)g(the)i(pro)q(cess)-188
5871070 y Fe(always)i(@\(negedge)f(clk\))-110 1116 y(begin)-110
5881161 y(out3)i(=)h(in3)g(-)g(in4;)-110 1207 y(end)-188
5891298 y Fj(is)13 b(con)o(v)o(erted)i(in)o(to)-138 1389
590y(1.)20 b(an)c(edge-detector)j(\(whic)o(h)d(consists)i(of)e(a)g(latc)o
591(h)g(used)h(to)f(remem)o(b)q(er)g(the)h(previous)f(v)n(alue)g(of)g
592Fi(clk)f Fj(and)i(an)f(xor)g(gate)g(used)i(to)-85 1439
593y(detect)e(v)n(alue)d(c)o(hange\),)-138 1522 y(2.)20
594b(a)15 b(sequencer)j(\(or)d Fc(timing)h(machine)g Fj([)p
595Fd(?)p Fj(]\))21 b(whic)o(h)16 b(serv)o(es)g(as)g(a)f(program)f(coun)o
596(ter)i(to)f(pin-p)q(oin)o(t)f(the)i(curren)o(t)h Fi(@)e
597Fj(of)g(a)g(sequen)o(tial)-85 1572 y(pro)q(cess\))-138
5981655 y(3.)20 b(the)15 b(necessary)h(logic)d(used)h(to)g(implemen)o(t)d
599Fi(in3)21 b(-)h(in4)13 b Fj(and)-138 1738 y(4.)20 b(resolution)14
600b(logic)f(\(used)i(to)f(resolv)o(e)g(the)g(p)q(ossible)h(con)o(ten)o
601(tion)f(if)f(m)o(ultiple)e(pro)q(cesses)17 b(assign)c(to)h(the)h(same)e
602(v)n(ariable\).)-188 1830 y(It)h(is)h(easy)g(to)g(man)o(ually)c(con)o
603(v)o(ert)16 b(the)f(pro)q(cess)h(in)o(to)e(a)h(edge-triggered)h(latc)o
604(h)e(with)g(input)h(from)e(a)h(subtracter.)23 b(It)14
605b(is)h(not)g(so)f(ob)o(vious)-188 1879 y(b)o(y)f(lo)q(oking)f(at)i(the)
606h(BLIF-MV)f(\014le.)-126 1929 y(\\)p Fi(vl2mv)20 b(-c)i(-F)f
607(two_phase.v)p Fj(")15 b(\(explicit)j(clo)q(c)o(king,)f(and)h(no)f
608(timed)g(R)o(Q-automata)e(generation\))j(can)g(b)q(e)g(used)h(to)e
609(extract)i(a)-188 1979 y(BLIF-MV)14 b(\014le)g(\()p Fi(two_phase.mv)p
610Fj(\))f(from)f(the)j(ab)q(o)o(v)o(e)f(program.)k(The)c
611Fi(-F)g Fj(option)g(mak)o(es)f Fi(vl2mv)g Fj(thro)o(w)h(a)o(w)o(a)o(y)f
612(timing)f(information)g(\()p Fi(#)-188 2029 y Fj(in)j(V)m(erilog\))h
613(in)g(a)g(program.)24 b(If)16 b(timing)e(information)f(is)j(not)h(thro)
614o(wn)f(a)o(w)o(a)o(y)m(,)f Fi(blif-mvt)g Fj(\(a)h(timed)f(extension)i
615(of)f Fi(blif-mv)p Fj(\))f(will)g(b)q(e)-188 2079 y(generated.)j(VIS)12
616b(do)q(es)h(not)e(recognize)i Fi(blif-mvt)p Fj(.)j(Before)d(applying)d
617Fi(-F)i Fj(option,)f(mak)o(e)f(sure)j(that)f(dela)o(ys)f(\()p
618Fi(#)p Fj(\))h(in)g(the)g(source)h(program)-188 2128
619y(can)h(b)q(e)g(safely)g(remo)o(v)o(ed)f(without)g(a\013ecting)h(the)h
620(b)q(eha)o(vior)e(of)h(the)g(program.)-126 2178 y(In)21
621b(the)g(generated)i(BLIF-MV)e(\014le,)h(one)f(sees)i(latc)o(hes)e(not)g
622(only)f(for)h Fi(out1)p Fj(,)g Fi(out2)p Fj(,)h Fi(out3)p
623Fj(,)f(and)g Fi(out4)f Fj(but)h(also)g Fi(clk$prev0)-188
6242228 y(clk$prev1)p Fj(,)7 b Fi(clk$prev2)p Fj(,)h Fi(clk$prev3)p
625Fj(,)g(\(used)i(to)f(c)o(hec)o(k)i(v)n(alue)d(c)o(hange)i(of)f
626Fi(clk)p Fj(\))f(and)h Fi(_n46$prev4<0>)p Fj(,)e Fi(_n46$prev4<1>)p
627Fj(,)g Fi(_n46$prev4<2>)p Fj(,)-188 2278 y Fi(_n46$prev4<3>)p
628Fj(,)h(\(used)13 b(to)f(c)o(hec)o(k)g(v)n(alue)f(c)o(hange)h(of)f
629Fi(in1-in2)p Fj(\).)16 b(These)d(are)f(used)h(in)e(\\edge-detectors";)j
630(one)e(edge-detector)i(p)q(er)e(eac)o(h)-188 2328 y(pro)q(cess.)25
631b(In)16 b(addition,)f Fi(<T>000001)e Fj(\()p Fi(<T>000002)p
632Fj(,)h Fi(<T>000003)p Fj(,)g Fi(<T>000004)p Fj(\))g(are)j(created,)g
633(whic)o(h)f(are)g(pro)q(cess)h(lo)q(cation)e(coun)o(ters)-188
6342377 y(\(a)e(state)i(in)e(a)h Fc(timing)g(machine)p Fj(\))h(used)g(to)f
635(k)o(eep)g(trac)o(k)g(of)g(the)g(lo)q(cation)f(of)g(eac)o(h)i(pro)q
636(cess.)-126 2427 y(Next)h(w)o(e)f(sim)o(ulate)f(the)i(extracted)g(FSM)g
637(using)f(VIS')g(FSM)g(sim)o(ulator.)20 b(W)m(e)15 b(use)h(input)f(v)o
638(ectors)i(to)e(explicitly)f(con)o(trol)h(the)h Fi(clk)-188
6392477 y Fj(signal.)j(The)c(same)f(tec)o(hnique)i(can)f(b)q(e)g(used)h
640(to)f(exercise)h(circuits)g(con)o(trolled)e(b)o(y)h(more)e(than)i(one)g
641(clo)q(c)o(k.)21 b(Note)15 b(that)g(since)g(register)-188
6422527 y(v)n(ariable)d Fi(out4)g Fj(is)h(not)g(initialized,)e(w)o(e)j(ha)
643o(v)o(e)f(\\quasi-inputs")f(\()p Fi(out4<0>$INIT)f Fj(and)i
644Fi(out4<1>$INIT)p Fj(\))d(for)j(a)g(nondeterministic)g(initial)-188
6452577 y(state.)k(Also)11 b(note)g(that)g(curren)o(tly)h(the)f
646(nondeterminism)e(is)i(not)f(used)i(b)o(y)f(the)g(VIS)g(sim)o(ulator)e
647(\(whic)o(h)h(w)o(e)h(will)f(observ)o(e)i(later\).)17
648b Fi(in1<0>)-188 2627 y Fj(is)c(the)i(l.s.b.)i(of)c(v)o(ector)i
649Fi(in1)e Fj(and)h Fi(in1<3>)e Fj(is)i(the)g(m.s.b.)j(of)c
650Fi(in1)p Fj(.)-188 2736 y(Stim)o(ulus)f(v)o(ector)i(\014le)g(\()p
651Fi(two_phase.vect)p Fj(\):)892 2904 y(2)p eop
652%%Page: 3 3
6533 2 bop -188 7 a Fe(.inputs)36 b(clk)18 b(in1<0>)g(in1<1>)f(in1<2>)g
654(in1<3>)h(in2<0>)f(in2<1>)g(in2<2>)h(in2<3>)f(in3<0>)g(in3<1>)g(in4<0>)
655h(in4<1>)f(\\\\)-110 53 y(out4<0>$I)o(NIT)f(out4<1>$I)o(NIT)-188
65699 y(.latches)g(<T>000001)g(<T>000002)g(<T>000003)g(<T>000004)h
657(_n46$prev)o(4<)o(0>)f(_n46$prev4)o(<1>)g(_n46$prev)o(4<2)o(>)g
658(_n46$prev4<)o(3>)g(\\\\)-110 144 y(clk$prev0)g(clk$prev1)g(clk$prev2)g
659(clk$prev3)h(out1<0>)f(out1<1>)h(out2)h(out3<0>)f(out3<1>)g(out4<0>)g
660(out4<1>)-188 190 y(.outputs)f(out1<0>)h(out1<1>)g(out2)h(out3<0>)f
661(out3<1>)g(out4<0>)g(out4<1>)-188 235 y(.initial)f(<1>)i(<2>)h(<3>)f
662(<4>)h(0)g(0)g(0)h(0)f(0)g(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(1)g(1)-188
663327 y(.start_v)o(ect)o(or)o(s)-188 418 y(#)g(clk)f(in1<0>)f(in1<1>)h
664(in1<2>)f(in1<3>)g(in2<0>)h(in2<1>)f(in2<2>)g(in2<3>)h(in3<0>)f(in3<1>)
665g(in4<0>)g(in4<1>)h(out4<0>$I)o(NIT)e(out4<1>$I)o(NI)o(T)-188
666464 y(0)38 b(0)20 b(0)f(0)g(0)39 b(0)19 b(0)g(0)h(0)38
667b(0)20 b(0)38 b(0)20 b(0)39 b(0)19 b(0)-188 509 y(1)38
668b(0)20 b(0)f(0)g(0)39 b(0)19 b(0)g(0)h(0)38 b(0)20 b(0)38
669b(0)20 b(0)39 b(0)19 b(0)-188 555 y(0)38 b(0)20 b(0)f(0)g(0)39
670b(0)19 b(0)g(0)h(0)38 b(0)20 b(0)38 b(0)20 b(0)39 b(0)19
671b(0)-188 601 y(1)38 b(0)20 b(0)f(0)g(0)39 b(0)19 b(0)g(0)h(0)38
672b(0)20 b(0)38 b(0)20 b(0)39 b(0)19 b(0)-188 646 y(0)38
673b(0)20 b(0)f(0)g(0)39 b(0)19 b(0)g(0)h(0)38 b(0)20 b(0)38
674b(0)20 b(0)39 b(0)19 b(0)-188 692 y(1)38 b(0)20 b(0)f(0)g(0)39
675b(0)19 b(0)g(0)h(0)38 b(0)20 b(0)38 b(0)20 b(0)39 b(0)19
676b(0)-188 738 y(0)38 b(0)20 b(0)f(0)g(1)39 b(0)19 b(0)g(0)h(0)38
677b(1)20 b(0)38 b(0)20 b(0)39 b(0)19 b(0)-188 783 y(1)38
678b(0)20 b(0)f(0)g(1)39 b(0)19 b(0)g(0)h(0)38 b(1)20 b(0)38
679b(0)20 b(0)39 b(0)19 b(0)-188 829 y(0)38 b(0)20 b(0)f(0)g(0)39
680b(0)19 b(1)g(0)h(1)38 b(0)20 b(1)38 b(0)20 b(1)39 b(0)19
681b(0)-188 875 y(1)38 b(0)20 b(0)f(0)g(0)39 b(0)19 b(1)g(0)h(1)38
682b(0)20 b(1)38 b(0)20 b(1)39 b(0)19 b(0)-188 920 y(0)38
683b(1)20 b(0)f(0)g(1)39 b(0)19 b(0)g(1)h(1)38 b(0)20 b(1)38
684b(0)20 b(0)39 b(0)19 b(0)-188 966 y(1)38 b(1)20 b(0)f(0)g(1)39
685b(0)19 b(0)g(1)h(1)38 b(0)20 b(1)38 b(0)20 b(0)39 b(0)19
686b(0)-188 1012 y(0)38 b(0)20 b(0)f(1)g(0)39 b(1)19 b(1)g(0)h(0)38
687b(1)20 b(1)38 b(0)20 b(0)39 b(0)19 b(0)-188 1057 y(1)38
688b(0)20 b(0)f(1)g(0)39 b(1)19 b(1)g(0)h(0)38 b(1)20 b(1)38
689b(0)20 b(0)39 b(0)19 b(0)-126 1137 y Fj(Ha)o(ving)13
690b(the)h(BLIF-MV)g(and)g(input)g(v)o(ector)g(\014le,)g(w)o(e)g(can)g
691(sim)o(ulate)e(the)j(circuit)f(using)g(the)g(follo)o(wing)d(VIS)j
692(command:)-188 1223 y Fi(UC)21 b(Berkeley,)f(VIS)h(Release)f(1.0)i
693(\(compiled)d(4-Jan-96)i(at)g(11:18)g(AM\))-188 1273
694y(vis>)f(read_blif_mv)g(two_phase.mv)-188 1323 y(Warning:)g(Some)h
695(variables)f(are)h(unused)f(in)i(model)e(two_phase.)-188
6961372 y(vis>)g(flatten_hierarchy)-188 1422 y(vis>)g(static_order)-188
6971472 y(vis>)g(build_partition_mdds)-188 1522 y(vis>)g(simulate)h(-i)g
698(two_phase.vect)e(-o)i(two_phase.result)-126 1608 y Fj(VIS)14
699b(sim)o(ulation)d(output)j(\()p Fi(two_phase.result)p
700Fj(\):)-188 1683 y Fe(#)19 b(UC)g(Berkeley)o(,)e(VIS)h(Release)f(1.0)i
701(\(compile)o(d)e(4-Jan-96)f(at)j(11:18)f(AM\))-188 1729
702y(#)h(Network:)d(two_phase)-188 1775 y(#)j(Input)e(Vectors)g(File:)h
703(two_phase.)o(ve)o(ct)-188 1912 y(.inputs)36 b(clk)18
704b(in1<0>)g(in1<1>)f(in1<2>)g(in1<3>)h(in2<0>)f(in2<1>)g(in2<2>)h
705(in2<3>)f(in3<0>)g(in3<1>)g(in4<0>)h(in4<1>)f(\\\\)-110
7061957 y(out4<0>$I)o(NIT)f(out4<1>$I)o(NIT)-188 2003 y(.latches)g
707(<T>000001)g(<T>000002)g(<T>000003)g(<T>000004)h(_n46$prev)o(4<)o(0>)f
708(_n46$prev4)o(<1>)g(_n46$prev)o(4<2)o(>)g(_n46$prev4<)o(3>)g(\\\\)-110
7092049 y(clk$prev0)g(clk$prev1)g(clk$prev2)g(clk$prev3)h(out1<0>)f
710(out1<1>)h(out2)h(out3<0>)f(out3<1>)g(out4<0>)g(out4<1>)-188
7112094 y(.outputs)f(out1<0>)h(out1<1>)g(out2)h(out3<0>)f(out3<1>)g
712(out4<0>)g(out4<1>)-188 2140 y(.initial)f(<1>)i(<2>)h(<3>)f(<4>)h(0)g
713(0)g(0)h(0)f(0)g(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(1)g(1)-188
7142231 y(.start_v)o(ect)o(or)o(s)-188 2323 y(#)g(clk)f(in1<0>)f(in1<1>)h
715(in1<2>)f(in1<3>)g(in2<0>)h(in2<1>)f(in2<2>)g(in2<3>)h(in3<0>)f(in3<1>)
716g(in4<0>)g(in4<1>)h(out4<0>$I)o(NIT)e(out4<1>$I)o(NI)o(T)h(;)i(\\\\)
717-110 2368 y(<T>000001)d(<T>000002)g(<T>000003)g(<T>000004)h(_n46$pre)o
718(v4<)o(0>)f(_n46$prev4)o(<1)o(>)h(_n46$prev)o(4<)o(2>)f(_n46$prev4)o
719(<3>)g(\\\\)-110 2414 y(clk$prev0)g(clk$prev1)g(clk$prev2)g(clk$prev3)h
720(out1<0>)f(out1<1>)h(out2)h(out3<0>)f(out3<1>)g(out4<0>)g(out4<1>)g(;)i
721(\\\\)-110 2460 y(out1<0>)e(out1<1>)g(out2)h(out3<0>)f(out3<1>)g
722(out4<0>)g(out4<1>)-188 2551 y(0)i(0)g(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f
723(0)g(0)g(0)g(0)h(0)f(;)g(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19
724b(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(1)g(1)g(;)g(0)h(0)f
725(0)g(0)g(0)h(1)f(1)-188 2597 y(1)g(0)g(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f
726(0)g(0)g(0)g(0)h(0)f(;)g(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19
727b(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(1)g(1)g(;)g(0)h(0)f
728(0)g(0)g(0)h(1)f(1)-188 2642 y(0)g(0)g(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f
729(0)g(0)g(0)g(0)h(0)f(;)g(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19
730b(0)g(0)g(0)h(1)f(1)g(1)g(1)h(0)f(0)g(0)g(0)h(0)f(0)g(0)g(;)g(0)h(0)f
731(0)g(0)g(0)h(0)f(0)-188 2688 y(1)g(0)g(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f
732(0)g(0)g(0)g(0)h(0)f(;)g(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19
733b(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(0)g(0)g(;)g(0)h(0)f
734(0)g(0)g(0)h(0)f(0)-188 2733 y(0)g(0)g(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f
735(0)g(0)g(0)g(0)h(0)f(;)g(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19
736b(0)g(0)g(0)h(1)f(1)g(1)g(1)h(0)f(0)g(0)g(0)h(0)f(0)g(0)g(;)g(0)h(0)f
737(0)g(0)g(0)h(0)f(0)-188 2779 y(1)g(0)g(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f
738(0)g(0)g(0)g(0)h(0)f(;)g(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19
739b(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(0)g(0)g(0)h(0)f(0)g(0)g(;)g(0)h(0)f
740(0)g(0)g(0)h(0)f(0)892 2904 y Fj(3)p eop
741%%Page: 4 4
7424 3 bop -188 7 a Fe(0)19 b(0)g(0)g(0)g(1)h(0)f(0)g(0)g(0)h(1)f(0)g(0)g
743(0)g(0)h(0)f(;)g(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19 b(0)g(0)g(0)h(1)f(1)g
744(1)g(1)h(0)f(0)g(0)g(0)h(0)f(0)g(0)g(;)g(0)h(0)f(0)g(0)g(0)h(0)f(0)-188
74553 y(1)g(0)g(0)g(0)g(1)h(0)f(0)g(0)g(0)h(1)f(0)g(0)g(0)g(0)h(0)f(;)g
746(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19 b(0)g(0)g(1)h(0)f(0)g(0)g(0)h(0)f(0)g
747(0)g(1)h(0)f(0)g(0)g(;)g(0)h(0)f(0)g(1)g(0)h(0)f(0)-188
74899 y(0)g(0)g(0)g(0)g(0)h(0)f(1)g(0)g(1)h(0)f(1)g(0)g(1)g(0)h(0)f(;)g
749(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19 b(0)g(0)g(1)h(1)f(1)g(1)g(1)h(0)f(0)g
750(0)g(1)h(0)f(0)g(0)g(;)g(0)h(0)f(0)g(1)g(0)h(0)f(0)-188
751144 y(1)g(0)g(0)g(0)g(0)h(0)f(1)g(0)g(1)h(0)f(1)g(0)g(1)g(0)h(0)f(;)g
752(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19 b(1)g(1)g(0)h(0)f(0)g(0)g(0)h(0)f(0)g
753(0)g(0)h(0)f(0)g(0)g(;)g(0)h(0)f(0)g(0)g(0)h(0)f(0)-188
754190 y(0)g(1)g(0)g(0)g(1)h(0)f(0)g(1)g(1)h(0)f(1)g(0)g(0)g(0)h(0)f(;)g
755(<1>)97 b(<2>)g(<3>)g(<4>)g(0)19 b(1)g(1)g(0)h(1)f(1)g(1)g(1)h(0)f(1)g
756(0)g(0)h(0)f(0)g(1)g(;)g(0)h(1)f(0)g(0)g(0)h(0)f(1)-188
757235 y(1)g(1)g(0)g(0)g(1)h(0)f(0)g(1)g(1)h(0)f(1)g(0)g(0)g(0)h(0)f(;)g
758(<1>)97 b(<2>)g(<3>)g(<4>)g(1)19 b(0)g(1)g(1)h(0)f(0)g(0)g(0)h(0)f(1)g
759(1)g(0)h(1)f(0)g(1)g(;)g(0)h(1)f(1)g(0)g(1)h(0)f(1)-188
760281 y(0)g(0)g(0)g(1)g(0)h(1)f(1)g(0)g(0)h(1)f(1)g(0)g(0)g(0)h(0)f(;)g
761(<1>)97 b(<2>)g(<3>)g(<4>)g(1)19 b(0)g(1)g(1)h(1)f(1)g(1)g(1)h(1)f(0)g
762(1)g(0)h(1)f(1)g(0)g(;)g(1)h(0)f(1)g(0)g(1)h(1)f(0)-188
763327 y(1)g(0)g(0)g(1)g(0)h(1)f(1)g(0)g(0)h(1)f(1)g(0)g(0)g(0)h(0)f(;)g
764(<1>)97 b(<2>)g(<3>)g(<4>)g(1)19 b(0)g(0)g(0)h(0)f(0)g(0)g(0)h(1)f(0)g
765(0)g(1)h(1)f(1)g(0)g(;)g(1)h(0)f(0)g(1)g(1)h(1)f(0)-188
766372 y(#)g(Final)e(State)h(:)h(<1>)97 b(<2>)g(<3>)g(<4>)g(1)19
767b(0)g(0)h(0)f(0)g(0)g(0)h(0)f(1)g(0)g(0)g(1)h(1)f(1)g(0)-126
768456 y Fj(Next,)13 b(w)o(e)g(sho)o(w)g(ho)o(w)g(to)g(apply)f(the)i(same)
769e(input)h(v)o(ectors)h(to)f(sim)o(ulate)e(the)j(circuit)f(with)g
770Fh(V)c(er)q(il)q(og)h Fg(\000)e Fh(X)s(L)1582 440 y Ff(T)t(M)1643
771456 y Fj(.)18 b(The)c(follo)o(wing)c(is)j(a)-188 505
772y(V)m(erilog)g(wrapp)q(er)i(\()p Fi(two_phase.wrappe)o(r)p
773Fj(\))c(used)k(to)f(pic)o(k)g(up)g(the)h(input)f(v)o(ectors,)h(apply)e
774(them)g(to)h(the)h(example)e(circuit,)h(and)g(dump)-188
775555 y(the)j(sim)o(ulation)c(result.)27 b(Note)17 b(that)g(the)g(v)n
776(alues)g(of)f Fi(<T>000001)p Fj(,)f Fi(<T>000002)p Fj(,)f
777Fi(<T>000003)p Fj(,)h Fi(<T>000004)g Fj(are)i(constan)o(ts)h
778Fi(<1>)p Fj(,)e Fi(<2>)p Fj(,)-188 605 y Fi(<3>)p Fj(,)f
779Fi(<4>)p Fj(,)g(resp)q(ectiv)o(ely)m(.)26 b(Remem)o(b)q(er)14
780b(that)i Fi(<T>000001)e Fj(is)i(for)g(the)g(\014rst)h(pro)q(cess.)26
781b Fi(<1>)16 b Fj(corresp)q(onds)i(to)e(the)g(only)g(ev)o(en)o(t)g
782(guard)g(in)-188 655 y(that)d(pro)q(cess)i(\()p Fi(@\(posedge)20
783b(clk\))p Fj(\).)d(On)d(p)q(ositiv)o(e)f(edge)h(of)f
784Fi(clk)p Fj(,)f Fc(timing)i(machine)g Fj(transits)g(from)d
785Fi(<1>)i Fj(to)g Fi(<1>)p Fj(.)k(Therefore,)d(the)g(v)n(alue)-188
786705 y(of)f Fi(<T>000001)f Fj(sta)o(ys)i(constan)o(t)g(at)g
787Fi(<1>)p Fj(.)k Fi(<T>000002)p Fj(,)11 b Fi(<T>000003)p
788Fj(,)h Fi(<T>000004)g Fj(are)i(constan)o(t)g(for)g(the)g(similar)e
789(reason.)-126 754 y(Sp)q(ecial)i(atten)o(tion)f(should)h(b)q(e)h(paid)e
790(to)h(the)g(timing)d(in)j(the)g(wrapp)q(er)h(program)d(ab)q(out)-126
791837 y Fg(\017)20 b Fj(when)15 b(to)e(apply)h(the)g(input,)-126
792920 y Fg(\017)20 b Fj(when)15 b(to)e(let)h(sim)o(ulate)f(time)f(pass)i
793(b)o(y)g(\(to)g(let)g(the)g(sim)o(ulator)e(ev)n(aluate)i(the)g(example)
794f(circuit\),)-126 1003 y Fg(\017)20 b Fj(and)14 b(when)g(to)g(dump)f
795(the)h(output.)-188 1116 y Fe(//)k(You)h(got)f(to)h(change)e(the)i
796(following)d(parameters)-188 1161 y(module)h(two_phase)o(_t)f(\(\);)
797-188 1207 y(paramete)o(r)h(numCycles)f(=)j(14)g(;)-188
7981298 y(paramete)o(r)e(numInputs)f(=5;)-188 1344 y(paramete)o(r)h
799(maxSigLen)f(=4;)-188 1389 y(paramete)o(r)h(MEMFILE)g(=)i("two_phas)o
800(e.v)o(ec)o(t.w)o(ra)o(ppe)o(r")d(;)-188 1435 y(//)i(You)h(don't)e
801(have)i(to)f(change)g(this)g(parameter)-188 1481 y(paramete)o(r)f
802(numLines)f(=)j(numInputs)e(*)i(numCycles)o(;)-188 1526
803y(paramete)o(r)e(clkHalfPe)o(ri)o(od)f(=)j(50;)-188 1618
804y(integer)d(fg;)-188 1663 y(integer)g(i;)-188 1755 y(reg)i([maxSigLe)o
805(n)f(-)i(1)g(:0])g(CORE)f([0:numLin)o(es)e(-)j(1];)-188
8061846 y(reg)f(clk;)-188 1892 y(reg)g([3)h(:)g(0])g(in1;)-188
8071937 y(reg)f([3)h(:)g(0])g(in2;)-188 1983 y(reg)f([1)h(:)g(0])g(in3;)
808-188 2029 y(reg)f([1)h(:)g(0])g(in4;)-188 2074 y(wire)f([1)g(:)i(0])e
809(out1;)-188 2120 y(wire)g(out2;)-188 2166 y(wire)g([1)g(:)i(0])e(out3;)
810-188 2211 y(wire)g([1)g(:)i(0])e(out4;)-188 2303 y(//)g(instantiat)o(e)
811f(the)h(example)f(circuit.)-188 2348 y(two_phas)o(e)g(itwo_phas)o(e\()
812-188 2394 y(.clk)h(\(clk\),)-188 2440 y(.in1)g(\(in1\),)-188
8132485 y(.in2)g(\(in2\),)-188 2531 y(.in3)g(\(in3\),)-188
8142577 y(.in4)g(\(in4\),)-188 2622 y(.out1)f(\(out1\),)-188
8152668 y(.out2)g(\(out2\),)-188 2714 y(.out3)g(\(out3\),)-188
8162759 y(.out4)g(\(out4\)\);)892 2904 y Fj(4)p eop
817%%Page: 5 5
8185 4 bop -188 53 a Fe(initial)-188 99 y(begin)-149 144
819y(i)19 b(=)g(0;)-149 190 y(fg)g(=)g($fopen)e(\("two_phas)o(e.)o(vlo)o
820(g"\))o(;)-149 235 y($readmemh)o(\(M)o(EMF)o(ILE)o(,C)o(ORE)o(\);)-169
821372 y(repeat)g(\(numCycles\))-169 418 y(begin)-188 464
822y(clk)h(=)h(CORE)f([)h(0)h(*)f(numCycles)d(+)j(i])g(;)-188
823509 y(in1)f(=)h(CORE)f([)h(1)h(*)f(numCycles)d(+)j(i])g(;)-188
824555 y(in2)f(=)h(CORE)f([)h(2)h(*)f(numCycles)d(+)j(i])g(;)-188
825601 y(in3)f(=)h(CORE)f([)h(3)h(*)f(numCycles)d(+)j(i])g(;)-188
826646 y(in4)f(=)h(CORE)f([)h(4)h(*)f(numCycles)d(+)j(i])g(;)-188
827738 y(//)f(Note:)g(we)h(dump)f(output)f(vectors)g(here)h(using)g(the)g
828(following)f(wires)-188 783 y(//)h(since)g(the)g(circuit)f(is)i(NOT)g
829(evaluated)d(yet)i(even)g(though)g(the)g(input)-188 829
830y(//)g(vector)g(has)g(been)g(applied.)36 b(This)18 b(is)h(necessary)d
831(to)j(match)f(VIS)g(and)h(Verilog-X)o(L)-188 875 y(//)f(outputs.)-188
832920 y(//)g(Remember)f(that,)h(in)g(VIS,)g(after)g(inputs)f(are)i
833(applied)e(and)h(next)g(state)g(variables)-188 966 y(//)g(are)h
834(evaluated)o(,)e(one)h(cannot)f(see)i(the)f(next)g(state)g(values)f
835(until)h(the)g(next)g(clock)-188 1012 y(//)g(tick.)38
836b(However,)16 b(in)j(Verilog-XL)o(,)d(after)i(the)h(rising/f)o(all)o
837(ing)d(edge)i(of)h(clk)f(occurs,)-188 1057 y(//)g(the)h(guarded)e
838(statement)o(s)f(are)j(immediate)o(ly)d(executed)h(and)h(register)f
839(variables)-188 1103 y(//)h(are)h(immediate)o(ly)d(updated.)36
840b(That)18 b(is,)h(in)g(a)g(Verilog-X)o(L)e(wrapper,)f(if)j(we)g(allow)
841-188 1149 y(//)f(the)h(circuit)e(to)i(be)f(evaluated)f(and)h(then)g
842(dump)g(the)h(value)e(of)i(registers,)d(we)-188 1194
843y(//)i(see)h(NEXT)f(STATE)g(values)f(instead)g(of)i(CURRENT)e(STATE)g
844(values)h(\(which)f(is)i(what)f(we)-188 1240 y(//)g(see)h(in)g(VIS\).)
845-188 1331 y($fwrite\()o(fg,)-169 1377 y(")g(\045h",)f(clk,)-169
8461423 y(")h(\045h",)f(in1,)-169 1468 y(")h(\045h",)f(in2,)-169
8471514 y(")h(\045h",)f(in3,)-169 1560 y(")h(\045h",)f(in4,)-169
8481605 y(")h(\045h",)f(out1,)-169 1651 y(")h(\045h",)f(out2,)-169
8491697 y(")h(\045h",)f(out3,)-169 1742 y(")h(\045h",)f(out4,)-188
8501788 y("\\n")-188 1834 y(\);)-188 1879 y(#10;)37 b(//)19
851b(give)f(circuit)f(time)h(to)h(evaluate)-188 1925 y(#clkHalf)o(Per)o
852(io)o(d)36 b(i)20 b(=)f(i)g(+)g(1;)-149 2016 y(end)f(//)h(repeat)-188
8532062 y(end)f(//)h(initial)-188 2108 y(endmodul)o(e)-126
8542187 y Fj(V)m(erilog-XL)c(input)h(v)o(ector)h(\()p Fi
855(two_phase.vect.wrapp)o(er)p Fj(,)d(con)o(v)o(erted)j(from)e
856Fi(two_phase.vect)p Fj(\).)23 b(The)17 b(\014rst)g(14)f(en)o(tries)h
857(are)g(for)-188 2232 y Fi(clk)p Fj(,)f(then)h(the)h(next)f(14)f(for)h
858Fi(in1)p Fj(,)f(the)i(14)e(follo)o(w)f(are)i(for)f Fi(in2)p
859Fj(,)h(and)f(so)h(forth.)27 b(The)17 b(v)o(ector)h(included)f(listed)g
860(in)f(the)h(do)q(cumen)o(t)g(is)-188 2278 y(b)q(eauti\014ed.)h(In)c
861(the)h(real)e(v)o(ector)i(\014le,)e(there)j(should)d(b)q(e)i(only)e
862(one)h(n)o(um)o(b)q(er)f(p)q(er)i(line.)-188 2357 y Fe(0)k(1)g(0)g(1)g
863(0)h(1)f(0)g(1)g(0)h(1)f(0)g(1)g(0)g(1)-188 2402 y(0)g(0)g(0)g(0)g(0)h
864(0)f(8)g(8)g(0)h(0)f(9)g(9)g(4)g(4)-188 2448 y(0)g(0)g(0)g(0)g(0)h(0)f
865(0)g(0)g(a)h(a)f(c)g(c)g(3)g(3)-188 2494 y(0)g(0)g(0)g(0)g(0)h(0)f(1)g
866(1)g(2)h(2)f(2)g(2)g(3)g(3)-188 2539 y(0)g(0)g(0)g(0)g(0)h(0)f(0)g(0)g
867(2)h(2)f(0)g(0)g(0)g(0)-126 2622 y Fj(W)m(e)e(can)h(then)h(in)o(v)o(ok)
868o(e)d(V)m(erilog-XL)h(using)g(the)i(command)c(line)i(\\)p
869Fi(verilog)j(-q)i(+noxl)e(two_phase.wrapper)f(two_phase.v)p
870Fj(".)-188 2672 y Fh(V)9 b(er)q(il)q(og)i Fg(\000)d Fh(X)s(L)67
8712657 y Ff(T)t(M)142 2672 y Fj(sim)o(ulation)j(output)j(follo)o(ws.)i
872(The)e(output)g(columns,)e(from)f(left)j(to)f(righ)o(t,)g(are:)18
873b Fi(clk)p Fj(,)12 b Fi(in1)p Fj(,)h Fi(in2)p Fj(,)f
874Fi(in3)p Fj(,)h Fi(in4)p Fj(,)f Fi(out1)p Fj(,)-188 2722
875y Fi(out2)p Fj(,)g Fi(out3)p Fj(,)h Fi(out4)p Fj(.)892
8762904 y(5)p eop
877%%Page: 6 6
8786 5 bop -169 7 a Fe(0)19 b(0)h(0)f(0)g(0)g(0)g(0)h(0)f(x)-169
87953 y(1)g(0)h(0)f(0)g(0)g(0)g(0)h(0)f(x)-169 99 y(0)g(0)h(0)f(0)g(0)g(0)
880g(0)h(0)f(0)-169 144 y(1)g(0)h(0)f(0)g(0)g(0)g(0)h(0)f(0)-169
881190 y(0)g(0)h(0)f(0)g(0)g(0)g(0)h(0)f(0)-169 235 y(1)g(0)h(0)f(0)g(0)g
882(0)g(0)h(0)f(0)-169 281 y(0)g(8)h(0)f(1)g(0)g(0)g(0)h(0)f(0)-169
883327 y(1)g(8)h(0)f(1)g(0)g(0)g(0)h(1)f(0)-169 372 y(0)g(0)h(a)f(2)g(2)g
884(0)g(0)h(1)f(0)-169 418 y(1)g(0)h(a)f(2)g(2)g(0)g(0)h(0)f(0)-169
885464 y(0)g(9)h(c)f(2)g(0)g(2)g(0)h(0)f(2)-169 509 y(1)g(9)h(c)f(2)g(0)g
886(2)g(1)h(2)f(2)-169 555 y(0)g(4)h(3)f(3)g(0)g(1)g(1)h(2)f(1)-169
887601 y(1)g(4)h(3)f(3)g(0)g(1)g(0)h(3)f(1)-126 679 y Fj(Note)11
888b(the)g(nondeterministic)f(initial)f(state)i(of)f Fi(out4)g
889Fj(\(whic)o(h)h(is)f Fi(2'b11)p Fj(\))g(in)g(VIS)h(sim)o(ulation)d
890(trace)j(and)g Fi(x)p Fj('s)f(\()p Fi(2'bxx')p Fj(\))g(in)g(V)m
891(erilog-XL)-188 729 y(trace.)21 b(By)15 b(ignoring)e(the)i(\014rst)h(t)
892o(w)o(o)e(ro)o(ws)h(\(initialization\),)d(w)o(e)j(\014nd)f(the)i(sim)o
893(ulation)11 b(trace)16 b(for)e Fh(V)c(er)q(il)q(og)i
894Fg(\000)e Fh(X)s(L)1632 714 y Ff(T)t(M)1708 729 y Fj(matc)o(hes)k(that)
895h(of)-188 779 y(VIS.)-126 828 y(One)k(should)e(b)q(e)i(careful)f(in)g
896(using)f(\\explicit)h(clo)q(c)o(king")f(in)g Fi(vl2mv)p
897Fj(.)30 b(Since)18 b Fi(vl2mv)f Fj(con)o(v)o(erts)i(eac)o(h)g
898Fi(@)e Fj(construct)j(in)o(to)d(a)h(bunc)o(h)-188 878
899y(of)d(edge-detectors,)k(the)d(extracted)i(blif-m)o(v)13
900b(\014le)j(ma)o(y)e(con)o(tain)h(a)h(large)g(n)o(um)o(b)q(er)f(of)h
901(state)g(v)n(ariables.)24 b(An)o(y)16 b(questions)h(or)f(problems)-188
902928 y(encoun)o(tered)f(should)f(b)q(e)h(addressed)g(to)f
903Fi(vis@ic.eecs.berke)o(ley.e)o(du)p Fj(.)-188 1043 y
904Fb(App)r(endix:)30 b Fa(two)p 252 1043 19 2 v 23 w(phase.mv)-126
9051153 y Fj(W)m(e)13 b(sho)o(w)h(the)h(en)o(tire)f(extrated)h(blif-m)o(v)
906c(\014le)j(for)f Fi(two_phase.v)p Fj(.)-188 1227 y Fe(#)19
907b(vl2mv)e(-y)i(-c)g(-F)g(-Z)g(two_phase)o(.v)-188 1272
908y(#)g(version:)d(0.2)-188 1318 y(#)j(date:)76 b(14:29:49)17
909b(10/14/96)f(\(PDT\))-188 1364 y(.model)h(two_phase)-188
9101409 y(#)i(I/O)f(ports)-188 1455 y(.inputs)e(in1<0>)i(in1<1>)f(in1<2>)g
911(in1<3>)-188 1501 y(.inputs)f(in2<0>)i(in2<1>)f(in2<2>)g(in2<3>)-188
9121546 y(.inputs)f(in3<0>)i(in3<1>)-188 1592 y(.inputs)e(in4<0>)i(in4<1>)
913-188 1638 y(.inputs)e(clk)-188 1683 y(.outputs)g(out4<0>)h(out4<1>)-188
9141729 y(.outputs)f(out3<0>)h(out3<1>)-188 1775 y(.outputs)f(out2)-188
9151820 y(.outputs)g(out1<0>)h(out1<1>)-188 1912 y(.mv)h(<$lc_ps$>)o(000)o
916(001)o(,)e(<$lc_ns$>00)o(00)o(01)g(4)j(<0>)g(<1>)f(<1><PT>)f(<>)-188
9171957 y(.mv)h(<$lc_ps$>)o(000)o(002)o(,)e(<$lc_ns$>00)o(00)o(02)g(4)j
918(<0>)g(<2>)f(<2><PT>)f(<>)-188 2003 y(.mv)h(<$lc_ps$>)o(000)o(003)o(,)e
919(<$lc_ns$>00)o(00)o(03)g(4)j(<0>)g(<3>)f(<3><PT>)f(<>)-188
9202049 y(.mv)h(<$lc_ps$>)o(000)o(004)o(,)e(<$lc_ns$>00)o(00)o(04)g(4)j
921(<0>)g(<4>)f(<4><PT>)f(<>)-188 2094 y(#)i(out1)37 b(=)20
922b(0)-188 2140 y(.names)d(out1$raw_)o(n0<)o(0>)-188 2186
923y(0)-188 2231 y(.names)g(out1$raw_)o(n0<)o(1>)-188 2277
924y(0)-188 2323 y(#)i(non-block)o(in)o(g)e(assignmen)o(ts)f(for)j
925(initial)-188 2368 y(#)g(out2)37 b(=)20 b(0)-188 2414
926y(.names)d(out2$raw_)o(n1)-188 2460 y(0)-188 2505 y(#)i(non-block)o(in)
927o(g)e(assignmen)o(ts)f(for)j(initial)-188 2551 y(#)g(out3)37
928b(=)20 b(0)-188 2597 y(.names)d(out3$raw_)o(n2<)o(0>)-188
9292642 y(0)-188 2688 y(.names)g(out3$raw_)o(n2<)o(1>)-188
9302733 y(0)-188 2779 y(#)i(non-block)o(in)o(g)e(assignmen)o(ts)f(for)j
931(initial)892 2904 y Fj(6)p eop
932%%Page: 7 7
9337 6 bop -188 7 a Fe(#)19 b(out1)37 b(=)20 b(in1)38 b(+)19
934b(in2)-188 53 y(#)g(in1)38 b(+)19 b(in2)-188 99 y(.names)e(_n9)-188
935144 y(0)-188 190 y(.names)g(in1<0>)g(in2<0>)g(_n9)i(_n8<0>)-188
936235 y(.def)f(0)-188 281 y(0)h(0)g(1)g(1)-188 327 y(0)g(1)g(0)g(1)-188
937372 y(1)g(0)g(0)g(1)-188 418 y(1)g(1)g(1)g(1)-188 464
938y(#)g(carry/bor)o(ro)o(w)-188 509 y(.names)e(_nb)-188
939555 y(0)-188 601 y(.names)g(in1<0>)g(in2<0>)g(_nb)i(_na)-188
940646 y(.def)f(0)-188 692 y(0)h(1)g(1)g(1)-188 738 y(1)g(0)g(1)g(1)-188
941783 y(1)g(1)g(0)g(1)-188 829 y(1)g(1)g(1)g(1)-188 875
942y(.names)e(in1<1>)g(in2<1>)g(_na)i(_n8<1>)-188 920 y(.def)f(0)-188
943966 y(0)h(0)g(1)g(1)-188 1012 y(0)g(1)g(0)g(1)-188 1057
944y(1)g(0)g(0)g(1)-188 1103 y(1)g(1)g(1)g(1)-188 1149 y(#)g(carry/bor)o
945(ro)o(w)-188 1194 y(.names)e(in1<1>)g(in2<1>)g(_na)i(_nc)-188
9461240 y(.def)f(0)-188 1286 y(0)h(1)g(1)g(1)-188 1331 y(1)g(0)g(1)g(1)
947-188 1377 y(1)g(1)g(0)g(1)-188 1423 y(1)g(1)g(1)g(1)-188
9481468 y(.names)e(in1<2>)g(in2<2>)g(_nc)i(_n8<2>)-188 1514
949y(.def)f(0)-188 1560 y(0)h(0)g(1)g(1)-188 1605 y(0)g(1)g(0)g(1)-188
9501651 y(1)g(0)g(0)g(1)-188 1697 y(1)g(1)g(1)g(1)-188 1742
951y(#)g(carry/bor)o(ro)o(w)-188 1788 y(.names)e(in1<2>)g(in2<2>)g(_nc)i
952(_nd)-188 1834 y(.def)f(0)-188 1879 y(0)h(1)g(1)g(1)-188
9531925 y(1)g(0)g(1)g(1)-188 1971 y(1)g(1)g(0)g(1)-188 2016
954y(1)g(1)g(1)g(1)-188 2062 y(.names)e(in1<3>)g(in2<3>)g(_nd)i(_n8<3>)
955-188 2108 y(.def)f(0)-188 2153 y(0)h(0)g(1)g(1)-188 2199
956y(0)g(1)g(0)g(1)-188 2245 y(1)g(0)g(0)g(1)-188 2290 y(1)g(1)g(1)g(1)
957-188 2336 y(.names)e(_n8<0>)g(out1$raw_n)o(7<)o(0>)-188
9582382 y(-)i(=_n8<0>)-188 2427 y(.names)e(_n8<1>)g(out1$raw_n)o(7<)o(1>)
959-188 2473 y(-)i(=_n8<1>)-188 2519 y(.names)e(<$lc_ps$>)o(000)o(00)o(1)g
960(_ne)-188 2564 y(.def)h(0)-188 2610 y(<0>)g(1)-188 2656
961y(#)h(feedback)d(mux)-188 2701 y(.names)h(out4<0>)g(_n3<0>)-188
9622747 y(-)i(=out4<0>)892 2904 y Fj(7)p eop
963%%Page: 8 8
9648 7 bop -188 7 a Fe(.names)17 b(out4<1>)g(_n3<1>)-188
96553 y(-)i(=out4<1>)-188 99 y(.names)e(out3<0>)g(_n4<0>)-188
966144 y(-)i(=out3<0>)-188 190 y(.names)e(out3<1>)g(_n4<1>)-188
967235 y(-)i(=out3<1>)-188 281 y(.names)e(out2)h(_n5)-188
968327 y(-)h(=out2)-188 372 y(.names)e(out1<0>)g(out1$raw_)o(n7)o(<0>)f
969(_ne)i(_n6<0>)-188 418 y(0)h(-)g(1)g(0)-188 464 y(1)g(-)g(1)g(1)-188
970509 y(-)g(0)g(0)g(0)-188 555 y(-)g(1)g(0)g(1)-188 601
971y(.names)e(out1<1>)g(out1$raw_)o(n7)o(<1>)f(_ne)i(_n6<1>)-188
972646 y(0)h(-)g(1)g(0)-188 692 y(1)g(-)g(1)g(1)-188 738
973y(-)g(0)g(0)g(0)-188 783 y(-)g(1)g(0)g(1)-188 829 y(#)g(out2)37
974b(=)20 b(in1)e([0])h(^)g(in1)f([1])-188 875 y(#)h(in1)f([0])h(^)g(in1)f
975([1])-188 920 y(.names)f(in1<0>)g(in1<1>)g(_n16<0>)-188
976966 y(.def)h(0)-188 1012 y(0)h(1)g(1)-188 1057 y(1)g(0)g(1)-188
9771103 y(.names)e(_n16<0>)g(out2$raw_)o(n1)o(5)-188 1149
978y(-)i(=_n16<0>)-188 1194 y(.names)e(<$lc_ps$>)o(000)o(00)o(2)g(_n17)
979-188 1240 y(.def)h(0)-188 1286 y(<0>)g(1)-188 1331 y(#)h(feedback)d
980(mux)-188 1377 y(.names)h(out4<0>)g(_n11<0>)-188 1423
981y(-)i(=out4<0>)-188 1468 y(.names)e(out4<1>)g(_n11<1>)-188
9821514 y(-)i(=out4<1>)-188 1560 y(.names)e(out3<0>)g(_n12<0>)-188
9831605 y(-)i(=out3<0>)-188 1651 y(.names)e(out3<1>)g(_n12<1>)-188
9841697 y(-)i(=out3<1>)-188 1742 y(.names)e(out2)h(out2$raw_)o(n15)e(_n17)
985i(_n13)-188 1788 y(0)h(-)g(1)g(0)-188 1834 y(1)g(-)g(1)g(1)-188
9861879 y(-)g(0)g(0)g(0)-188 1925 y(-)g(1)g(0)g(1)-188 1971
987y(.names)e(out1<0>)g(_n14<0>)-188 2016 y(-)i(=out1<0>)-188
9882062 y(.names)e(out1<1>)g(_n14<1>)-188 2108 y(-)i(=out1<1>)-188
9892153 y(#)g(out3)37 b(=)20 b(in3)38 b(-)19 b(in4)-188
9902199 y(#)g(in3)38 b(-)19 b(in4)-188 2245 y(.names)e(_n1f)-188
9912290 y(0)-188 2336 y(.names)g(in3<0>)g(in4<0>)g(_n1f)h(_n1e<0>)-188
9922382 y(.def)g(0)-188 2427 y(0)h(0)g(1)g(1)-188 2473 y(0)g(1)g(0)g(1)
993-188 2519 y(1)g(0)g(0)g(1)-188 2564 y(1)g(1)g(1)g(1)-188
9942610 y(#)g(carry/bor)o(ro)o(w)-188 2656 y(.names)e(_n21)-188
9952701 y(0)-188 2747 y(.names)g(in3<0>)g(in4<0>)g(_n21)h(_n20)892
9962904 y Fj(8)p eop
997%%Page: 9 9
9989 8 bop -188 7 a Fe(.def)18 b(0)-188 53 y(0)h(0)g(1)g(1)-188
99999 y(0)g(1)g(0)g(1)-188 144 y(0)g(1)g(1)g(1)-188 190
1000y(1)g(1)g(1)g(1)-188 235 y(.names)e(in3<1>)g(in4<1>)g(_n20)h(_n1e<1>)
1001-188 281 y(.def)g(0)-188 327 y(0)h(0)g(1)g(1)-188 372
1002y(0)g(1)g(0)g(1)-188 418 y(1)g(0)g(0)g(1)-188 464 y(1)g(1)g(1)g(1)-188
1003509 y(.names)e(_n1e<0>)g(out3$raw_)o(n1)o(d<0)o(>)-188
1004555 y(-)i(=_n1e<0>)-188 601 y(.names)e(_n1e<1>)g(out3$raw_)o(n1)o(d<1)o
1005(>)-188 646 y(-)i(=_n1e<1>)-188 692 y(.names)e(<$lc_ps$>)o(000)o(00)o
1006(3)g(_n22)-188 738 y(.def)h(0)-188 783 y(<0>)g(1)-188
1007829 y(#)h(feedback)d(mux)-188 875 y(.names)h(out4<0>)g(_n19<0>)-188
1008920 y(-)i(=out4<0>)-188 966 y(.names)e(out4<1>)g(_n19<1>)-188
10091012 y(-)i(=out4<1>)-188 1057 y(.names)e(out3<0>)g(out3$raw_)o(n1)o
1010(d<0)o(>)g(_n22)h(_n1a<0>)-188 1103 y(0)h(-)g(1)g(0)-188
10111149 y(1)g(-)g(1)g(1)-188 1194 y(-)g(0)g(0)g(0)-188 1240
1012y(-)g(1)g(0)g(1)-188 1286 y(.names)e(out3<1>)g(out3$raw_)o(n1)o(d<1)o
1013(>)g(_n22)h(_n1a<1>)-188 1331 y(0)h(-)g(1)g(0)-188 1377
1014y(1)g(-)g(1)g(1)-188 1423 y(-)g(0)g(0)g(0)-188 1468 y(-)g(1)g(0)g(1)
1015-188 1514 y(.names)e(out2)h(_n1b)-188 1560 y(-)h(=out2)-188
10161605 y(.names)e(out1<0>)g(_n1c<0>)-188 1651 y(-)i(=out1<0>)-188
10171697 y(.names)e(out1<1>)g(_n1c<1>)-188 1742 y(-)i(=out1<1>)-188
10181788 y(.names)e(clk)h(_n29)-188 1834 y(-)h(=clk)-188
10191879 y(#)g(out4)37 b(=)20 b(in1)38 b(-)19 b(in2)-188
10201925 y(#)g(in1)38 b(-)19 b(in2)-188 1971 y(.names)e(_n2c)-188
10212016 y(0)-188 2062 y(.names)g(in1<0>)g(in2<0>)g(_n2c)h(_n2b<0>)-188
10222108 y(.def)g(0)-188 2153 y(0)h(0)g(1)g(1)-188 2199 y(0)g(1)g(0)g(1)
1023-188 2245 y(1)g(0)g(0)g(1)-188 2290 y(1)g(1)g(1)g(1)-188
10242336 y(#)g(carry/bor)o(ro)o(w)-188 2382 y(.names)e(_n2e)-188
10252427 y(0)-188 2473 y(.names)g(in1<0>)g(in2<0>)g(_n2e)h(_n2d)-188
10262519 y(.def)g(0)-188 2564 y(0)h(0)g(1)g(1)-188 2610 y(0)g(1)g(0)g(1)
1027-188 2656 y(0)g(1)g(1)g(1)-188 2701 y(1)g(1)g(1)g(1)-188
10282747 y(.names)e(in1<1>)g(in2<1>)g(_n2d)h(_n2b<1>)892
10292904 y Fj(9)p eop
1030%%Page: 10 10
103110 9 bop -188 7 a Fe(.def)18 b(0)-188 53 y(0)h(0)g(1)g(1)-188
103299 y(0)g(1)g(0)g(1)-188 144 y(1)g(0)g(0)g(1)-188 190
1033y(1)g(1)g(1)g(1)-188 235 y(#)g(carry/bor)o(ro)o(w)-188
1034281 y(.names)e(in1<1>)g(in2<1>)g(_n2d)h(_n2f)-188 327
1035y(.def)g(0)-188 372 y(0)h(0)g(1)g(1)-188 418 y(0)g(1)g(0)g(1)-188
1036464 y(0)g(1)g(1)g(1)-188 509 y(1)g(1)g(1)g(1)-188 555
1037y(.names)e(in1<2>)g(in2<2>)g(_n2f)h(_n2b<2>)-188 601
1038y(.def)g(0)-188 646 y(0)h(0)g(1)g(1)-188 692 y(0)g(1)g(0)g(1)-188
1039738 y(1)g(0)g(0)g(1)-188 783 y(1)g(1)g(1)g(1)-188 829
1040y(#)g(carry/bor)o(ro)o(w)-188 875 y(.names)e(in1<2>)g(in2<2>)g(_n2f)h
1041(_n30)-188 920 y(.def)g(0)-188 966 y(0)h(0)g(1)g(1)-188
10421012 y(0)g(1)g(0)g(1)-188 1057 y(0)g(1)g(1)g(1)-188 1103
1043y(1)g(1)g(1)g(1)-188 1149 y(.names)e(in1<3>)g(in2<3>)g(_n30)h(_n2b<3>)
1044-188 1194 y(.def)g(0)-188 1240 y(0)h(0)g(1)g(1)-188 1286
1045y(0)g(1)g(0)g(1)-188 1331 y(1)g(0)g(0)g(1)-188 1377 y(1)g(1)g(1)g(1)
1046-188 1423 y(.names)e(_n2b<0>)g(out4$clk_)o(n2)o(a$t)o(rue)o(<0)o(>)-188
10471468 y(-)i(=_n2b<0>)-188 1514 y(.names)e(_n2b<1>)g(out4$clk_)o(n2)o
1048(a$t)o(rue)o(<1)o(>)-188 1560 y(-)i(=_n2b<1>)-188 1605
1049y(#)g(if/else)e(\(clk)h(\))-188 1651 y(.names)f(out4$clk_)o(n2a)o($t)o
1050(rue)o(<0)o(>)g(out4<0>)g(clk)h(out4$clk$r)o(aw)o(_n3)o(3<0)o(>)-188
10511697 y(0)h(-)g(1)g(0)-188 1742 y(1)g(-)g(1)g(1)-188 1788
1052y(-)g(0)g(0)g(0)-188 1834 y(-)g(1)g(0)g(1)-188 1879 y(.names)e
1053(out4$clk_)o(n2a)o($t)o(rue)o(<1)o(>)g(out4<1>)g(clk)h(out4$clk$r)o(aw)
1054o(_n3)o(3<1)o(>)-188 1925 y(0)h(-)g(1)g(0)-188 1971 y(1)g(-)g(1)g(1)
1055-188 2016 y(-)g(0)g(0)g(0)-188 2062 y(-)g(1)g(0)g(1)-188
10562108 y(.names)e(<$lc_ps$>)o(000)o(00)o(4)g(_n36)-188
10572153 y(.def)h(0)-188 2199 y(<0>)g(1)-188 2245 y(#)h(feedback)d(mux)-188
10582290 y(.names)h(out4<0>)g(out4$clk$)o(ra)o(w_n)o(33<)o(0>)f(_n36)i
1059(_n25<0>)-188 2336 y(0)h(-)g(1)g(0)-188 2382 y(1)g(-)g(1)g(1)-188
10602427 y(-)g(0)g(0)g(0)-188 2473 y(-)g(1)g(0)g(1)-188 2519
1061y(.names)e(out4<1>)g(out4$clk$)o(ra)o(w_n)o(33<)o(1>)f(_n36)i(_n25<1>)
1062-188 2564 y(0)h(-)g(1)g(0)-188 2610 y(1)g(-)g(1)g(1)-188
10632656 y(-)g(0)g(0)g(0)-188 2701 y(-)g(1)g(0)g(1)-188 2747
1064y(.names)e(out3<0>)g(_n26<0>)882 2904 y Fj(10)p eop
1065%%Page: 11 11
106611 10 bop -188 7 a Fe(-)19 b(=out3<0>)-188 53 y(.names)e(out3<1>)g
1067(_n26<1>)-188 99 y(-)i(=out3<1>)-188 144 y(.names)e(out2)h(_n27)-188
1068190 y(-)h(=out2)-188 235 y(.names)e(out1<0>)g(_n28<0>)-188
1069281 y(-)i(=out1<0>)-188 327 y(.names)e(out1<1>)g(_n28<1>)-188
1070372 y(-)i(=out1<1>)-188 418 y(#)g(conflict)d(arbitrator)o(s)-188
1071464 y(.names)h(<$lc_ps$>)o(000)o(00)o(4)g(_n29)h(_n39)-188
1072509 y(.def)g(0)-188 555 y(\(<4>\))f(1)i(1)-188 601 y(.names)e(_n39)h
1073(out4$clk$)o(raw)o(_n)o(33<)o(0>)e(out4$clk$r)o(aw_)o(n3)o(3<1)o(>)g
1074(out4<0>)h(out4<1>)g(->)i(_n3a<0>)e(_n3a<1>)-188 646
1075y(1)i(-)g(-)g(-)g(-)h(=out4$clk)o($r)o(aw_)o(n3)o(3<0)o(>)d(=out4$cl)o
1076(k$r)o(aw_)o(n3)o(3<1)o(>)-188 692 y(0)i(-)g(-)g(-)g(-)h(=out4<0>)c
1077(=out4<1>)-188 738 y(.names)h(<$lc_ps$>)o(000)o(00)o(3)g(_n3b)-188
1078783 y(.def)h(0)-188 829 y(\(<3>\))f(1)-188 875 y(.names)g(_n3b)h
1079(out3$raw_)o(n1d)o(<0)o(>)f(out3$raw_)o(n1)o(d<1)o(>)g(out3<0>)f
1080(out3<1>)h(->)i(_n3c<0>)e(_n3c<1>)-188 920 y(1)i(-)g(-)g(-)g(-)h
1081(=out3$raw)o(_n)o(1d<)o(0>)c(=out3$raw_)o(n1)o(d<1)o(>)-188
1082966 y(0)j(-)g(-)g(-)g(-)h(=out3<0>)c(=out3<1>)-188 1012
1083y(.names)h(<$lc_ps$>)o(000)o(00)o(2)g(_n3d)-188 1057
1084y(.def)h(0)-188 1103 y(\(<2>\))f(1)-188 1149 y(.names)g(_n3d)h
1085(out2$raw_)o(n15)e(out2)i(_n3e)-188 1194 y(1)h(0)g(-)g(0)-188
10861240 y(1)g(1)g(-)g(1)-188 1286 y(0)g(-)g(0)g(0)-188 1331
1087y(0)g(-)g(1)g(1)-188 1377 y(.names)e(<$lc_ps$>)o(000)o(00)o(1)g(_n3f)
1088-188 1423 y(.def)h(0)-188 1468 y(\(<1>\))f(1)-188 1514
1089y(.names)g(_n3f)h(out1$raw_)o(n7<)o(0>)e(out1$raw_n)o(7<)o(1>)g
1090(out1<0>)h(out1<1>)g(->)i(_n40<0>)e(_n40<1>)-188 1560
1091y(1)i(-)g(-)g(-)g(-)h(=out1$raw)o(_n)o(7<0)o(>)c(=out1$raw_n)o(7<)o(1>)
1092-188 1605 y(0)j(-)g(-)g(-)g(-)h(=out1<0>)c(=out1<1>)-188
10931651 y(#)j(non-block)o(in)o(g)e(assignmen)o(ts)-188 1697
1094y(#)i(latches)-188 1742 y(.r)f(out4<0>)-188 1788 y(-)-188
10951834 y(.r)g(out4<1>)-188 1879 y(-)-188 1925 y(.latch)f(_n3a<0>)g
1096(out4<0>)-188 1971 y(.latch)g(_n3a<1>)g(out4<1>)-188
10972016 y(.r)h(out3$raw_n)o(2<0)o(>)f(out3<0>)-188 2062
1098y(.def)h(0)-188 2108 y(1)h(1)-188 2153 y(.r)f(out3$raw_n)o(2<1)o(>)f
1099(out3<1>)-188 2199 y(.def)h(0)-188 2245 y(1)h(1)-188
11002290 y(.latch)e(_n3c<0>)g(out3<0>)-188 2336 y(.latch)g(_n3c<1>)g
1101(out3<1>)-188 2382 y(.r)h(out2$raw_n)o(1)f(out2)-188
11022427 y(0)i(0)-188 2473 y(1)g(1)-188 2519 y(.latch)e(_n3e)h(out2)-188
11032564 y(.r)g(out1$raw_n)o(0<0)o(>)f(out1<0>)-188 2610
1104y(.def)h(0)-188 2656 y(1)h(1)-188 2701 y(.r)f(out1$raw_n)o(0<1)o(>)f
1105(out1<1>)-188 2747 y(.def)h(0)882 2904 y Fj(11)p eop
1106%%Page: 12 12
110712 11 bop -188 7 a Fe(1)19 b(1)-188 53 y(.latch)e(_n40<0>)g(out1<0>)
1108-188 99 y(.latch)g(_n40<1>)g(out1<1>)-188 144 y(#)i(quasi-con)o(ti)o
1109(nuo)o(us)d(assignment)-188 190 y(#)j(timing)e(automaton:)f(time)i
1110(flies)-188 235 y(.latch)f(clk)h(clk$prev0)-188 281 y(.r)g(clk$prev0)
1111-188 327 y(0)-188 372 y(.names)f(clk$prev0)f(clk)i(_n41)-188
1112418 y(.def)g(0)-188 464 y(0)h(1)g(1)-188 509 y(.mv)f(<T>000001)e(3)j
1113(<0>)g(<1>)f(<1><PT>)-188 555 y(.mv)g(<_>000001)e(3)j(<0>)g(<1>)f
1114(<1><PT>)-188 601 y(.latch)f(<_>000001)f(<T>000001)-188
1115646 y(.r)i(<T>000001)-188 692 y(<1>)-188 738 y(.names)f(_n41)h
1116(<T>000001)e(->)j(<$lc_ps$>)o(000)o(00)o(1)e(<$lc_ns$>)o(00)o(000)o(1)g
1117(<_>00000)o(1)-188 783 y(.def)h(<>)g(<>)h(=<T>000001)-188
1118829 y(0)38 b(<1>)19 b(<>)g(<>)f(=<T>000001)-188 875 y(1)38
1119b(<1>)19 b(<1>)f(<1>)h(<1>)-188 920 y(-)g(<0>)f(<0>)h(<1>)f(<1>)-188
1120966 y(#)h(timing)e(automatan:)f(time)i(flies)-188 1012
1121y(.latch)f(clk)h(clk$prev1)-188 1057 y(.r)g(clk$prev1)-188
11221103 y(0)-188 1149 y(.names)f(clk$prev1)f(clk)i(_n42)-188
11231194 y(.def)g(0)-188 1240 y(1)h(0)g(1)-188 1286 y(.mv)f(<T>000002)e(3)j
1124(<0>)g(<2>)f(<2><PT>)-188 1331 y(.mv)g(<_>000002)e(3)j(<0>)g(<2>)f
1125(<2><PT>)-188 1377 y(.latch)f(<_>000002)f(<T>000002)-188
11261423 y(.r)i(<T>000002)-188 1468 y(<2>)-188 1514 y(.names)f(_n42)h
1127(<T>000002)e(->)j(<$lc_ps$>)o(000)o(00)o(2)e(<$lc_ns$>)o(00)o(000)o(2)g
1128(<_>00000)o(2)-188 1560 y(.def)h(<>)g(<>)h(=<T>000002)-188
11291605 y(0)38 b(<2>)19 b(<>)g(<>)f(=<T>000002)-188 1651
1130y(1)38 b(<2>)19 b(<2>)f(<2>)h(<2>)-188 1697 y(-)g(<0>)f(<0>)h(<2>)f
1131(<2>)-188 1742 y(#)h(timing)e(automaton:)f(time)i(flies)-188
11321788 y(.latch)f(clk)h(clk$prev2)-188 1834 y(.r)g(clk$prev2)-188
11331879 y(0)-188 1925 y(.names)f(clk$prev2)f(clk)i(_n43)-188
11341971 y(.def)g(0)-188 2016 y(1)h(0)g(1)-188 2062 y(.mv)f(<T>000003)e(3)j
1135(<0>)g(<3>)f(<3><PT>)-188 2108 y(.mv)g(<_>000003)e(3)j(<0>)g(<3>)f
1136(<3><PT>)-188 2153 y(.latch)f(<_>000003)f(<T>000003)-188
11372199 y(.r)i(<T>000003)-188 2245 y(<3>)-188 2290 y(.names)f(_n43)h
1138(<T>000003)e(->)j(<$lc_ps$>)o(000)o(00)o(3)e(<$lc_ns$>)o(00)o(000)o(3)g
1139(<_>00000)o(3)-188 2336 y(.def)h(<>)g(<>)h(=<T>000003)-188
11402382 y(0)38 b(<3>)19 b(<>)g(<>)f(=<T>000003)-188 2427
1141y(1)38 b(<3>)19 b(<3>)f(<3>)h(<3>)-188 2473 y(-)g(<0>)f(<0>)h(<3>)f
1142(<3>)-188 2519 y(#)h(timing)e(automatan:)f(time)i(flies)-188
11432564 y(.latch)f(clk)h(clk$prev3)-188 2610 y(.r)g(clk$prev3)-188
11442656 y(0)-188 2701 y(.names)f(clk$prev3)f(clk)i(_n45)-188
11452747 y(.def)g(0)882 2904 y Fj(12)p eop
1146%%Page: 13 13
114713 12 bop -188 7 a Fe(1)19 b(0)g(1)-188 53 y(0)g(1)g(1)-188
114899 y(#)g(in1)38 b(-)19 b(in2)-188 144 y(.names)e(_n47)-188
1149190 y(0)-188 235 y(.names)g(in1<0>)g(in2<0>)g(_n47)h(_n46<0>)-188
1150281 y(.def)g(0)-188 327 y(0)h(0)g(1)g(1)-188 372 y(0)g(1)g(0)g(1)-188
1151418 y(1)g(0)g(0)g(1)-188 464 y(1)g(1)g(1)g(1)-188 509
1152y(#)g(carry/bor)o(ro)o(w)-188 555 y(.names)e(_n49)-188
1153601 y(0)-188 646 y(.names)g(in1<0>)g(in2<0>)g(_n49)h(_n48)-188
1154692 y(.def)g(0)-188 738 y(0)h(0)g(1)g(1)-188 783 y(0)g(1)g(0)g(1)-188
1155829 y(0)g(1)g(1)g(1)-188 875 y(1)g(1)g(1)g(1)-188 920
1156y(.names)e(in1<1>)g(in2<1>)g(_n48)h(_n46<1>)-188 966
1157y(.def)g(0)-188 1012 y(0)h(0)g(1)g(1)-188 1057 y(0)g(1)g(0)g(1)-188
11581103 y(1)g(0)g(0)g(1)-188 1149 y(1)g(1)g(1)g(1)-188 1194
1159y(#)g(carry/bor)o(ro)o(w)-188 1240 y(.names)e(in1<1>)g(in2<1>)g(_n48)h
1160(_n4a)-188 1286 y(.def)g(0)-188 1331 y(0)h(0)g(1)g(1)-188
11611377 y(0)g(1)g(0)g(1)-188 1423 y(0)g(1)g(1)g(1)-188 1468
1162y(1)g(1)g(1)g(1)-188 1514 y(.names)e(in1<2>)g(in2<2>)g(_n4a)h(_n46<2>)
1163-188 1560 y(.def)g(0)-188 1605 y(0)h(0)g(1)g(1)-188 1651
1164y(0)g(1)g(0)g(1)-188 1697 y(1)g(0)g(0)g(1)-188 1742 y(1)g(1)g(1)g(1)
1165-188 1788 y(#)g(carry/bor)o(ro)o(w)-188 1834 y(.names)e(in1<2>)g
1166(in2<2>)g(_n4a)h(_n4b)-188 1879 y(.def)g(0)-188 1925
1167y(0)h(0)g(1)g(1)-188 1971 y(0)g(1)g(0)g(1)-188 2016 y(0)g(1)g(1)g(1)
1168-188 2062 y(1)g(1)g(1)g(1)-188 2108 y(.names)e(in1<3>)g(in2<3>)g(_n4b)h
1169(_n46<3>)-188 2153 y(.def)g(0)-188 2199 y(0)h(0)g(1)g(1)-188
11702245 y(0)g(1)g(0)g(1)-188 2290 y(1)g(0)g(0)g(1)-188 2336
1171y(1)g(1)g(1)g(1)-188 2382 y(.latch)e(_n46<0>)g(_n46$prev)o(4<)o(0>)-188
11722427 y(.r)h(_n46$prev4)o(<0>)-188 2473 y(0)-188 2519
1173y(.names)f(_n46$prev)o(4<0)o(>)f(_n46<0>)h(_n4c<0>)-188
11742564 y(.def)h(0)-188 2610 y(1)h(0)g(1)-188 2656 y(0)g(1)g(1)-188
11752701 y(.latch)e(_n46<1>)g(_n46$prev)o(4<)o(1>)-188 2747
1176y(.r)h(_n46$prev4)o(<1>)882 2904 y Fj(13)p eop
1177%%Page: 14 14
117814 13 bop -188 7 a Fe(0)-188 53 y(.names)17 b(_n46$prev)o(4<1)o(>)f
1179(_n46<1>)h(_n4c<1>)-188 99 y(.def)h(0)-188 144 y(1)h(0)g(1)-188
1180190 y(0)g(1)g(1)-188 235 y(.latch)e(_n46<2>)g(_n46$prev)o(4<)o(2>)-188
1181281 y(.r)h(_n46$prev4)o(<2>)-188 327 y(0)-188 372 y(.names)f(_n46$prev)
1182o(4<2)o(>)f(_n46<2>)h(_n4c<2>)-188 418 y(.def)h(0)-188
1183464 y(1)h(0)g(1)-188 509 y(0)g(1)g(1)-188 555 y(.latch)e(_n46<3>)g
1184(_n46$prev)o(4<)o(3>)-188 601 y(.r)h(_n46$prev4)o(<3>)-188
1185646 y(0)-188 692 y(.names)f(_n46$prev)o(4<3)o(>)f(_n46<3>)h(_n4c<3>)
1186-188 738 y(.def)h(0)-188 783 y(1)h(0)g(1)-188 829 y(0)g(1)g(1)-188
1187875 y(.names)e(_n4c<0>)g(_n4c<1>)g(_n4c<2>)g(_n4c<3>)f(_n4d)-188
1188920 y(.def)i(1)-188 966 y(0)h(0)g(0)g(0)g(0)-188 1012
1189y(.names)e(_n45)h(_n4d)g(_n44)-188 1057 y(.def)g(1)-188
11901103 y(0)h(0)g(0)-188 1149 y(.mv)f(<T>000004)e(3)j(<0>)g(<4>)f(<4><PT>)
1191-188 1194 y(.mv)g(<_>000004)e(3)j(<0>)g(<4>)f(<4><PT>)-188
11921240 y(.latch)f(<_>000004)f(<T>000004)-188 1286 y(.r)i(<T>000004)-188
11931331 y(<4>)-188 1377 y(.names)f(_n44)h(<T>000004)e(->)j(<$lc_ps$>)o
1194(000)o(00)o(4)e(<$lc_ns$>)o(00)o(000)o(4)g(<_>00000)o(4)-188
11951423 y(.def)h(<>)g(<>)h(=<T>000004)-188 1468 y(0)38 b(<4>)19
1196b(<>)g(<>)f(=<T>000004)-188 1514 y(1)38 b(<4>)19 b(<4>)f(<4>)h(<4>)-188
11971560 y(-)g(<0>)f(<0>)h(<4>)f(<4>)-188 1605 y(.end)882
11982904 y Fj(14)p eop
1199%%Trailer
1200end
1201userdict /end-hook known{end-hook}if
1202%%EOF
Note: See TracBrowser for help on using the repository browser.