%PDF-1.4
%
1 0 obj
<>stream
application/pdfIEEEIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2018;37;12;10.1109/TCAD.2018.2791465Equivalence checkingequivalence classesequivalent faultfault collapsingfault injectionfault reductionfunctional safetyfunctional verificationgeneral faultidentical faultISO 26262qualification accelerationstuck-at faultSAT-Based Fault Equivalence Checking in Functional Safety VerificationAi Quoc DaoMark Po-Hung LinAlan Mishchenko
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems3198 Dec. 2018123710.1109/TCAD.2018.27914653205
endstream
endobj
2 0 obj
<>
endobj
3 0 obj
<>
endobj
4 0 obj
<>
endobj
5 0 obj
<>stream
h{]7rH>tO7$#i,Qp(Yo/Y9 зo/ T"?N7?ÿߛ/ks0|O%|X:T!xʋ|Yp%{כ_^|KN/ԧZ>՞5Weq_^?^]XN??OLRJ~br2/~zy/3^}Y̩8~OG_Lk~={_gɭ_^}Wo7߷|P~ow|:_yWцg.[/{CwH>#;Rne/ؗ:7oqG[ߗ=XdCe]ܥhch;\lJgh#_wʖ~,wV`R:EcLN;Ug\:~|J}u~sUK{~ui6ſ7?o7^S\O)[|DS\/4fw]%{_n՝I1R[}qɺg%ǯw)u'`~Qs{&%6_ˋoAĒ|DV3p~@CU~}5cΛYBQ8'ϯc5K{gzBB<8RÞ߫]fnU|Ty~yի/OHu,Wx$1y[ncO-崹
//~[|տ~~ݫrW7~cpFŞ)c]}ZK|Ps:`w_q9ϛ}.{xF_twOwl>X_QkZ!jW, $˿?4n[/+䪛qs;w:7__M_B}]qJr]R7{宪9Wq^|cAz&*B=F.w
uR.)%/jCBIdzU^zEזUeEQkUo"o\q}2+Q$l(y]8ٞxaƟGNsWdv"T0lU]lc廥ڸ~=)F
*P7mvsQNAk'jT.TKɄEktyNCc>E w7ʿfͭ>)WN6TW;ZծT(RM>%,WM('rF."m_V$z
e3%S3#w$^J"x*>x_oh|]zu*:_/%F53m7b-:Ceg+ɼPdE$F9إ||g>Wa,J('g;S'1(7Xa=bd]4Ng&j[fNtO
fX"e~@b]%fdg]~WK$U#.$,PnY
E-5
6cMeC+>r(Wˇ-pe:@$c zO8>x&8bnaw-Xڮ~Yq$mHSX{I;lMx!"*cUmku(GO^.
tNa}$z/l0M8B(&: UE\|\
+^z {s_NbT4:s.X`8AM)$9}=*.&/-Flף}c<֘nuB|qWG7q%(#DEH-B#|U?']C24_YNCȶB"H^B#8\*neqEۀ#RRѥr,O'0UH8CRY,<,%KO"OYWfd7$9y$
8OiAKp(HŪo7̞`1%i|+mOkMːz'x ĥ8@$!%"%&q(kU១viUl)vr|ẇ3̇Fa>3||||Mh>F#ُ L3\+&:9G+}Z-v<˧Нv5&=> tաT| ,i*/k"WH^O#Tʿ#ͱ*p뷭F$-GLCSkFt{A*ˉ$\b31I0Qk B2A@f耋~[f=%K ISؘ&M(H#UH*!W5@u'iNAe=!i˭&&ޔpDMRhIe][@-@C߶Ыz\5lJk+%&