,a),.,.,.,,,,.,. [], [] (typial) LSI (Timing Fault: TF) TF Razor [], [], [] DVFS - Dynami Voltage an Frequeny Saling [] TF (V) (F) TF TF Grauate Shool of Information Siene an Tehnology, The University of Tokyo a) s-yoshia@mtl.t.u-tokyo.a.jp Razor (V) (F) TF / TF V/F TF Razor []. TF. Information Proessing Soiety of Japan
TF TF Razor / TF / / [] FPGA t-iagram t = FF (x, y, z) (,, ) (,, ) xy z t x t y t z t = t x t y z y t = t z t-iagram z t = t z t-iagram. (FF) (t-iagram) TF. t-iagram.. (t-iagram) - t-iagram - (t-iagram) Information Proessing Soiety of Japan
t-iagram t-iagram?? t-iagram t = t z t y t = t y t y t = t z t y t-iagram [] % / /. FF FF t-iagram - FF FF FF() t-iagram. FF FF % t-iagram FF FF t-iagram FF FF Information Proessing Soiety of Japan
FF Razor t-iagram []. Razor Razor FF []Razor FF FFMain FFShaow Lath Shaow Lath Main FF Main FF Shaow Lath TF TF TF [], [] FF Razor t-iagram Main FF Shaow Lath t-iagram FF TF Main FF Shaow Lath TF TF FF τ/ Razor TF α Razor ( + α)τ/ FF ατ TF TF τ/ Razor Razor Razor Main FF Shaow Lath TF Shaow Lath Shaow Lath Shaow Lath (false positive) (false negative) Razor Razor Information Proessing Soiety of Japan
t-iagram Shaow Lath.τ.τ/ α ατ/ FF ατ ατ Razor α. TF.. TF Razor.. t-iagram. TF t-iagram L L L L i L i E(i) FF I(i) FF Razor I(i) =τ. I(i) =/τ D(i) =I(i) E(i) D(i) D(i) < L L L E() = /τ L D() D() = /τ /τ = /τ E() = /τ L D() = /τ /τ =/τ D(i) = D() = /τ L L τ D() D() = /τ τ = /τ L L D(i) =D() + D() = /τ τ D(i) < /τ TF L L /τ D() = /τ /τ =/τ D(i) = /τ +/τ =/τ t-iagram L n D(i) D(i) = D(i) = τ TF D(i) = /τ D(i) = /τ D(i) = τ Information Proessing Soiety of Japan
Razor t-iagram L n L n t-iagram. τ/. FF. Razor Razor Razor t-iagram Razor FF TF Razor I(i) =τ E(i) τ D(i) D(i) E(i) >τ D(i) < TF TF D(i) D(i) D(i) < /τ TF TF. TF Shaow Lath XOR Razor Razor FF Main FF. TF () t-iagram Information Proessing Soiety of Japan
A O B I C I (ell LUT (port I (iretion INPUT)) (port I (iretion INPUT)) (port O (iretion OUTPUT)) ) (instane AellRef (instane B ellref LUT (instane C ellref LUT (net n (joine (portref O (instaneref A)) (portref I (instaneref B)) (portref I (instaneref C)) )) TF Shaow Lath Main Lath Shaow Lath Main Lath Razor Shaow Lath Main Lath Shaow Lath Shaow Lath Main Lath () t-iagram t-iagram. [] TF. EDIFEletroni Design Interharge FormatFF / EDIF EDIF EDIF S EDIF. Razor FF / FF / Information Proessing Soiety of Japan
set rst set rst in out in out FF FF FF FF FF FF () () () () () () () q q () f e () ()a a b b b () () () () () () f,g e f,g g, h () (). FF FF FF () i o Information Proessing Soiety of Japan
() a e b f g h () () () () List List List i i a b i a b a b a b in a,b in a,b in a,b out out out f f f f g in, in,,f,g out g out,e,g,h g g e g h e h i o o e h e h o o () Bellman-for [] Bellman-for TF () Information Proessing Soiety of Japan
i i i i i i i i o o o o o i o o o o o o () FF () () max th =/ max + th () (a) () (b) () () ()-() ( ) ()-() (). TF TF Razor Information Proessing Soiety of Japan
() () () searh TF () TF Razor Lath TF W p Razor Lath razor p W max ( < max p ) Razor max razor () W th th W sp sp th th sp (),.. TF () min max Bellman-for () min max () p () p = razor = Razor th = () max Razor Razor Shaow Lath D () max > razor Razor Shaow Lath () min D self th () a a min +D self =< th a () max D prev th th D self () a b max + D prev a b a b D self th a b () Information Proessing Soiety of Japan
()-() () () b a () () () () min + D self = th e () ()() TF () TF () Main Lath Shaow Lath. () () D= D= D= D= D= D= D= D= D= D= D= D= D= min + D self = < th D= D= D= max > razor LSI / FF. EDIF () D= D= D= D= D= D= max + D prev = < th D= D= th D self = D= D= D= max + D prev = > th TF (-) Information Proessing Soiety of Japan
() D= D= D= D= () D= D= D= D= () D= D= D= () D= max + D prev = < th th D self = max + D prev = < th D= min + D self = < th D= max + D prev = > th D= D= D= D= D= D= min + D self = th D= th D self = D= D= max + D prev = th D= max th FPU. No.. [] (). [] MOS Vol., No. (). [] D.Ernst, N.Kim, S.Das, S.Pant, T.Pham, R.Rao, C.Ziesler, D.Blaauw, T.Austin an T.Muge: Razor: A Low-Power Pipeline Base on Ciruit-Level Timing Speulation, Int l Symp. on Miroarhiteture (MI- CRO), pp. (). [] Blaauw, D., Kalaiselvan, S., Lai, K., Ma, W.-H., Pant, S., Tokunaga, C., Das, S. an Bull, D.: Razor II: In Situ Error Detetion an Corretion for PVT an SER Tolerane, Int l Symp. on Soli-State Ciruits Conferene (ISSCC) (). [] Bull, D., Das, S., Shivshankar, K., Dasika, G., Flautner, K. an Blaauw, D.: A power-effiient b ARM ISA proessor using timing-error etetion an orretion for transient-error tolerane an aaptation to PVT variation, Soli-State Ciruits Conferene Digest of Tehnial Papers (ISSCC), IEEE International, pp. (online), DOI:./ISSCC.. (). [] Mallik, A., Cosgrove, J., Dik, R. P., Memik, G. an Dina, P.: PICSEL: Measuring User-Pereive Performane to Control Dynami Frequeny Saling, Int l Conf. on Arhitetural Support for Programming Languages an Operating Systems (ASPLOS), pp. (). [] ACSVol., No., pp. (). [] SACSISpp. (). [] Harris, D.: Skew-tolerant Ciruit Design, Morgan Kaufmann Publishers, pp. (). [] Out-of-Orer ACSVol., No., pp. (). [] Kleinberg, J. an Taros, E.: Algorithm Design, Aison-Wesley Longman Publishing Co., In., Boston, MA, USA (). TF (-) Information Proessing Soiety of Japan