Context Navigation

source: vis_dev/vis-2.1/doc/two_phase.ps @ 15

Last change on this file since 15 was 11, checked in by cecile, 13 years ago
Add vis
File size: 76.2 KB

Rev	Line
[11]	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
	15	mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1}
	16	ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
	17	isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
	18	hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
	19	TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if}
	20	forall 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
	24	string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N
	25	end 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]
	27	N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup
	28	length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{
	29	128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub
	30	get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data
	31	dup 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
	34	0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff
	35	setcachedevice 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
	38	gp get /gp gp 1 add N dup 18 mod S 18 idiv pl S get exec}loop}B /adv{cp
	39	add /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}{
	41	dup 255 eq{pop 254}{dup dup add 255 and S 1 and or}ifelse}ifelse put 1
	42	adv}B /rsh{rw cp 2 copy get dup 0 eq{pop 128}{dup 255 eq{pop 127}{dup 2
	43	idiv S 128 and or}ifelse}ifelse put 1 adv}B /clr{rw cp 2 index string
	44	putinterval adv}B /set{rw cp fillstr 0 4 index getinterval putinterval
	45	adv}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}{
	47	adv rsh nd}{1 add adv}{/rc X nd}{1 add set}{1 add clr}{adv 2 chg}{adv 2
	48	chg 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
	50	length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{
	51	cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin
	52	0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul
	53	add .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
	55	known{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
	57	65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0
	58	0]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
	60	getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false}
	61	ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false
	62	RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1
	63	false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform
	64	round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg
	65	rlineto 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}
	67	B /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{
	68	4 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{
	69	p 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
	70	a}B /bos{/SS save N}B /eos{SS restore}B end
	71	%%EndProcSet
	72	TeXDict begin 39158280 55380996 1000 300 300 (two_phase.dvi)
	73	@start /Fa 11 120 df<1238127C12FEA3127C1238070774861F>46
	74	D<EA07FCEA1FFF4813C080383E03F0EA1C01C77E1478A3EB7FF8EA03FF120F383FE078EA
	75	7E0012785AA4007813F8EA7E036CB512E0A2380FFE3F3803F80F1B1A7D991F>97
	76	D<137F3801FFC0000713E04813F0381F81F8383F0078003C133C127C0078131EA2B512FE
	77	A400F0C7FCA21278A2007C131E7E381F803EEBE07C380FFFF8000313F06C13E038003F80
	78	171A7D991F>101 D<EA7F8012FFA2127F1207A7EB87E0EB9FF0EBBFF8EBFFFCEBF83CEB
	79	E01E13C0A21380AE397FF87FE039FFFCFFF0A2397FF87FE01C257FA41F>104
	80	D<38FC781E38FDFC7F39FFFEFF8090B5FC391F0FC3C0381E0781A3001C1301AE39FF8FE3
	81	F8EB9FE7A2EB8FE31D1A80991F>109 D<13FCEA03FF481380001F13E01387383E01F038
	82	7C00F800781378A248133CA76C137C00781378007C13F8A2383E01F0381F87E013FF0007
	83	13806C1300EA00FC161A7C991F>111 D<387F87E038FF9FF8EBBFFE6CB5FC3807F83F90
	84	38E00F80EBC007EC03C0138015E01401A6140315C0EBC0071580EBE00F9038F03F00EBFF
	85	FEEBBFFCEB9FF8EB87C00180C7FCA9EA7FF8487EA26C5A1B277F991F>I<3803FC70380F
	86	FFF0123F5AEA7C03EAF801EAF000A27E007C1300EA3FE06CB4FC000713C0C613E0EB07F0
	87	EB00F80070137C00F0133CA27E6C137C38FF01F8EBFFF0A200E713C038E1FE00161A7C99
	88	1F>115 D<137013F0A6387FFFFEB5FCA3D800F0C7FCACEC0780A49038F80F00EB7C1FEB
	89	7FFE6D5A6D5AEB07E019217FA01F>I<397FE07FE039FFF0FFF0A2397FE07FE03907000E
	90	00A2EB801E0003131CA2EBC03C00011338A2EBE07800001370A3EB70E0A3EB39C0A3EB1F
	91	80A36DC7FC1C1A7F991F>118 D<39FFE07FF0A4391C000380A3001E1307000E1400A2EB
	92	0F87A2131F000613C638071DCEA2133D14EEA2380338ECA21378EBF8FCEBF07CA23801E0
	93	781C1A7F991F>I E /Fb 8 121 df<121C123E127FEAFF80A3EA7F00123E121CC7FCA912
	94	1C123E127FEAFF80A3EA7F00123E121C091B7B9A13>58 D<EC03804A7EA24A7EA34A7EA2
	95	4A7EA3EC73FCA2ECF3FE14E101017F14C0A2010380EC807F010780EC003FA2010E6D7EA2
	96	011E80011C130F011FB5FC4980A29039780007FC0170130301F080491301A2000181497F
	97	00031680D8FFFE011F13FEA32F297EA834>65 D<EC3FF8A31403ACEB1FE3EBFFFB3803F8
	98	3F3807E00F380FC007381F8003123FEA7F00A35AA77EA3EA3F80121F000F13073807C00F
	99	3A03F03FFF803800FFF3EB3FC3212A7EA926>100 D<EB3FE03801FFF83803F07E3807C0
	100	1FD80F801380001F130F003F14C0EA7F00140715E05AA290B5FCA290C8FCA37EA36C6C13
	101	E0121F390FC001C03907E003803903F81F003800FFFEEB1FF01B1B7E9A20>I<EA0780EA
	102	0FC0EA1FE0123FA3121FEA0FC0EA0780C7FCA7EAFFE0A3120FB3A3EAFFFEA30F2B7DAA14
	103	>105 D<38FFC07F9038C1FFC09038C787E0390FCE03F013D88113F0A213E0B03AFFFE3F
	104	FF80A3211B7D9A26>110 D<38FFE1FE9038E7FF809038FE07E0390FF803F0496C7E496C
	105	7E818181A21680A716005DA25D4A5A01F05B6D485A9038FE0FE09038EFFF80D9E1FCC7FC
	106	01E0C8FCA9EAFFFEA321277E9A26>112 D<39FFFC0FFFA33907F003C0D803F85B3801FC
	107	076C6C48C7FCEBFF1E6D5AEB3FF86D5AA2130F130780497E497E131EEB3C7F496C7E496C
	108	7ED801E07F3803C00F6E7E3AFFF01FFF80A3211B7F9A24>120 D
	109	E /Fc 9 117 df<EA01E3EA0717EA0C0F1218EA380E12301270A2EAE01CA41339A3EA60
	110	79EA319AEA1E0C10127C9115>97 D<13F8EA0304120EEA1C0EEA181CEA30001270A25AA5
	111	1304EA60081310EA3060EA0F800F127C9113>99 D<13F8EA0704120CEA1802EA38041230
	112	EA7008EA7FF0EAE000A5EA60041308EA30101360EA0F800F127C9113>101
	113	D<EB78C0EA01C5EA03031206000E1380120C121CA238380700A4130EA3EA181EEA0C7CEA
	114	079CEA001CA25BA2EAC030EAE070EAC1C0007FC7FC121A7E9113>103
	115	D<EA0FC01201A2485AA448C7FCA4EA0E3E13C3380F0380120E121E121CA338380700A313
	116	0E00701340A2131C1480EAE00C38600700121D7E9C15>I<EA01801203EA0100C7FCA712
	117	1C12261247A2128EA2120E5AA35AA21271A31272A2123C091C7C9B0D>I<391C1E078039
	118	266318C0394683A0E0384703C0008E1380A2120EA2391C0701C0A3EC0380D8380E1388A2
	119	EC0708151039701C032039300C01C01D127C9122>109 D<EA383EEA4CC3384D0380124E
	120	129E129C121CA238380700A3130E00701340A2131C1480EAE00C3860070012127C9117>
	121	I<12035AA3120EA4EAFFE0EA1C00A35AA45AA4EAE080A2EAE100A2126612380B1A7C990E
	122	>116 D E /Fd 1 64 df<EA0FF0EA303CEA601EEAF01F12F8A21270EA003E133C137013
	123	E0EA01C01380A2EA0300A5C7FCA4EA0780EA0FC0A4EA0780101D7D9C17>63
	124	D E /Fe 80 122 df<EAC060EAE0E0A4EAC060A5EA40400B0B7C9614>34
	125	D<EA071CA5EA7FFFB51280A2380E3800A7B51280A26C1300EA1C70A511177F9614>I<13
	126	801201A2EA07E0EA1FF0EA39BCEA619CEAC18EA3EAE184EA7180127FEA1FE0EA0FF0EA01
	127	F8139C138EEA418612E1A3EA718CEA39B8EA1FF0EA0FC0EA0180A212000F1D7E9914>I<
	128	EA3806EA7C0E126CEAEE1CA25BA2126CEA7C70123812005BA2485AA3485AA248C7FC130E
	129	131FEA0E1BEB3B80A2121CA238381B00131FEA180E111D7F9914>I<1202120F121E127C
	130	12F012600806799614>39 D<EA01801203EA06005A121C121812385AA35AA91270A37E12
	131	18121C120C7EEA03801201091D799914>I<128012C01260123012381218121C120EA312
	132	07A9120EA3121C121812381230126012C01280081D7C9914>I<EA0380A3EA638CEAF39E
	133	EA7FFCEA3FF8EA0FE0A2EA3FF8EA7FFCEAF39EEA638CEA0380A30F107E9214>I<EA01C0
	134	A7B51280A33801C000A711117F9314>I<127012F812FCA2127C120C1218123012E012C0
	135	060A798414>I<EAFFFEA30F037E8C14>I<127012F8A312700505798414>I<1306130EA2
	136	131CA21338A21370A213E0A2EA01C0A2EA0380A3EA0700A2120EA25AA25AA25AA25AA25A
	137	0F1D7E9914>I<EA07C0EA0FE0EA1C70EA3838EA3018EA701CA2EAE00EA9EA701CA2EA38
	138	38A2EA1C70EA0FE0EA07C00F177E9614>I<1203A25A5A123F12F712471207AEEA7FF0A2
	139	0C177C9614>I<EA0FC0EA1FF0EA3838EA701CEAE00EA312401200131CA2133813301370
	140	13E0EA01C0EA030012065AEA180E1230EA7FFEA20F177E9614>I<EA0FC0EA1FF0EA3838
	141	EA701CA212201200131813381370EA0FE013F0EA0038131C130EA2124012E0A2EA701CEA
	142	7838EA3FF0EA0FC00F177E9614>I<137813F8EA01B8A2EA0338A21206120E120C121C12
	143	381230127012E0B51280A238003800A548B4FCA211177F9614>I<EA7FFCA2EA7000A7EA
	144	77C0EA7FF0EA7838EA601CEA000C130EA2124012E0131C1260EA7878EA3FF0EA0FC00F17
	145	7E9614>I<EA01F0EA07F8EA0E1C121C1238EA30001270A25AEAE7C0EAEFF0EAF838EAF0
	146	1C130CEAE00EA212601270130CEA381CEA1C38EA0FF0EA07C00F177E9614>I<12E0EAFF
	147	FEA2EAE01C1338EA0030137013E013C0120113801203A2EA0700A4120EA612040F187E97
	148	14>I<EA0FE0EA3FF8EA783CEA701CEAE00EA4EA701CEA1EF0EA0380EA1FF0EA3838EA70
	149	1CEAE00EA4EAF01EEA701CEA3838EA1FF0EA07C00F177E9614>I<EA07C0EA1FE0EA3830
	150	EA7038EA601C12E0130C130EA2EA601E1270EA383EEA1FEEEA07CEEA000E131CA3EA7038
	151	133013E0EA3FC0EA1F000F177E9614>I<127012F8A312701200A6127012F8A312700510
	152	798F14>I<127012F8A312701200A6126012F012F8A2127812181230127012E012800515
	153	798F14>I<130E133E137C13F0EA03E0EA07C0EA1F00123E12F85A7E123E7EEA07C0EA03
	154	E0EA00F0137C133E130E0F137E9414>I<B51280A27EC8FCA3387FFF80B5FCA211097F8F
	155	14>I<124012E012F8127C121EEA0F80EA07C0EA01F0EA00F8133E131E133E13F8EA01F0
	156	EA07C0EA0F80EA1E00127C5A12E012400F157E9514>I<EA01E0EA07F0EA0E38EA181CEA
	157	38FC1271EA731E1277EAEE0EA7EA771CEA7318EA71F0EA38E0EA1806EA0E1EEA07F8EA01
	158	F00F177E9614>64 D<EA01C0487EA21360A2EA0770A4EA0630EA0E38A4487EEA1FFCA2EA
	159	1C1CA2487EA238FE3F80A211177F9614>I<EAFFF013FCEA381E130E1307A4130E131EEA
	160	3FFCA2EA381E130E1307A5130E131EEAFFFC13F810177F9614>I<3801F180EA07FFEA0E
	161	1FEA1C071238EA7003A348C7FCA738700380A338380700121CEA0E0EEA07FCEA01F01117
	162	7F9614>I<EAFFE013F8EA383C7F130E7FA3EB0380A8EB0700A2130E131E5BEAFFF813E0
	163	11177F9614>I<B5FCA2EA3807A490C7FCA21338A2EA3FF8A2EA3838A290C7FCA3EB0380
	164	A4B5FCA211177F9614>I<B51280A2EA3803A490C7FCA21338A2EA3FF8A2EA3838A290C7
	165	FCA7B4FCA211177F9614>I<38FE3F80A238380E00A8EA3FFEA2EA380EA938FE3F80A211
	166	177F9614>72 D<EAFFF8A2EA0700B3EAFFF8A20D177D9614>I<EA07FCA2EA0070B012E0
	167	A2EAF0E0EA7FC0EA1F000E177D9614>I<B4FCA21238AF1307A4B5FCA210177E9614>76
	168	D<38FC1F80A2007C1300EA7637A4EA7777A2EA7367A313E7EA71C7A2EA7007A638F80F80
	169	A211177F9614>I<38FE3F80A2383E0E00123BA4138E1239A213CEA31238A213EE136EA4
	170	133E12FEA211177F9614>I<EA1FF0EA7FFCEA783CEA701CEAE00EAFEA701CEA783CEA7F
	171	FCEA1FF00F177E9614>I<EAFFF013FCEA381E130E1307A5130E131EEA3FFC13F0EA3800
	172	A812FEA210177F9614>I<EAFFE013F8EA383C131C7FA45B133CEA3FF85BEA38387FA514
	173	80EB1DC0A238FE0F80EB070012177F9614>82 D<EA0FCCEA1FFCEA307CEA603CEAE01CA3
	174	13001270127EEA3FE0EA0FF0EA01F8EA001C131E130E126012E0A2EAF01CEAF838EAFFF0
	175	EAC7E00F177E9614>I<387FFF80B5FCEAE1C3A43801C000AFEA0FF8A211177F9614>I<38
	176	FE0FE0A238380380B0381C0700A2EA0E0EEA07FCEA01F01317809614>I<38FC1F80A238
	177	380E00A3EA3C1EEA1C1CA46C5AA4EA0630EA0770A3EA0360A213E0A26C5A11177F9614>
	178	I<EA7E3EA2EA1C3CEA1E38EA0E78EA0F7012075B12035B120112037FA2EA0770A2EA0E78
	179	1338EA1C3C131CEA3C1E38FE3F80A211177F9614>88 D<38FC1F80A238380E00EA3C1EEA
	180	1C1CEA1E3CEA0E38A26C5AA2EA036013E0A26C5AA8EA07F0A211177F9614>I<EA7FFE12
	181	FFEAE01CA21338A2EA007013E0A2EA01C0A2EA0380EA0700A2120EA25AEA380EA21270A2
	182	EAFFFEA20F177E9614>I<EAFFE0A2EAE000B3A7EAFFE0A20B1D799914>I<12C07EA21270
	183	A27EA27EA27EA27EA2EA0380A3EA01C0A2EA00E0A21370A21338A2131CA2130EA213060F
	184	1D7E9914>I<EAFFE0A21200B3A712FFA20B1D7F9914>I<1204121FEA7FC0EAF1E012E00B
	185	057C9614>I<EAFFFEA30F037E7E14>I<EA1FC0EA7FF0EA7078EA2018EA001CA2EA07FC12
	186	1FEA3C1C127012E0A3EA707C383FFF80EA0F8F11107E8F14>97 D<12FCA2121CA513F8EA
	187	1DFEEA1F07EA1E03001C1380EB01C0A6EB0380001E1300EA1F0EEA1DFCEA0CF812178096
	188	14>I<EA03F8EA0FFEEA1C0EEA3804EA7000126012E0A412601270EA380EEA1C1EEA0FFC
	189	EA03F00F107E8F14>I<137EA2130EA5EA07CEEA0FFEEA1C3EEA301EEA700E12E0A61270
	190	EA301EEA383E381FEFC0EA07CF12177F9614>I<EA07E0EA0FF0EA1C38EA301CEA700CEA
	191	E00EA2EAFFFEA2EAE00012601270EA380EEA1C1EEA0FFCEA03F00F107E8F14>I<13FCEA
	192	01FEEA038EEA07041300A3EA7FFE12FFEA0700ACEAFFF8A20F177F9614>I<EA07CF381F
	193	FF80EA383B38301800EA701CA3EA3018EA3838EA3FF0EA37C00070C7FCA2EA3FF86C7E48
	194	7EEA700F38E00380A438700700EA3C1EEA1FFCEA07F011197F8F14>I<12FCA2121CA513
	195	78EA1DFEEA1F86EA1E07121CAA38FF8FE0A21317809614>I<1206120FA21206C7FCA4B4
	196	FCA21207ACEAFFF8A20D187C9714>I<12FCA2121CA5EBFF80A2EB1C005B5B5BEA1DC0EA
	197	1FE0A2EA1E70EA1C38133C131C7F38FF1F80A21117809614>107
	198	D<EAFF80A21203B3EAFFFEA20F177E9614>I<EAFB8EEAFFDF383CF380A2EA38E3AA38FE
	199	FBE013791310808F14>I<EAFC78EAFDFEEA1F86EA1E07121CAA38FF8FE0A21310808F14>
	200	I<EA07C0EA1FF0EA3C78EA701CA2EAE00EA6EA701CEA783CEA3C78EA1FF0EA07C00F107E
	201	8F14>I<EAFCF8EAFDFEEA1F07EA1E03001C1380EB01C0A6EB0380001E1300EA1F0EEA1D
	202	FCEA1CF890C7FCA6B47EA21218808F14>I<EA03E7EA0FF7EA1C1FEA300F1270487EA6EA
	203	700F1230EA1C3FEA0FF7EA07C7EA0007A6EB3FE0A213187F8F14>I<EAFE1FEB7F80EA0E
	204	E3380F810090C7FCA2120EA8EAFFF0A211107F8F14>I<EA0FD8EA3FF8EA603812C0A2EA
	205	F000EA7F80EA3FF0EA07F8EA001CEA600612E012F0EAF81CEAFFF8EACFE00F107E8F14>
	206	I<1206120EA4EA7FFC12FFEA0E00A8130EA3131CEA07F8EA01F00F157F9414>I<EAFC3F
	207	A2EA1C07AB131F380FFFE0EA03E71310808F14>I<38FE3F80A2383C1E00EA1C1CA36C5A
	208	A3EA0630EA0770A36C5AA311107F8F14>I<38FE3F80A238700700EA380EA3EA39CEA3EA
	209	1B6C121AA3EA1E7CA2EA0E3811107F8F14>I<EA7E3FA2EA1E3CEA0E78EA07705B12036C
	210	5A12037FEA0770EA0E781338487E38FE3F80A211107F8F14>I<38FE3F80A2381C0E005B
	211	A2120E5BA212071330A2EA0370A25B1201A25BA3485A12730077C7FC127E123C11187F8F
	212	14>I E /Ff 2 85 df<D807F013FE000014F039017001E01402A214040002EB09C01338
	213	141114210004EB238014431483131C39081D0700131EA2131C3818180E00FEEB7FC01F14
	214	7F9320>77 D<381FFFF838381C18EA2038140812401410EA807000001300A35BA4485AA4
	215	485AEA3FF81514809314>84 D E /Fg 2 16 df<B61280A219027D8A20>0
	216	D<EA03C0EA0FF0EA1FF8EA3FFCEA7FFEA2B5FCA4EA7FFEA2EA3FFCEA1FF8EA0FF0EA03C0
	217	10107E9115>15 D E /Fh 9 115 df<3801FFE038003C001338A45BA45BA4485AA43803
	218	8002A31404EA0700140C14181438000E13F0B5FC171C7E9B1C>76
	219	D<39FFC00FF0391C00038015001402A25C5C121E000E5B143014205CA25C49C7FC120FEA
	220	07025BA25BA25B5BEA03A013C05BA290C8FCA21C1D7D9B18>86 D<3A01FFC0FF803A001E
	221	003C00011C13306D13205D010F5B6D48C7FC1482EB038414CCEB01D814F05C130080EB01
	222	70EB0278EB04381308EB103CEB201CEB401EEB800E3801000F00027F1206001E497E39FF
	223	803FF0211C7F9B22>88 D<EA01F0EA0708120CEA1804EA38081230EA7030EA7FC0EAE000
	224	A51304EA60081310EA3060EA0F800E127E9113>101 D<EB38C013C5EA0183EA03030007
	225	13801206120EA2381C0700A4130EA3EA0C1EEA047CEA039CEA001CA25B1260EAF0301370
	226	EAE0C0007FC7FC121A809114>103 D<EA01C01203A2EA0180C7FCA6121C12271247A212
	227	87A2120EA25AA35A1380A21270EA71001232121C0A1C7E9B0E>105
	228	D<EA1F801203A2EA0700A4120EA45AA45AA45AA412E2A312E412641238091D7F9C0C>
	229	108 D<13F8EA030CEA0E06487E1218123000701380A238E00700A3130EA25BEA60185BEA
	230	30E0EA0F8011127E9114>111 D<EA3C3CEA4E42EA4687EA470FEA8E1E130CEA0E00A25A
	231	A45AA45A123010127E9113>114 D E /Fi 60 122 df<EA0387A6387FFFC0B512E0A238
	232	070E00A3EA0E1CA4B512E0A26C13C0381C3800A613197F9816>35
	233	D<13C01201A3EA07F0EA1FFC487EEA7DCF3871C780EAE1C313C7A238F1C300EA79C0123F
	234	EA1FF0EA07FCEA01FE13CF13C73861C38012F1A212E13871C700EA79DFEA3FFEEA1FF8EA
	235	07E0EA01C0A2120011207E9C16>I<EA03801207EA0F00123E5A12F05A0907789816>39
	236	D<13E01201EA0380EA0700120E5AA25AA25AA35AA91270A37EA27EA27E7EEA0380EA01E0
	237	12000B217A9C16>I<12C07E12707E7E7EA27EA2EA0380A3EA01C0A9EA0380A3EA0700A2
	238	120EA25A5A5A5A5A0A217B9C16>I<13E0A8B512E0A33800E000A813137F9516>43
	239	D<1238127C127EA2123E120E121E121C127812F01260070B798416>I<B51280A311037E
	240	8D16>I<127012F8A312700505788416>I<EA03E0EA0FF8487EEA1E3CEA380EEA780FEA70
	241	07A238E00380A8EAF00700701300A2EA780FEA3C1E6C5AEA1FFC6C5AEA03E011197E9816
	242	>48 D<12035AA25A5AB4FCA212E71207AEEAFFF8A30D197B9816>I<EA07E0EA1FF8487E
	243	EA783EEAE00700F01380130312601200A2EB0700A2130E5B5B5B5B485A485A000FC7FC38
	244	1E03801238EA7FFFB5FC7E11197E9816>I<EA07E0EA1FF8487EEA781E130712301200A2
	245	130E133EEA07FC13F013FCEA001E13077F1480A2126012F038E00700EA781EEA3FFC6C5A
	246	EA07E011197E9816>I<137C13FC13DC1201EA039CA2EA071C120F120E121E123C123812
	247	7812F0B512E0A338001C00A53801FFC0A313197F9816>I<13F8EA03FC487EEA0F07EA1C
	248	0F1238EA78060070C7FCA2EAE3F8EAEFFCB47EEAF80F487EEB038012E0A21270A2130700
	249	381300EA3C1EEA1FFC6C5AEA03E011197E9816>54 D<EA07F0EA1FFC487EEA7C1F38F007
	250	80EAE003A338700700EA7C1FEA1FFCEA07F0EA1FFCEA3C1EEA700700F01380EAE003A3EA
	251	F00700701300EA7C1FEA3FFE6C5AEA07F011197E9816>56 D<EA03E0EA0FF8487EEA3C1E
	252	EA700E7F12E014801303A213071270EA780FEA3FFFEA1FFBEA0FE338000700A21230EA78
	253	0E5BEA707CEA3FF8EA1FE0EA0F8011197E9816>I<127012F8A312701200A8127012F8A3
	254	12700512789116>I<EB01801307131FEB3E0013F8485AEA07C0485A003EC7FC12FC12F0
	255	12FC123EEA0F806C7EEA01F06C7E133EEB1F801307130111157E9616>60
	256	D<12C012F012FC123EEA0F806C7EEA01F06C7E133EEB1F801307131FEB3E0013F8485AEA
	257	07C0485A003EC7FC12FC12F012C011157E9616>62 D<13F8EA03FC487EEA0F07381C3B80
	258	EA38FF12793873C7C01383EAE701A73873838013C73879FF00EA38FEEA1C38380F03C0EA
	259	07FF6C1300EA00FC12197E9816>64 D<13E0487EA213B0A2EA03B8A31318EA071CA5EA0E
	260	0EA2EA0FFEA2487EEA1C07A3387E0FC038FF1FE0387E0FC013197F9816>I<EA7FF8EAFF
	261	FE6C7EEA1C0714801303A4EB0700EA1FFF5BA2EA1C1FEB038014C01301A41303EB0780EA
	262	7FFFB51200EA7FFC12197F9816>I<3801F180EA07FBEA0FFFEA1F0FEA3C07EA38031270
	263	A200F0C7FC5AA77E38700380A21238383C0700EA1F0FEA0FFE6C5AEA01F011197E9816>
	264	I<387FFFE0B5FC7EEA1C00A41400A2131CA2EA1FFCA3EA1C1CA290C7FCA6EA7F80487E6C
	265	5A13197F9816>70 D<EA7FFCEAFFFEEA7FFCEA0380B3EA7FFCEAFFFEEA7FFC0F197D9816
	266	>73 D<48B4FC4813806C1300EA001CB0126012F05BEA7FF85BEA1FC011197E9816>I<38
	267	FC07E0EAFE0FA2383A0B80EA3B1BA513BBEA39B3A413F3EA38E3A21303A538FE0FE0A313
	268	197F9816>77 D<387E07F038FF0FF8387F07F0381D81C0A313C1121C13E1A213611371A3
	269	13311339A21319131D130DA3EA7F07EAFF87EA7F031519809816>I<EA7FF0EAFFFC6C7E
	270	EA1C0FEB07801303A41307EB0F00EA1FFE5B7FEA1C0E7FA414101438A2387F03F0EAFF83
	271	387F01E01519809816>82 D<EA07E3EA1FFF5AEA781FEAF00712E0A290C7FC7E1278EA3F
	272	80EA1FF0EA07FCC67E130F7FEB0380A2126012E0EB0700EAF80FEAFFFE5BEAC7F011197E
	273	9816>I<387FFFE0B5FCA2EAE0E0A400001300AFEA07FC487E6C5A13197F9816>I<387F07
	274	F038FF8FF8387F07F0381C01C0B0380E0380A23807070013FF6C5AEA00F81519809816>
	275	I<38FE0FE0A338380380EA3C07001C1300A3EA1E0FEA0E0EA46C5AA4EA031813B8A3EA01
	276	B013F0A26C5A13197F9816>I<387E03F038FF07F8387E03F0383800E0A4381C01C0A313
	277	7113F9A213D9A2000C1380A3EA0DDD138DA338078F00A213071519809816>I<B51280A3
	278	11037E7E16>95 D<EA1FE0487E487EEA783CEA300E1200A2EA03FE121FEA3E0E127012E0
	279	A3EA783E387FFFE0EA3FE7EA0F8313127E9116>97 D<12FCA3121CA4137CEA1DFEEA1FFF
	280	EB0780381E03C0EA1C01EB00E0A6EB01C0EA1E03381F0780EBFF00EA1DFEEA0C7813197F
	281	9816>I<EA03F8EA0FFCEA1FFEEA3C1EEA780CEA70005AA57EEA70071278EA3E0EEA1FFC
	282	EA0FF8EA03F010127D9116>I<133FA31307A4EA03C7EA0FF748B4FCEA3C1F487EEA7007
	283	12E0A6EA700F12786C5A381FFFE0EA0FF7EA07C713197F9816>I<EA03F0EA0FFC487EEA
	284	3C0F487E3870038012E0B5FCA300E0C7FCA2387003801278EA3E07381FFF00EA07FEEA01
	285	F811127E9116>I<131E137F3801FF8013C7380383001380A2EA7FFFB5FCA2EA0380ACEA
	286	7FFC487E6C5A11197F9816>I<3803E3C03807F7E0EA0FFF381C1CC038380E00A56C5AEA
	287	0FF8485AEA1BE00038C7FC1218EA1FFC13FF481380387003C038E000E0A4387001C0EA7C
	288	07383FFF80380FFE00EA03F8131C7F9116>I<12FCA3121CA41378EA1DFCEA1FFE130FEA
	289	1E07121CAA38FF8FE0139F138F13197F9816>I<1203EA0780A2EA0300C7FCA4EAFF80A3
	290	1203ACEAFFFC13FE13FC0F1A7C9916>I<127E12FE127E120EA4EB7FE0A3EB0F00131E5B
	291	5B5B120F7F13BC131EEA0E0E7F1480387F87F0EAFFCFEA7F871419809816>107
	292	D<EA7FC012FF127F1201B3EA7FFFB512806C130011197E9816>I<38F9C38038FFEFC0EB
	293	FFE0EA3C78A2EA3870AA38FE7CF8A31512809116>I<EAFC78EAFDFCB47EEA1F0FEA1E07
	294	121CAA38FF8FE0139F138F13127F9116>I<EA03E0EA0FF8487EEA3C1E487EEA700738E0
	295	0380A5EAF00700701300EA780FEA3C1EEA1FFC6C5AEA03E011127E9116>I<EAFC7CEAFD
	296	FEB5FC381F0780381E03C0EA1C01EB00E0A6EB01C0EA1E03381F0780EBFF00EA1DFEEA1C
	297	7890C7FCA6B47EA3131B7F9116>I<3803E380EA0FF3EA1FFBEA3E0FEA78071270EAE003
	298	A6EA70071278EA3C1FEA1FFBEA0FF3EA03E3EA0003A6EB1FF0EB3FF8EB1FF0151B7F9116
	299	>I<387F0FC038FF3FE0EA7F7F3807F040EBC0005BA290C7FCA8EA7FFC12FF127F13127F
	300	9116>I<EA0FECEA3FFC127FEAF03CEAE01CA2EA7000EA7F80EA1FF0EA07F8EA003CEA60
	301	0E12E012F0EAF81EEAFFFC13F8EAC7E00F127D9116>I<12035AA4EA7FFFB5FCA20007C7
	302	FCA75BEB0380A3EB8700EA03FE6C5A6C5A11177F9616>I<EAFC3FA3EA1C07AB131F381F
	303	FFE0EA0FF7EA07C713127F9116>I<387F1FC038FF9FE0387F1FC0381C0700A2EA0E0EA3
	304	6C5AA4EA03B8A3EA01F0A26C5A13127F9116>I<38FF1FE0A338380380A4EA39F3A20019
	305	130013B3A3EA1DB71317EA1F1FEA0F1EEA0E0E13127F9116>I<387F1FC0133F131F380F
	306	1E006C5AEA03B813F012016C5A12017FEA03B8EA073C131CEA0E0E387F1FC038FF3FE038
	307	7F1FC013127F9116>I<387F1FC038FF9FE0387F1FC0381C0700120E130EA212075BA2EA
	308	039CA21398EA01B8A2EA00F0A35BA3485A1279127BEA7F8090C7FC123C131B7F9116>I
	309	E /Fj 65 123 df<EB7E1F3901C1B180390303E3C0000713C3000EEBC180903801C000A6
	310	B512FC380E01C0B0387F87FC1A1D809C18>11 D<137E3801C180EA0301380703C0120EEB
	311	018090C7FCA5B512C0EA0E01B0387F87F8151D809C17>I<EA6060EAF0F0EAF8F8EA6868
	312	EA0808A3EA1010A2EA2020EA4040EA80800D0C7F9C15>34 D<126012F012F812681208A3
	313	1210A2122012401280050C7C9C0C>39 D<1380EA0100120212065AA25AA25AA35AA412E0
	314	AC1260A47EA37EA27EA27E12027EEA0080092A7C9E10>I<7E12407E12307EA27EA27EA3
	315	7EA41380AC1300A41206A35AA25AA25A12205A5A092A7E9E10>I<126012F0A212701210
	316	A41220A212401280040C7C830C>44 D<EAFFE0A20B0280890E>I<126012F0A212600404
	317	7C830C>I<EA03C0EA0C30EA1818EA300CA2EA700EEA6006A2EAE007ADEA6006A2EA700E
	318	EA300CA2EA1818EA0C30EA07E0101D7E9B15>48 D<5A1207123F12C71207B3A5EAFFF80D
	319	1C7C9B15>I<EA07C0EA1830EA201CEA400C130EEAF00F12F81307A21270EA000F130EA2
	320	131CA213381370136013C0EA0180EA0300EA0601120C1218EA1002EA3FFE127F12FF101C
	321	7E9B15>I<EA07E0EA1830EA201CA2EA781E130E131E1238EA001CA2131813301360EA07
	322	C0EA0030131CA2130E130FA2127012F8A3EAF00EEA401C1220EA1830EA07C0101D7E9B15
	323	>I<130CA2131C133CA2135C13DC139CEA011C120312021204120C120812101230122012
	324	4012C0B512C038001C00A73801FFC0121C7F9B15>I<EA300CEA3FF813F013C0EA2000A6
	325	EA23E0EA2C30EA3018131CEA200E1200130FA3126012F0A3EA800EEA401E131CEA2038EA
	326	1870EA07C0101D7E9B15>I<13F0EA030CEA0404EA0C0EEA181E1230130CEA7000A21260
	327	EAE3E0EAE430EAE818EAF00C130EEAE0061307A51260A2EA7006EA300E130CEA1818EA0C
	328	30EA03E0101D7E9B15>I<1240387FFF801400A2EA4002485AA25B485AA25B1360134013
	329	C0A212015BA21203A41207A66CC7FC111D7E9B15>I<EA03E0EA0C30EA1008EA200C1306
	330	1260A21270A2EA7C0CEA3E18EA3FB0EA1FE0EA07F013F8EA18FCEA307EEA601E130FEAC0
	331	071303A4EA60021304EA300CEA1C10EA07E0101D7E9B15>I<EA03C0EA0C30EA1818EA30
	332	0C1270EA600EEAE006A21307A51260EA700F1230EA1817EA0C27EA07C7EA0006A2130EEA
	333	300C127813181270EA2030EA10C0EA0F80101D7E9B15>I<126012F0A212601200AA1260
	334	12F0A2126004127C910C>I<126012F0A212601200AA126012F0A212701210A41220A212
	335	401280041A7C910C>I<1306A3130FA3EB1780A2EB37C01323A2EB43E01341A2EB80F0A3
	336	38010078A2EBFFF83802003CA3487FA2000C131F80001E5BB4EBFFF01C1D7F9C1F>65
	337	D<B512C0380F00788080140E140FA4140E141E5C14F8EBFFF0EB003C8080801580A5EC0F
	338	00A2141E1478B512E0191C7F9B1D>I<B512F8380F007814181408A2140C1404A2130114
	339	00A35B13FF13037FA490C7FCA8EAFFF8161C7E9B1B>70 D<39FFF0FFF0390F000F00AC90
	340	B5FCEB000FAD39FFF0FFF01C1C7F9B1F>72 D<EAFFF0EA0F00B3A8EAFFF00C1C7F9B0F>
	341	I<EAFFF8EA0F8090C7FCB01408A31418A2141014301470EB01F0B5FC151C7E9B1A>76
	342	D<B46CEBFF80000FECF800A2390BC00178A33809E002A23808F004A3EB7808A3EB3C10A3
	343	EB1E20A3EB0F40A2EB0780A3EB0300121C3AFF8307FF80211C7E9B26>I<B4EB1FF0390F
	344	8003809038C00100120BEA09E0EA08F0A21378133C133E131E130F14811307EB03C1EB01
	345	E114F113001479147D143D141FA2808080121CB46C7E1C1C7F9B1F>I<EB3F80EBE0E038
	346	03803848487E000E7F487F003C148000381303007814C0A20070130100F014E0A8007014
	347	C000781303A200381480003C1307001C14006C130E6C5B6C6C5A3800E0E0EB3F801B1E7E
	348	9C20>I<EB3F80EBE0E03803803848487E000E7F487F003C148000381303007814C0A200
	349	70130100F014E0A8007014C000781303A200381480383C0E07D81C111300380E208E0007
	350	135C3803A0783900F0E020133FEB0060EC3060EC38E0EC3FC0A2EC1F80EC0F001B257E9C
	351	20>81 D<B5FC380F01E0EB007880141C141EA4141C143C5CEB01E001FFC7FCEB01E0EB00
	352	70147880A61510A2141CA239FFF00E20C7EA03C01C1D7E9B1F>I<3807E080EA1C19EA30
	353	051303EA600112E01300A36C13007E127CEA7FC0EA3FF8EA1FFEEA07FFC61380130FEB07
	354	C0130313011280A300C01380A238E00300EAD002EACC0CEA83F8121E7E9C17>I<007FB5
	355	12C038700F010060130000401440A200C014201280A300001400B1497E3803FFFC1B1C7F
	356	9B1E>I<39FFE00FF0391F0003C0EC01806C1400A238078002A213C000035BA2EBE00C00
	357	011308A26C6C5AA213F8EB7820A26D5AA36D5AA2131F6DC7FCA21306A31C1D7F9B1F>86
	358	D<3AFFE1FFC0FF3A1F003E003C001E013C13186C6D1310A32607801F1320A33A03C02780
	359	40A33A01E043C080A33A00F081E100A39038F900F3017913F2A2017E137E013E137CA201
	360	3C133C011C1338A20118131801081310281D7F9B2B>I<39FFF07FC0390FC01E00380780
	361	0CEBC00800035B6C6C5A13F000005BEB7880137C013DC7FC133E7F7F80A2EB13C0EB23E0
	362	1321EB40F0497E14783801007C00027F141E0006131F001F148039FF807FF01C1C7F9B1F
	363	>I<12FEA212C0B3B312FEA207297C9E0C>91 D<EA0808EA1010EA2020EA4040A2EA8080
	364	A3EAB0B0EAF8F8EA7878EA30300D0C7A9C15>I<12FEA21206B3B312FEA20729809E0C>I<
	365	EA1FC0EA3070EA78387F12301200A2EA01FCEA0F1C12381270126000E01340A3EA603C38
	366	304E80381F870012127E9115>97 D<12FC121CAA137CEA1D87381E0180381C00C014E014
	367	601470A6146014E014C0381E018038190700EA10FC141D7F9C17>I<EA03F8EA0C0CEA18
	368	1E1230EA700CEA600012E0A61260EA70021230EA1804EA0C18EA03E00F127F9112>I<EB
	369	1F801303AAEA03F3EA0E0BEA1807EA30031270126012E0A6126012701230EA1807EA0E1B
	370	3803E3F0141D7F9C17>I<EA07E0EA0C30EA1818EA300CEA700EEA600612E0EAFFFEEAE0
	371	00A41260EA70021230EA1804EA0C18EA03E00F127F9112>I<13F8EA018CEA071E1206EA
	372	0E0C1300A6EAFFE0EA0E00B0EA7FE00F1D809C0D>I<EB03803807C4C0EA1C7838383880
	373	38301800EA701CA4EA3018EA38386C5AEA27C00020C7FCA21230EA3FF86CB4FC1480EA20
	374	03386001C0EAC000A33860018038300300EA1C0EEA07F8121C7F9215>I<12FC121CAA13
	375	7C1387EA1D03001E1380121CAD38FF9FF0141D7F9C17>I<1218123CA21218C7FCA712FC
	376	121CB0EAFF80091D7F9C0C>I<12FC121CAAEB0FE0EB0780EB06005B13105B5B13E0121D
	377	EA1E70EA1C781338133C131C7F130F148038FF9FE0131D7F9C16>107
	378	D<12FC121CB3A9EAFF80091D7F9C0C>I<39FC7E07E0391C838838391D019018001EEBE0
	379	1C001C13C0AD3AFF8FF8FF8021127F9124>I<EAFC7CEA1C87EA1D03001E1380121CAD38
	380	FF9FF014127F9117>I<EA03F0EA0E1CEA1806487E00701380EA600100E013C0A6006013
	381	80EA700300301300EA1806EA0E1CEA03F012127F9115>I<EAFC7CEA1D87381E0180001C
	382	13C0EB00E0A21470A614E0A2EB01C0001E1380381D0700EA1CFC90C7FCA7B47E141A7F91
	383	17>I<3803E080EA0E19EA1805EA3807EA7003A212E0A61270A2EA38071218EA0E1BEA03
	384	E3EA0003A7EB1FF0141A7F9116>I<EAFCE0EA1D38EA1E78A2EA1C301300ACEAFFC00D12
	385	7F9110>I<EA1F90EA2070EA4030EAC010A212E0EAF800EA7F80EA3FE0EA0FF0EA00F8EA
	386	8038131812C0A2EAE010EAD060EA8FC00D127F9110>I<1204A4120CA2121C123CEAFFE0
	387	EA1C00A91310A5120CEA0E20EA03C00C1A7F9910>I<38FC1F80EA1C03AD1307120CEA0E
	388	1B3803E3F014127F9117>I<38FF07E0383C0380381C0100A2EA0E02A2EA0F06EA0704A2
	389	EA0388A213C8EA01D0A2EA00E0A3134013127F9116>I<39FF3FC7E0393C0703C0001CEB
	390	01801500130B000E1382A21311000713C4A213203803A0E8A2EBC06800011370A2EB8030
	391	000013201B127F911E>I<38FF0FE0381E0700EA1C06EA0E046C5AEA039013B0EA01E012
	392	007F12011338EA021C1204EA0C0E487E003C138038FE1FF014127F9116>I<38FF07E038
	393	3C0380381C0100A2EA0E02A2EA0F06EA0704A2EA0388A213C8EA01D0A2EA00E0A31340A2
	394	5BA212F000F1C7FC12F312661238131A7F9116>I<EA7FFCEA70381260EA407013F013E0
	395	EA41C012031380EA0700EA0F04120E121CEA3C0CEA380812701338EAFFF80E127F9112>
	396	I E /Fk 31 123 df<127012F812FCA212741204A41208A21210A212201240060F7C840E
	397	>44 D<EAFFF8A20D02808B10>I<127012F8A3127005057C840E>I<13801203120F12F312
	398	03B3A9EA07C0EAFFFE0F217CA018>49 D<00101380381E0700EA1FFF5B13F8EA17E00010
	399	C7FCA6EA11F8EA120CEA1C07381803801210380001C0A214E0A4127012F0A200E013C012
	400	80EA4003148038200700EA1006EA0C1CEA03F013227EA018>53 D<137EEA01C138030080
	401	380601C0EA0C03121C381801800038C7FCA212781270A2EAF0F8EAF30CEAF4067F00F813
	402	80EB01C012F014E0A51270A3003813C0A238180380001C1300EA0C06EA070CEA01F01322
	403	7EA018>I<EA01F0EA060C487EEA1807383803801270A238F001C0A314E0A51270130312
	404	38EA1805120CEA0619EA03E1380001C0A3EB0380A21230387807001306EA700CEA20186C
	405	5AEA0FC013227EA018>57 D<B512F8380F800E0007EB0780EC03C015E0140115F0A515E0
	406	1403EC07C0EC0F80EC3E00EBFFFE9038800780EC03C0EC01E015F0140015F8A6EC01F0A2
	407	EC03E0EC07C0000FEB0F00B512FC1D227EA123>66 D<903807E0109038381830EBE00639
	408	01C0017039038000F048C7FC000E1470121E001C1430123CA2007C14101278A200F81400
	409	A812781510127C123CA2001C1420121E000E14407E6C6C13803901C001003800E002EB38
	410	1CEB07E01C247DA223>I<B512F0380F801E00071307EC0380EC01C0EC00E015F01578A2
	411	157C153CA3153EA9153CA2157C1578A215F015E01401EC03C0EC0700000F131EB512F01F
	412	227EA125>I<D8FFFCEBFF80D80FC0EB7C006C48133015205D5D4AC7FC14025C5C5C5C5C
	413	5CEB81C0EB83E01385EB88F01390EBA078EBC03C13808080A26E7E8114036E7EA26E7E81
	414	486C7F3AFFFC07FF8021227EA126>75 D<B512E0380F803C0007130E6E7E81140381A55D
	415	14075D020EC7FC143CEBFFE0EB80708080141E140E140FA481A3168015C014073A0FC003
	416	C10039FFFC01E2C8127C21237EA124>82 D<3803F020380C0C60EA1802383001E0EA7000
	417	0060136012E0A21420A36C1300A21278127FEA3FF0EA1FFE6C7E0003138038003FC0EB07
	418	E01301EB00F0A214707EA46C1360A26C13C07E38C8018038C60700EA81FC14247DA21B>
	419	I<007FB512F839780780780060141800401408A300C0140C00801404A400001400B3A349
	420	7E3801FFFE1E227EA123>I<EA1FE0EA3038EA780C130EEA30071200A313FFEA07C7EA1E
	421	07123C1278127000F01308A3130FEA7817383C2390380FC1E015157E9418>97
	422	D<120E12FE121E120EAB131FEB61C0EB8060380F0030000E1338143C141C141EA7141C14
	423	3C1438000F1370380C8060EB41C038083F0017237FA21B>I<EA01FEEA0703380C078012
	424	1C383803000078C7FC127012F0A712700078134012386C1380380C0100EA0706EA01F812
	425	157E9416>I<EA01FCEA0707380C0380381C01C01238007813E0EA700012F0B5FC00F0C7
	426	FCA512700078132012386C13406C138038070300EA00FC13157F9416>101
	427	D<14703803F198380E1E18EA1C0E38380700A200781380A400381300A2EA1C0EEA1E1CEA
	428	33F00020C7FCA212301238EA3FFE381FFFC06C13E0383000F0481330481318A400601330
	429	A2003813E0380E03803803FE0015217F9518>103 D<120E12FE121E120EABEB1F80EB60
	430	C0EB80E0380F0070A2120EAF38FFE7FF18237FA21B>I<13E0EA01F0A3EA00E01300A813
	431	70EA07F012001370B3A51260EAF0E013C0EA6180EA3F000C2C83A10F>106
	432	D<390E1FC07F3AFE60E183803A1E807201C03A0F003C00E0A2000E1338AF3AFFE3FF8FFE
	433	27157F942A>109 D<380E1F8038FE60C0381E80E0380F0070A2120EAF38FFE7FF18157F
	434	941B>I<EA01FCEA0707380C0180381800C0003813E0481370A200F01378A70070137000
	435	7813F0003813E0381C01C0380E038038070700EA01FC15157F9418>I<EA0E3CEAFE46EA
	436	1E8FEA0F0F13061300120EAD120FEAFFF010157F9413>114 D<EA0F88EA3078EA601812
	437	C01308A212E0EAF000127FEA3FE0EA0FF0EA01F8EA003CEA801C130CA212C01308EAE018
	438	EAD030EA8FC00E157E9413>I<1202A41206A3120E121E123EEAFFFCEA0E00AB1304A6EA
	439	07081203EA01F00E1F7F9E13>I<000E137038FE07F0EA1E00000E1370AD14F0A2380601
	440	70380382783800FC7F18157F941B>I<38FF80FE381E00781430000E1320A26C1340A2EB
	441	80C000031380A23801C100A2EA00E2A31374A21338A3131017157F941A>I<38FF80FE38
	442	1E00781430000E1320A26C1340A2EB80C000031380A23801C100A2EA00E2A31374A21338
	443	A31310A25BA35B12F05B12F10043C7FC123C171F7F941A>121 D<383FFFC038380380EA
	444	300700201300EA600EEA401C133C1338C65A5B12015B38038040EA07005A000E13C04813
	445	805AEA7801EA7007B5FC12157F9416>I E /Fl 23 122 df<B51280A311037F9016>45
	446	D<B51280A23807F0006C5AB3B3A7487EB51280A211317DB017>73
	447	D<B512C0A2D807F0C8FC6C5AB3AA1620A41640A416C0A21501A21503ED0780151F000714
	448	7FB7FCA223317DB029>76 D<D8FFF0ED7FF8A200071700D802F815BEA3017CEC013EA26D
	449	1402A36D1404A36D6C1308A36D6C1310A36D6C1320A26D6C1340A36D6C1380A391387C01
	450	00A3EC3E02A36E5AA2EC0F88A3EC07D0A3EC03E0A300076D5AD80F80157FD8FFF891380F
	451	FFF8EC008035317CB03D>I<B612E015FC3907E0003F0003EC0F80ED03C0ED01E016F0ED
	452	00F8A21678167CA6167816F816F0150116E0ED03C0ED0F80ED3E0090B512F801E0C8FCB3
	453	A3487EB57EA226317DB02D>80 D<90387F80203801FFE03907C07860380F001C001EEB06
	454	E048130300381301007813001270156012F0A21520A37E1500127C127E7E13C0EA1FF86C
	455	B47E6C13F06C13FCC613FF010F1380010013C0EC1FE01407EC03F01401140015F8A26C14
	456	78A57E15706C14F015E07E6CEB01C000ECEB038000C7EB070038C1F01E38807FFCEB0FF0
	457	1D337CB125>83 D<D8FFFEEC07FFA2D807F0EC01F849EC00E0000316407F00011680A26D
	458	140100001600A2017C1402A2137E013E5CA26D5CA280010F5CA26E133001071420A26D6C
	459	5BA28001015CA26D6C48C7FCA214FCEC7C02A2EC7E06EC3E04A26E5AA21588EC0F90A2EC
	460	07E0A36E5AA36E5AA230327FB032>86 D<13FE380303C0380C00E00010137080003C133C
	461	003E131C141EA21208C7FCA3EB0FFEEBFC1EEA03E0EA0F80EA1F00123E123C127C481404
	462	A3143EA21278007C135E6CEB8F08390F0307F03903FC03E01E1F7D9E21>97
	463	D<EB1FC0EBF0303801C00C38078002EA0F00000E130F001E5B5AA2007C1304007890C7FC
	464	12F8A91278127C123C15807E000EEB0100120F380780023801C00C3800F030EB1FC0191F
	465	7E9E1D>99 D<15F0141FA214011400AFEB0FC0EB70303801C00C3803800238070001120E
	466	001E13005AA2127C1278A212F8A71278A2127C123CA27E000E13016C1302380380046C6C
	467	487E3A00F030FF80EB1FC021327EB125>I<EB3F80EBE0E0380380383807003C000E7F12
	468	1E001C7F123C127C00781480140712F8A2B6FC00F8C8FCA61278127C123C15807E000EEB
	469	0100000F13027E3801C00C3800F030EB1FC0191F7E9E1D>I<15F090387F03083901C1C4
	470	1C380380E8390700700848EB7800001E7FA2003E133EA6001E133CA26C5B6C13706D5A38
	471	09C1C0D8087FC7FC0018C8FCA5121C7E380FFFF86C13FF6C1480390E000FC00018EB01E0
	472	48EB00F000701470481438A500701470A26C14E06CEB01C00007EB07003801C01C38003F
	473	E01E2F7E9F21>103 D<EA078012FFA2120F1207AF14FE903883078090388C03C0903890
	474	01E013A06E7E13C0A25BB3A2486C487E3AFFFC1FFF80A221327EB125>I<1207EA0F8012
	475	1FA2120FEA0700C7FCABEA0780127FA2120F1207B3A6EA0FC0EAFFF8A20D307EAF12>I<
	476	EA078012FFA2120F1207B3B3A7EA0FC0EAFFFCA20E327EB112>108
	477	D<260780FEEB1FC03BFF83078060F0903A8C03C180783B0F9001E2003CD807A013E4DA00
	478	F47F01C013F8A2495BB3A2486C486C133F3CFFFC1FFF83FFF0A2341F7E9E38>I<380780
	479	FE39FF83078090388C03C0390F9001E0EA07A06E7E13C0A25BB3A2486C487E3AFFFC1FFF
	480	80A2211F7E9E25>I<EB1FC0EBF0783801C01C38070007481480001EEB03C0001C130100
	481	3C14E0A248EB00F0A300F814F8A8007814F0007C1301003C14E0A26CEB03C0A26CEB0780
	482	3907800F003801C01C3800F078EB1FC01D1F7E9E21>I<3801FC10380E0330381800F048
	483	137048133012E01410A37E6C1300127EEA3FF06CB4FC6C13C0000313E038003FF0EB01F8
	484	13006C133CA2141C7EA27E14186C1338143000CC136038C301C03880FE00161F7E9E1A>
	485	115 D<1340A513C0A31201A212031207120F381FFFE0B5FC3803C000B01410A800011320
	486	13E000001340EB78C0EB1F00142C7FAB19>I<D8078013F000FF131FA2000F1301000713
	487	00B31401A300031302EBC0040001497E3A007030FF80EB1FC0211F7E9E25>I<D8FFF8EB
	488	FF80A2D80FC0EB7C006C48133815306C6C1320A26C6C5BA27F00005CA2D97801C7FCA213
	489	7CEB3C02A26D5AA2131F6D5AA2EB0790A214D0EB03E0A26D5AA36D5A211F7F9E23>I<D8
	490	FFF8EBFF80A2D80FC0EB7C006C48133815306C6C1320A26C6C5BA27F00005CA2D97801C7
	491	FCA2137CEB3C02A26D5AA2131F6D5AA2EB0790A214D0EB03E0A26D5AA36D5AA249C8FCA3
	492	1302A25B1270EAF80C13085BEA7020EA3040EA1F80212D7F9E23>121
	493	D E end
	494	%%EndProlog
	495	%%BeginSetup
	496	%%Feature: *Resolution 300dpi
	497	TeXDict begin
	498	%%PaperSize: a4
	499	%%BeginPaperSize: a4
	500	a4
	501	%%EndPaperSize
	502
	503	%%EndSetup
	504	%%Page: 1 1
	505	1 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
	507	302 y Fk(Szu-Tsung)d(Cheng)661 360 y(Ra)s(jeev)e(Kumar)f(Ranjan)700
	508	418 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
	512	719 y(subset)g(of)e(V)m(erilog)g(for)g Fi(vl2mv)p Fj(".)-126
	513	769 y(First,)h(an)h(example)e(V)m(erilog)h(program)f(is)h(will)f(b)q(e)
	514	i(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
	516	y(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
	519	Fi(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
	522	918 y(v)o(ectors)i(and)f(apply)f(it)h(to)g(the)h(example)e(circuit.)25
	523	b(A)17 b Fh(V)9 b(er)q(il)q(og)k Fg(\000)e Fh(X)s(L)950
	524	903 y Ff(T)t(M)1028 918 y Fj(sim)o(ulation)j(trace)j(deriv)o(ed)g(from)
	525	d(the)j(wrapp)q(er)g(is)f(sho)o(wn.)-188 968 y(Finally)m(,)11
	526	b(w)o(e)j(compare)f(the)i(sim)o(ulation)c(outputs)j(from)e(VIS)i(and)g
	527	Fh(V)9 b(er)q(il)q(og)j Fg(\000)d Fh(X)s(L)p Fj(.)-126
	528	1018 y(By)18 b(default,)h Fi(vl2mv)e Fj(treats)i(input)f(programs)f(as)
	529	i(FSMs)f(con)o(trolled)h(b)o(y)f(only)f(one)h(clo)q(c)o(k.)32
	530	b(F)m(or)17 b(suc)o(h)i(programs,)f(the)h(clo)q(c)o(k)f(of)-188
	531	1068 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
	533	Fj(simply)f(drops)j(these)h(clo)q(c)o(ks,)f(and)f(state)-188
	534	1118 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
	536	Fi(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
	541	1292 y(input)g(clk;)-188 1338 y(input)g([3:0])h(in1;)-188
	542	1383 y(input)f([3:0])h(in2;)-188 1429 y(input)f([1:0])h(in3;)-188
	543	1475 y(input)f([1:0])h(in4;)-188 1520 y(output)f([1:0])g(out1;)-188
	544	1566 y(output)g(out2;)-188 1612 y(output)g([1:0])g(out3;)-188
	545	1657 y(output)g([1:0])g(out4;)-188 1749 y(reg)h([1:0])g(out1;)-188
	546	1794 y(reg)g(out2;)-188 1840 y(reg)g([1:0])g(out3;)-188
	547	1886 y(reg)g([1:0])g(out4;)-188 1977 y(initial)e(out1)i(=)i(0;)-188
	548	2023 y(initial)c(out2)i(=)i(0;)-188 2068 y(initial)c(out3)i(=)i(0;)-188
	549	2160 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
	554	2479 y(//)273 b(Note:)18 b(^)h(is)g(bitwise)e(exclusive)f(XOR.)-188
	555	2525 y(always)h(@\(negedge)f(clk\))-110 2571 y(begin)-110
	556	2616 y(out2)i(=)h(in1[0])f(^)h(in1[1];)-110 2662 y(end)-188
	557	2753 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
	559	eop
	560	%%Page: 2 2
	561	2 1 bop -188 7 a Fe(always)17 b(@\(negedge)f(clk\))-110
	562	53 y(begin)-110 99 y(out3)i(=)h(in3)g(-)g(in4;)-110 144
	563	y(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
	566	372 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
	568	y Fj(Here)e(di\013eren)o(t)g(pro)q(cesses)h(\(V)m(erilog)d
	569	Fi(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
	571	Fi(-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
	574	Fj(].)25 b(In)17 b(this)g(mo)q(de,)f Fi(vl2mv)-188 783
	575	y Fj(con)o(v)o(erts)i(ev)o(en)o(t)g(guards)f(\(V)m(erilog)g
	576	Fi(@)g Fj(constructs\))i(in)o(to)e(edge-detectors)j([)p
	577	Fd(?)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)
	579	i(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.)
	586	j(One)f(can)e(see)-188 983 y(that)g(the)i(pro)q(cess)-188
	587	1070 y Fe(always)i(@\(negedge)f(clk\))-110 1116 y(begin)-110
	588	1161 y(out3)i(=)h(in3)g(-)g(in4;)-110 1207 y(end)-188
	589	1298 y Fj(is)13 b(con)o(v)o(erted)i(in)o(to)-138 1389
	590	y(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
	592	Fi(clk)f Fj(and)i(an)f(xor)g(gate)g(used)i(to)-85 1439
	593	y(detect)e(v)n(alue)d(c)o(hange\),)-138 1522 y(2.)20
	594	b(a)15 b(sequencer)j(\(or)d Fc(timing)h(machine)g Fj([)p
	595	Fd(?)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
	597	Fj(of)g(a)g(sequen)o(tial)-85 1572 y(pro)q(cess\))-138
	598	1655 y(3.)20 b(the)15 b(necessary)h(logic)d(used)h(to)g(implemen)o(t)d
	599	Fi(in3)21 b(-)h(in4)13 b Fj(and)-138 1738 y(4.)20 b(resolution)14
	600	b(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
	605	b(is)h(not)g(so)f(ob)o(vious)-188 1879 y(b)o(y)f(lo)q(oking)f(at)i(the)
	606	h(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
	610	Fj(\))f(from)f(the)j(ab)q(o)o(v)o(e)f(program.)k(The)c
	611	Fi(-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)
	614	o(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
	616	b(do)q(es)h(not)e(recognize)i Fi(blif-mvt)p Fj(.)j(Before)d(applying)d
	617	Fi(-F)i Fj(option,)f(mak)o(e)f(sure)j(that)f(dela)o(ys)f(\()p
	618	Fi(#)p Fj(\))h(in)g(the)g(source)h(program)-188 2128
	619	y(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
	621	b(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
	623	Fj(,)f(and)g Fi(out4)f Fj(but)h(also)g Fi(clk$prev0)-188
	624	2228 y(clk$prev1)p Fj(,)7 b Fi(clk$prev2)p Fj(,)h Fi(clk$prev3)p
	625	Fj(,)g(\(used)i(to)f(c)o(hec)o(k)i(v)n(alue)d(c)o(hange)i(of)f
	626	Fi(clk)p Fj(\))f(and)h Fi(_n46$prev4<0>)p Fj(,)e Fi(_n46$prev4<1>)p
	627	Fj(,)g Fi(_n46$prev4<2>)p Fj(,)-188 2278 y Fi(_n46$prev4<3>)p
	628	Fj(,)h(\(used)13 b(to)f(c)o(hec)o(k)g(v)n(alue)f(c)o(hange)h(of)f
	629	Fi(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
	631	b(In)16 b(addition,)f Fi(<T>000001)e Fj(\()p Fi(<T>000002)p
	632	Fj(,)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
	634	2377 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
	639	2477 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
	642	2527 y(v)n(ariable)d Fi(out4)g Fj(is)h(not)g(initialized,)e(w)o(e)j(ha)
	643	o(v)o(e)f(\\quasi-inputs")f(\()p Fi(out4<0>$INIT)f Fj(and)i
	644	Fi(out4<1>$INIT)p Fj(\))d(for)j(a)g(nondeterministic)g(initial)-188
	645	2577 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
	648	b Fi(in1<0>)-188 2627 y Fj(is)c(the)i(l.s.b.)i(of)c(v)o(ector)i
	649	Fi(in1)e Fj(and)h Fi(in1<3>)e Fj(is)i(the)g(m.s.b.)j(of)c
	650	Fi(in1)p Fj(.)-188 2736 y(Stim)o(ulus)f(v)o(ector)i(\014le)g(\()p
	651	Fi(two_phase.vect)p Fj(\):)892 2904 y(2)p eop
	652	%%Page: 3 3
	653	3 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>)
	655	h(in4<1>)f(\\\\)-110 53 y(out4<0>$I)o(NIT)f(out4<1>$I)o(NIT)-188
	656	99 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
	663	327 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>)
	665	g(in4<0>)g(in4<1>)h(out4<0>$I)o(NIT)e(out4<1>$I)o(NI)o(T)-188
	666	464 y(0)38 b(0)20 b(0)f(0)g(0)39 b(0)19 b(0)g(0)h(0)38
	667	b(0)20 b(0)38 b(0)20 b(0)39 b(0)19 b(0)-188 509 y(1)38
	668	b(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
	669	b(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
	670	b(0)19 b(0)g(0)h(0)38 b(0)20 b(0)38 b(0)20 b(0)39 b(0)19
	671	b(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
	672	b(0)20 b(0)38 b(0)20 b(0)39 b(0)19 b(0)-188 646 y(0)38
	673	b(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
	674	b(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
	675	b(0)19 b(0)g(0)h(0)38 b(0)20 b(0)38 b(0)20 b(0)39 b(0)19
	676	b(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
	677	b(1)20 b(0)38 b(0)20 b(0)39 b(0)19 b(0)-188 783 y(1)38
	678	b(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
	679	b(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
	680	b(0)19 b(1)g(0)h(1)38 b(0)20 b(1)38 b(0)20 b(1)39 b(0)19
	681	b(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
	682	b(0)20 b(1)38 b(0)20 b(1)39 b(0)19 b(0)-188 920 y(0)38
	683	b(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
	684	b(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
	685	b(0)19 b(0)g(1)h(1)38 b(0)20 b(1)38 b(0)20 b(0)39 b(0)19
	686	b(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
	687	b(1)20 b(1)38 b(0)20 b(0)39 b(0)19 b(0)-188 1057 y(1)38
	688	b(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
	689	b(0)20 b(0)39 b(0)19 b(0)-126 1137 y Fj(Ha)o(ving)13
	690	b(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
	694	y(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
	696	1372 y(vis>)g(flatten_hierarchy)-188 1422 y(vis>)g(static_order)-188
	697	1472 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
	699	b(sim)o(ulation)d(output)j(\()p Fi(two_phase.result)p
	700	Fj(\):)-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
	702	y(#)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
	704	b(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
	706	1957 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
	709	2049 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
	711	2094 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
	714	2231 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>)
	716	g(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
	724	b(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
	727	b(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
	730	b(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
	733	b(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
	736	b(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
	739	b(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
	742	4 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
	745	53 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
	748	99 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
	751	144 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
	754	190 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
	757	235 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
	760	281 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
	763	327 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
	766	372 y(#)g(Final)e(State)h(:)h(<1>)97 b(<2>)g(<3>)g(<4>)g(1)19
	767	b(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
	768	456 y Fj(Next,)13 b(w)o(e)g(sho)o(w)g(ho)o(w)g(to)g(apply)f(the)i(same)
	769	e(input)h(v)o(ectors)h(to)f(sim)o(ulate)e(the)j(circuit)f(with)g
	770	Fh(V)c(er)q(il)q(og)h Fg(\000)e Fh(X)s(L)1582 440 y Ff(T)t(M)1643
	771	456 y Fj(.)18 b(The)c(follo)o(wing)c(is)j(a)-188 505
	772	y(V)m(erilog)g(wrapp)q(er)i(\()p Fi(two_phase.wrappe)o(r)p
	773	Fj(\))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
	775	555 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
	777	Fi(<T>000003)p Fj(,)h Fi(<T>000004)g Fj(are)i(constan)o(ts)h
	778	Fi(<1>)p Fj(,)e Fi(<2>)p Fj(,)-188 605 y Fi(<3>)p Fj(,)f
	779	Fi(<4>)p Fj(,)g(resp)q(ectiv)o(ely)m(.)26 b(Remem)o(b)q(er)14
	780	b(that)i Fi(<T>000001)e Fj(is)i(for)g(the)g(\014rst)h(pro)q(cess.)26
	781	b 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
	783	b(clk\))p Fj(\).)d(On)d(p)q(ositiv)o(e)f(edge)h(of)f
	784	Fi(clk)p Fj(,)f Fc(timing)i(machine)g Fj(transits)g(from)d
	785	Fi(<1>)i Fj(to)g Fi(<1>)p Fj(.)k(Therefore,)d(the)g(v)n(alue)-188
	786	705 y(of)f Fi(<T>000001)f Fj(sta)o(ys)i(constan)o(t)g(at)g
	787	Fi(<1>)p Fj(.)k Fi(<T>000002)p Fj(,)11 b Fi(<T>000003)p
	788	Fj(,)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
	791	837 y Fg(\017)20 b Fj(when)15 b(to)e(apply)h(the)g(input,)-126
	792	920 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)
	794	f(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
	798	1298 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
	803	y(paramete)o(r)e(clkHalfPe)o(ri)o(od)f(=)j(50;)-188 1618
	804	y(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
	806	1846 y(reg)f(clk;)-188 1892 y(reg)g([3)h(:)g(0])g(in1;)-188
	807	1937 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)
	811	f(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
	813	2485 y(.in2)g(\(in2\),)-188 2531 y(.in3)g(\(in3\),)-188
	814	2577 y(.in4)g(\(in4\),)-188 2622 y(.out1)f(\(out1\),)-188
	815	2668 y(.out2)g(\(out2\),)-188 2714 y(.out3)g(\(out3\),)-188
	816	2759 y(.out4)g(\(out4\)\);)892 2904 y Fj(4)p eop
	817	%%Page: 5 5
	818	5 4 bop -188 53 a Fe(initial)-188 99 y(begin)-149 144
	819	y(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
	821	372 y(repeat)g(\(numCycles\))-169 418 y(begin)-188 464
	822	y(clk)h(=)h(CORE)f([)h(0)h(*)f(numCycles)d(+)j(i])g(;)-188
	823	509 y(in1)f(=)h(CORE)f([)h(1)h(*)f(numCycles)d(+)j(i])g(;)-188
	824	555 y(in2)f(=)h(CORE)f([)h(2)h(*)f(numCycles)d(+)j(i])g(;)-188
	825	601 y(in3)f(=)h(CORE)f([)h(3)h(*)f(numCycles)d(+)j(i])g(;)-188
	826	646 y(in4)f(=)h(CORE)f([)h(4)h(*)f(numCycles)d(+)j(i])g(;)-188
	827	738 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
	830	y(//)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
	832	920 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
	836	b(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
	840	b(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
	843	y(//)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
	846	1423 y(")h(\045h",)f(in1,)-169 1468 y(")h(\045h",)f(in2,)-169
	847	1514 y(")h(\045h",)f(in3,)-169 1560 y(")h(\045h",)f(in4,)-169
	848	1605 y(")h(\045h",)f(out1,)-169 1651 y(")h(\045h",)f(out2,)-169
	849	1697 y(")h(\045h",)f(out3,)-169 1742 y(")h(\045h",)f(out4,)-188
	850	1788 y("\\n")-188 1834 y(\);)-188 1879 y(#10;)37 b(//)19
	851	b(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
	853	2062 y(end)f(//)h(initial)-188 2108 y(endmodul)o(e)-126
	854	2187 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
	856	Fi(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
	858	Fi(in1)p Fj(,)f(the)i(14)e(follo)o(w)f(are)i(for)f Fi(in2)p
	859	Fj(,)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)
	868	o(e)d(V)m(erilog-XL)h(using)g(the)i(command)c(line)i(\\)p
	869	Fi(verilog)j(-q)i(+noxl)e(two_phase.wrapper)f(two_phase.v)p
	870	Fj(".)-188 2672 y Fh(V)9 b(er)q(il)q(og)i Fg(\000)d Fh(X)s(L)67
	871	2657 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
	873	b Fi(clk)p Fj(,)12 b Fi(in1)p Fj(,)h Fi(in2)p Fj(,)f
	874	Fi(in3)p Fj(,)h Fi(in4)p Fj(,)f Fi(out1)p Fj(,)-188 2722
	875	y Fi(out2)p Fj(,)g Fi(out3)p Fj(,)h Fi(out4)p Fj(.)892
	876	2904 y(5)p eop
	877	%%Page: 6 6
	878	6 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
	879	53 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)
	880	g(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
	881	190 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
	883	327 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
	885	464 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
	887	601 y(1)g(4)h(3)f(3)g(0)g(1)g(0)h(3)f(1)-126 679 y Fj(Note)11
	888	b(the)g(nondeterministic)f(initial)f(state)i(of)f Fi(out4)g
	889	Fj(\(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)
	892	o(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
	894	Fg(\000)e Fh(X)s(L)1632 714 y Ff(T)t(M)1708 729 y Fj(matc)o(hes)k(that)
	895	h(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
	897	Fj(.)30 b(Since)18 b Fi(vl2mv)f Fj(con)o(v)o(erts)i(eac)o(h)g
	898	Fi(@)e Fj(construct)j(in)o(to)d(a)h(bunc)o(h)-188 878
	899	y(of)d(edge-detectors,)k(the)d(extracted)i(blif-m)o(v)13
	900	b(\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
	902	928 y(encoun)o(tered)f(should)f(b)q(e)h(addressed)g(to)f
	903	Fi(vis@ic.eecs.berke)o(ley.e)o(du)p Fj(.)-188 1043 y
	904	Fb(App)r(endix:)30 b Fa(two)p 252 1043 19 2 v 23 w(phase.mv)-126
	905	1153 y Fj(W)m(e)13 b(sho)o(w)h(the)h(en)o(tire)f(extrated)h(blif-m)o(v)
	906	c(\014le)j(for)f Fi(two_phase.v)p Fj(.)-188 1227 y Fe(#)19
	907	b(vl2mv)e(-y)i(-c)g(-F)g(-Z)g(two_phase)o(.v)-188 1272
	908	y(#)g(version:)d(0.2)-188 1318 y(#)j(date:)76 b(14:29:49)17
	909	b(10/14/96)f(\(PDT\))-188 1364 y(.model)h(two_phase)-188
	910	1409 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
	912	1546 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
	914	1729 y(.outputs)f(out3<0>)h(out3<1>)-188 1775 y(.outputs)f(out2)-188
	915	1820 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
	917	1957 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
	920	2049 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
	922	b(0)-188 2140 y(.names)d(out1$raw_)o(n0<)o(0>)-188 2186
	923	y(0)-188 2231 y(.names)g(out1$raw_)o(n0<)o(1>)-188 2277
	924	y(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
	926	y(.names)d(out2$raw_)o(n1)-188 2460 y(0)-188 2505 y(#)i(non-block)o(in)
	927	o(g)e(assignmen)o(ts)f(for)j(initial)-188 2551 y(#)g(out3)37
	928	b(=)20 b(0)-188 2597 y(.names)d(out3$raw_)o(n2<)o(0>)-188
	929	2642 y(0)-188 2688 y(.names)g(out3$raw_)o(n2<)o(1>)-188
	930	2733 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
	933	7 6 bop -188 7 a Fe(#)19 b(out1)37 b(=)20 b(in1)38 b(+)19
	934	b(in2)-188 53 y(#)g(in1)38 b(+)19 b(in2)-188 99 y(.names)e(_n9)-188
	935	144 y(0)-188 190 y(.names)g(in1<0>)g(in2<0>)g(_n9)i(_n8<0>)-188
	936	235 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
	937	372 y(1)g(0)g(0)g(1)-188 418 y(1)g(1)g(1)g(1)-188 464
	938	y(#)g(carry/bor)o(ro)o(w)-188 509 y(.names)e(_nb)-188
	939	555 y(0)-188 601 y(.names)g(in1<0>)g(in2<0>)g(_nb)i(_na)-188
	940	646 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
	941	783 y(1)g(1)g(0)g(1)-188 829 y(1)g(1)g(1)g(1)-188 875
	942	y(.names)e(in1<1>)g(in2<1>)g(_na)i(_n8<1>)-188 920 y(.def)f(0)-188
	943	966 y(0)h(0)g(1)g(1)-188 1012 y(0)g(1)g(0)g(1)-188 1057
	944	y(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
	946	1240 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
	948	1468 y(.names)e(in1<2>)g(in2<2>)g(_nc)i(_n8<2>)-188 1514
	949	y(.def)f(0)-188 1560 y(0)h(0)g(1)g(1)-188 1605 y(0)g(1)g(0)g(1)-188
	950	1651 y(1)g(0)g(0)g(1)-188 1697 y(1)g(1)g(1)g(1)-188 1742
	951	y(#)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
	953	1925 y(1)g(0)g(1)g(1)-188 1971 y(1)g(1)g(0)g(1)-188 2016
	954	y(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
	956	y(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
	958	2382 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
	961	y(#)h(feedback)d(mux)-188 2701 y(.names)h(out4<0>)g(_n3<0>)-188
	962	2747 y(-)i(=out4<0>)892 2904 y Fj(7)p eop
	963	%%Page: 8 8
	964	8 7 bop -188 7 a Fe(.names)17 b(out4<1>)g(_n3<1>)-188
	965	53 y(-)i(=out4<1>)-188 99 y(.names)e(out3<0>)g(_n4<0>)-188
	966	144 y(-)i(=out3<0>)-188 190 y(.names)e(out3<1>)g(_n4<1>)-188
	967	235 y(-)i(=out3<1>)-188 281 y(.names)e(out2)h(_n5)-188
	968	327 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
	970	509 y(-)g(0)g(0)g(0)-188 555 y(-)g(1)g(0)g(1)-188 601
	971	y(.names)e(out1<1>)g(out1$raw_)o(n7)o(<1>)f(_ne)i(_n6<1>)-188
	972	646 y(0)h(-)g(1)g(0)-188 692 y(1)g(-)g(1)g(1)-188 738
	973	y(-)g(0)g(0)g(0)-188 783 y(-)g(1)g(0)g(1)-188 829 y(#)g(out2)37
	974	b(=)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
	976	966 y(.def)h(0)-188 1012 y(0)h(1)g(1)-188 1057 y(1)g(0)g(1)-188
	977	1103 y(.names)e(_n16<0>)g(out2$raw_)o(n1)o(5)-188 1149
	978	y(-)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
	981	y(-)i(=out4<0>)-188 1468 y(.names)e(out4<1>)g(_n11<1>)-188
	982	1514 y(-)i(=out4<1>)-188 1560 y(.names)e(out3<0>)g(_n12<0>)-188
	983	1605 y(-)i(=out3<0>)-188 1651 y(.names)e(out3<1>)g(_n12<1>)-188
	984	1697 y(-)i(=out3<1>)-188 1742 y(.names)e(out2)h(out2$raw_)o(n15)e(_n17)
	985	i(_n13)-188 1788 y(0)h(-)g(1)g(0)-188 1834 y(1)g(-)g(1)g(1)-188
	986	1879 y(-)g(0)g(0)g(0)-188 1925 y(-)g(1)g(0)g(1)-188 1971
	987	y(.names)e(out1<0>)g(_n14<0>)-188 2016 y(-)i(=out1<0>)-188
	988	2062 y(.names)e(out1<1>)g(_n14<1>)-188 2108 y(-)i(=out1<1>)-188
	989	2153 y(#)g(out3)37 b(=)20 b(in3)38 b(-)19 b(in4)-188
	990	2199 y(#)g(in3)38 b(-)19 b(in4)-188 2245 y(.names)e(_n1f)-188
	991	2290 y(0)-188 2336 y(.names)g(in3<0>)g(in4<0>)g(_n1f)h(_n1e<0>)-188
	992	2382 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
	994	2610 y(#)g(carry/bor)o(ro)o(w)-188 2656 y(.names)e(_n21)-188
	995	2701 y(0)-188 2747 y(.names)g(in3<0>)g(in4<0>)g(_n21)h(_n20)892
	996	2904 y Fj(8)p eop
	997	%%Page: 9 9
	998	9 8 bop -188 7 a Fe(.def)18 b(0)-188 53 y(0)h(0)g(1)g(1)-188
	999	99 y(0)g(1)g(0)g(1)-188 144 y(0)g(1)g(1)g(1)-188 190
	1000	y(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
	1002	y(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
	1003	509 y(.names)e(_n1e<0>)g(out3$raw_)o(n1)o(d<0)o(>)-188
	1004	555 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
	1007	829 y(#)h(feedback)d(mux)-188 875 y(.names)h(out4<0>)g(_n19<0>)-188
	1008	920 y(-)i(=out4<0>)-188 966 y(.names)e(out4<1>)g(_n19<1>)-188
	1009	1012 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
	1011	1149 y(1)g(-)g(1)g(1)-188 1194 y(-)g(0)g(0)g(0)-188 1240
	1012	y(-)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
	1014	y(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
	1016	1605 y(.names)e(out1<0>)g(_n1c<0>)-188 1651 y(-)i(=out1<0>)-188
	1017	1697 y(.names)e(out1<1>)g(_n1c<1>)-188 1742 y(-)i(=out1<1>)-188
	1018	1788 y(.names)e(clk)h(_n29)-188 1834 y(-)h(=clk)-188
	1019	1879 y(#)g(out4)37 b(=)20 b(in1)38 b(-)19 b(in2)-188
	1020	1925 y(#)g(in1)38 b(-)19 b(in2)-188 1971 y(.names)e(_n2c)-188
	1021	2016 y(0)-188 2062 y(.names)g(in1<0>)g(in2<0>)g(_n2c)h(_n2b<0>)-188
	1022	2108 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
	1024	2336 y(#)g(carry/bor)o(ro)o(w)-188 2382 y(.names)e(_n2e)-188
	1025	2427 y(0)-188 2473 y(.names)g(in1<0>)g(in2<0>)g(_n2e)h(_n2d)-188
	1026	2519 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
	1028	2747 y(.names)e(in1<1>)g(in2<1>)g(_n2d)h(_n2b<1>)892
	1029	2904 y Fj(9)p eop
	1030	%%Page: 10 10
	1031	10 9 bop -188 7 a Fe(.def)18 b(0)-188 53 y(0)h(0)g(1)g(1)-188
	1032	99 y(0)g(1)g(0)g(1)-188 144 y(1)g(0)g(0)g(1)-188 190
	1033	y(1)g(1)g(1)g(1)-188 235 y(#)g(carry/bor)o(ro)o(w)-188
	1034	281 y(.names)e(in1<1>)g(in2<1>)g(_n2d)h(_n2f)-188 327
	1035	y(.def)g(0)-188 372 y(0)h(0)g(1)g(1)-188 418 y(0)g(1)g(0)g(1)-188
	1036	464 y(0)g(1)g(1)g(1)-188 509 y(1)g(1)g(1)g(1)-188 555
	1037	y(.names)e(in1<2>)g(in2<2>)g(_n2f)h(_n2b<2>)-188 601
	1038	y(.def)g(0)-188 646 y(0)h(0)g(1)g(1)-188 692 y(0)g(1)g(0)g(1)-188
	1039	738 y(1)g(0)g(0)g(1)-188 783 y(1)g(1)g(1)g(1)-188 829
	1040	y(#)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
	1042	1012 y(0)g(1)g(0)g(1)-188 1057 y(0)g(1)g(1)g(1)-188 1103
	1043	y(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
	1045	y(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
	1047	1468 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
	1049	y(#)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
	1051	1697 y(0)h(-)g(1)g(0)-188 1742 y(1)g(-)g(1)g(1)-188 1788
	1052	y(-)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)
	1054	o(_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
	1056	2108 y(.names)e(<$lc_ps$>)o(000)o(00)o(4)g(_n36)-188
	1057	2153 y(.def)h(0)-188 2199 y(<0>)g(1)-188 2245 y(#)h(feedback)d(mux)-188
	1058	2290 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
	1060	2427 y(-)g(0)g(0)g(0)-188 2473 y(-)g(1)g(0)g(1)-188 2519
	1061	y(.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
	1063	2656 y(-)g(0)g(0)g(0)-188 2701 y(-)g(1)g(0)g(1)-188 2747
	1064	y(.names)e(out3<0>)g(_n26<0>)882 2904 y Fj(10)p eop
	1065	%%Page: 11 11
	1066	11 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
	1068	190 y(-)h(=out2)-188 235 y(.names)e(out1<0>)g(_n28<0>)-188
	1069	281 y(-)i(=out1<0>)-188 327 y(.names)e(out1<1>)g(_n28<1>)-188
	1070	372 y(-)i(=out1<1>)-188 418 y(#)g(conflict)d(arbitrator)o(s)-188
	1071	464 y(.names)h(<$lc_ps$>)o(000)o(00)o(4)g(_n29)h(_n39)-188
	1072	509 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
	1075	y(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
	1078	783 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
	1082	966 y(0)j(-)g(-)g(-)g(-)h(=out3<0>)c(=out3<1>)-188 1012
	1083	y(.names)h(<$lc_ps$>)o(000)o(00)o(2)g(_n3d)-188 1057
	1084	y(.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
	1086	1240 y(1)g(1)g(-)g(1)-188 1286 y(0)g(-)g(0)g(0)-188 1331
	1087	y(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
	1089	y(.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
	1091	y(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
	1093	1651 y(#)j(non-block)o(in)o(g)e(assignmen)o(ts)-188 1697
	1094	y(#)i(latches)-188 1742 y(.r)f(out4<0>)-188 1788 y(-)-188
	1095	1834 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
	1097	2016 y(.r)h(out3$raw_n)o(2<0)o(>)f(out3<0>)-188 2062
	1098	y(.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
	1100	2290 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
	1102	2427 y(0)i(0)-188 2473 y(1)g(1)-188 2519 y(.latch)e(_n3e)h(out2)-188
	1103	2564 y(.r)g(out1$raw_n)o(0<0)o(>)f(out1<0>)-188 2610
	1104	y(.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
	1107	12 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
	1112	418 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
	1115	646 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
	1118	829 y(0)38 b(<1>)19 b(<>)g(<>)f(=<T>000001)-188 875 y(1)38
	1119	b(<1>)19 b(<1>)f(<1>)h(<1>)-188 920 y(-)g(<0>)f(<0>)h(<1>)f(<1>)-188
	1120	966 y(#)h(timing)e(automatan:)f(time)i(flies)-188 1012
	1121	y(.latch)f(clk)h(clk$prev1)-188 1057 y(.r)g(clk$prev1)-188
	1122	1103 y(0)-188 1149 y(.names)f(clk$prev1)f(clk)i(_n42)-188
	1123	1194 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
	1126	1423 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
	1129	1605 y(0)38 b(<2>)19 b(<>)g(<>)f(=<T>000002)-188 1651
	1130	y(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
	1132	1788 y(.latch)f(clk)h(clk$prev2)-188 1834 y(.r)g(clk$prev2)-188
	1133	1879 y(0)-188 1925 y(.names)f(clk$prev2)f(clk)i(_n43)-188
	1134	1971 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
	1137	2199 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
	1140	2382 y(0)38 b(<3>)19 b(<>)g(<>)f(=<T>000003)-188 2427
	1141	y(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
	1143	2564 y(.latch)f(clk)h(clk$prev3)-188 2610 y(.r)g(clk$prev3)-188
	1144	2656 y(0)-188 2701 y(.names)f(clk$prev3)f(clk)i(_n45)-188
	1145	2747 y(.def)g(0)882 2904 y Fj(12)p eop
	1146	%%Page: 13 13
	1147	13 12 bop -188 7 a Fe(1)19 b(0)g(1)-188 53 y(0)g(1)g(1)-188
	1148	99 y(#)g(in1)38 b(-)19 b(in2)-188 144 y(.names)e(_n47)-188
	1149	190 y(0)-188 235 y(.names)g(in1<0>)g(in2<0>)g(_n47)h(_n46<0>)-188
	1150	281 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
	1151	418 y(1)g(0)g(0)g(1)-188 464 y(1)g(1)g(1)g(1)-188 509
	1152	y(#)g(carry/bor)o(ro)o(w)-188 555 y(.names)e(_n49)-188
	1153	601 y(0)-188 646 y(.names)g(in1<0>)g(in2<0>)g(_n49)h(_n48)-188
	1154	692 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
	1155	829 y(0)g(1)g(1)g(1)-188 875 y(1)g(1)g(1)g(1)-188 920
	1156	y(.names)e(in1<1>)g(in2<1>)g(_n48)h(_n46<1>)-188 966
	1157	y(.def)g(0)-188 1012 y(0)h(0)g(1)g(1)-188 1057 y(0)g(1)g(0)g(1)-188
	1158	1103 y(1)g(0)g(0)g(1)-188 1149 y(1)g(1)g(1)g(1)-188 1194
	1159	y(#)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
	1161	1377 y(0)g(1)g(0)g(1)-188 1423 y(0)g(1)g(1)g(1)-188 1468
	1162	y(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
	1164	y(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
	1167	y(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
	1170	2245 y(0)g(1)g(0)g(1)-188 2290 y(1)g(0)g(0)g(1)-188 2336
	1171	y(1)g(1)g(1)g(1)-188 2382 y(.latch)e(_n46<0>)g(_n46$prev)o(4<)o(0>)-188
	1172	2427 y(.r)h(_n46$prev4)o(<0>)-188 2473 y(0)-188 2519
	1173	y(.names)f(_n46$prev)o(4<0)o(>)f(_n46<0>)h(_n4c<0>)-188
	1174	2564 y(.def)h(0)-188 2610 y(1)h(0)g(1)-188 2656 y(0)g(1)g(1)-188
	1175	2701 y(.latch)e(_n46<1>)g(_n46$prev)o(4<)o(1>)-188 2747
	1176	y(.r)h(_n46$prev4)o(<1>)882 2904 y Fj(13)p eop
	1177	%%Page: 14 14
	1178	14 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
	1180	190 y(0)g(1)g(1)-188 235 y(.latch)e(_n46<2>)g(_n46$prev)o(4<)o(2>)-188
	1181	281 y(.r)h(_n46$prev4)o(<2>)-188 327 y(0)-188 372 y(.names)f(_n46$prev)
	1182	o(4<2)o(>)f(_n46<2>)h(_n4c<2>)-188 418 y(.def)h(0)-188
	1183	464 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
	1185	646 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
	1187	875 y(.names)e(_n4c<0>)g(_n4c<1>)g(_n4c<2>)g(_n4c<3>)f(_n4d)-188
	1188	920 y(.def)i(1)-188 966 y(0)h(0)g(0)g(0)g(0)-188 1012
	1189	y(.names)e(_n45)h(_n4d)g(_n44)-188 1057 y(.def)g(1)-188
	1190	1103 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
	1192	1240 y(.latch)f(<_>000004)f(<T>000004)-188 1286 y(.r)i(<T>000004)-188
	1193	1331 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
	1195	1423 y(.def)h(<>)g(<>)h(=<T>000004)-188 1468 y(0)38 b(<4>)19
	1196	b(<>)g(<>)f(=<T>000004)-188 1514 y(1)38 b(<4>)19 b(<4>)f(<4>)h(<4>)-188
	1197	1560 y(-)g(<0>)f(<0>)h(<4>)f(<4>)-188 1605 y(.end)882
	1198	2904 y Fj(14)p eop
	1199	%%Trailer
	1200	end
	1201	userdict /end-hook known{end-hook}if
	1202	%%EOF

Note: See TracBrowser for help on using the repository browser.

Download in other formats: