%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 8 0 obj << /S /GoTo /D (section.1) >> endobj 11 0 obj (Introduction) endobj 12 0 obj << /S /GoTo /D (section.2) >> endobj 15 0 obj (Background) endobj 16 0 obj << /S /GoTo /D (section.3) >> endobj 19 0 obj (Logical Simulation Algorithm) endobj 20 0 obj << /S /GoTo /D (section.4) >> endobj 23 0 obj (Efficient Implementation) endobj 24 0 obj << /S /GoTo /D (section.5) >> endobj 27 0 obj (Conclusion and Further Work) endobj 28 0 obj << /S /GoTo /D [29 0 R /Fit ] >> endobj 109 0 obj << /Length 2525 /Filter /FlateDecode >> stream xM۶BGu ?{sZil~ w3H~E`WUM|}#*QUQUܿW{vG,VgO٬EYO7ȔZ削 }GYY|}w7iqTDiIۯ/Ao2ׯڇL]Vlt{rUoE7wl9^ma1_4>ۺ%;C_:f'G6{;t=,˻"J)|`}ŵ2FI&J2%I̲2$E^>DzedS 2E}z;A6$ˆT ~#q,J2DRu[WuMݨ"*, *"Wul{K`n skF>lD6k{8~> eXjWlpˤqsCz,h lLsW;y蘠`:t>E[Ёb:@Xm[!2+k 7xȬX'FzWߙ+T*"DXcp8UjonH p7s2G3>b&ۉebx [f;tCF~dxQ")Eq{*ұI$Q@+"%H{`O w6 ɶSb(TrX~bɶ"Z|F5M{qІ )(ҹIFWG R qA,-1klɡp'1y!r`X ti]3l݄dR&o~Sm咒(ONXDgLͽ:@5B:ԝ(sԝaжeJAUeCF80\/ySqr75ш0ϥO%A& GY=m ߾] Nv#[R\3[%Ǻ>")|xGR5jJLQjyjTd%Gnn%8°"H9 23+?3ui)T|2_O{~)=|HZ92*Ac'i=oϡesb'۪\$_yVtVd)?V_! : Bx_ʳ}(8QPܭǾ6T@xe ,]Gӌ*'A~CAG|_~