%PDF-1.6
%
1 0 obj
<>stream
application/pdfIEEEIEEE Micro;2018;38;3;10.1109/MM.2018.032271067architectureembedded systemsverificationbinary analysishardwareAn Architecture for AnalysisJoseph McMahanMichael ChristensenLawton NicholsJared RoeschSung-Yee GuoBen HardekopfTimothy Sherwood
IEEE Micro107 May./Jun. 201833810.1109/MM.2018.032271067115
endstream
endobj
2 0 obj
<>stream
htohSWi$ncWzOf4`P*-B;&ɝͽ6׀oG5ST欈hǨՂPv.AgCޓ
av><9ˏ aIB[BFs{ݰ[^ub?|Ye[٥_D[ /ޞ,mz_Pcq7liXkdc]Fn"ޭtTISFnM%$^bPMI&*=Yt3ݧ<SyOCU#f\!{mA;k& kQ:ӣFLӄ7Q3w1'Sյd:!(|(Z6a]!2m}.LJ& K+AG5kc"<ƌ+XVq}F5[TNX%