Razor. [1], [2] (typical) LSI V/F. Razor. (Timing Fault: TF) [7] Razor [3], [4], [5] DVFS - Dynamic Voltage and Frequency Scaling [6]

Μέγεθος: px

Εμφάνιση ξεκινά από τη σελίδα:

Download "Razor. [1], [2] (typical) LSI V/F. Razor. (Timing Fault: TF) [7] Razor [3], [4], [5] DVFS - Dynamic Voltage and Frequency Scaling [6]"

Χθόνια Δασκαλόπουλος
4 χρόνια πριν
Προβολές:

1 ,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

2 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

3 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

4 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

5 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

6 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

7 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

8 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

9 () 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

10 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

11 () () () 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

12 ()-() () () 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

13 () 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

Σχετικά έγγραφα

Optimized Design of Fully Integrated VCO on Si Based Process

Optimized Design of Fully Integrated VCO on Si Based Process LSI VCO Optimized Desin of Fully Interated VCO on Si Based Proess Nobuyuki Itoh Semiondutor Company, Toshiba Corporation 47-8585 -5-1 -5-1, Kasama, Sakae-ku, Yokohama, 47-8585, Japan Tel: +81-45-890-41,