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

Σχετικά έγγραφα
Optimized Design of Fully Integrated VCO on Si Based Process

Mining Syntactic Structures from Text Database

MIDI [8] MIDI. [9] Hsu [1], [2] [10] Salamon [11] [5] Song [6] Sony, Minato, Tokyo , Japan a) b)

Re-Pair n. Re-Pair. Re-Pair. Re-Pair. Re-Pair. (Re-Merge) Re-Merge. Sekine [4, 5, 8] (highly repetitive text) [2] Re-Pair. Blocked-Repair-VF [7]

ΗΜΥ 210: Σχεδιασμός Ψηφιακών Συστημάτων. Συνδιαστικά Λογικά Κυκλώματα / Ολοκληρωμένα Κυκλώματα 1

VBA Microsoft Excel. J. Comput. Chem. Jpn., Vol. 5, No. 1, pp (2006)

Πρότυπα Συµβόλων για τις Μονάδες Μνήµης. Άµεση Είσοδοι (Direct Inputs) Χρονικοί Παράµετροι (Flip-Flop Timing Parameters)

Περιγραφή Κυκλωμάτων με χρήση της VHDL. Δομική περιγραφή και περιγραφή Μηχανών Πεπερασμένων Καταστάσεων


A Method of Trajectory Tracking Control for Nonminimum Phase Continuous Time Systems

ΓΙΑΝΝΟΥΛΑ Σ. ΦΛΩΡΟΥ Ι ΑΚΤΟΡΑΣ ΤΟΥ ΤΜΗΜΑΤΟΣ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΟΥ ΠΑΝΕΠΙΣΤΗΜΙΟΥ ΜΑΚΕ ΟΝΙΑΣ ΒΙΟΓΡΑΦΙΚΟ ΣΗΜΕΙΩΜΑ

Προγραμματισμός ΙΙ. Ενότητα 9: Πρότυπες συναρτήσεις και πρότυπες κλάσεις - Μέρος 1 Δρ. Γεώργιος Σίσιας Τμήμα Μηχανικών Πληροφορικής ΤΕ

Terminal Contact UL Insulation Designation (provided with) style form system approval Flux tight

RSDW08 & RDDW08 series

Development of a Tiltmeter with a XY Magnetic Detector (Part +)

2

Εφαρμογές Arduino Σεμινάριο Ηλεκτρονικού Τομέα

AD8114/AD8115* AD8114/AD8115 SER/PAR D0 D1 D2 D3 D4 A0 A1 A2 A3 CLK DATA OUT DATA IN UPDATE RESET 16 OUTPUT G = +1, G = +2

SMD Transient Voltage Suppressors

Optimization, PSO) DE [1, 2, 3, 4] PSO [5, 6, 7, 8, 9, 10, 11] (P)

2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems

Προγραμματισμός ΙΙ. Ενότητα 1: Βασικοί τύποι δεδομένων. Δρ. Γεώργιος Σίσιας Τμήμα Μηχανικών Πληροφορικής ΤΕ

Αρχιτεκτονική Υπολογιστών. ηµήτρης Γκιζόπουλος Καθηγητής

A research on the influence of dummy activity on float in an AOA network and its amendments

Zigbee. Zigbee. Zigbee Zigbee ZigBee. ZigBee. ZigBee

Overview: Relay Modules

Input Ranges : 9-75 VDC

IXBH42N170 IXBT42N170

ΑΠΟΤΕΛΕΣΜΑΤΑ ΕΞΩΤΕΡΙΚΗΣ ΑΞΙΟΛΟΓΗΣΗΣ ΕΛΛΗΝΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΩΝ ΜΕ ΒΑΣΗ ΤΑ ΣΤΟΙΧΕΙΑ

15W DIN Rail Type DC-DC Converter. DDR-15 series. File Name:DDR-15-SPEC

= f(0) + f dt. = f. O 2 (x, u) x=(x 1,x 2,,x n ) T, f(x) =(f 1 (x), f 2 (x),, f n (x)) T. f x = A = f


Chapter 22 - Heat Engines, Entropy, and the Second Law of Thermodynamics

An Automatic Modulation Classifier using a Frequency Discriminator for Intelligent Software Defined Radio

GPU. CUDA GPU GeForce GTX 580 GPU 2.67GHz Intel Core 2 Duo CPU E7300 CUDA. Parallelizing the Number Partitioning Problem for GPUs

Εισαγωγή στη Γλώσσα VHDL

: Six Sigma, Process Cycle Efficiency, Lean,,

Προγραμματισμός ΙΙ Ενότητα 5:

LTC RO R 2 RE 3 DE 1 RO 2 3 DE 4 DI 2000 FEET OF TWISTED-PAIR WIRE 7 RECEIVER INPUT DI. 4.7nF RO

RDN-250i Application / Benefits Model No. Servo Motor Maker SPECIFICATIONS Table Dia. Horizontal [kg] Center Height Resister Dia.

Σχεδίαση CMOS Ψηφιακών Ολοκληρωμένων Κυκλωμάτων

516(5,(6. LOW NOISE 150mA LDO REGULATOR

DC-DC Constant Current Step-Down LED driver LDD-300L LDD-350L LDD-500L LDD-600L LDD-700L CURRENT RANGE

3: A convolution-pooling layer in PS-CNN 1: Partially Shared Deep Neural Network 2.2 Partially Shared Convolutional Neural Network 2: A hidden layer o

Technical Specifications

Προγραμματισμός ΙΙ. Ενότητα 1: Προαπαιτούμενα. Δρ. Γεώργιος Σίσιας Τμήμα Μηχανικών Πληροφορικής ΤΕ

DC-DC Constant Current Step-Down LED driver LDD-300L LDD-350L LDD-500L LDD-600L LDD-700L CURRENT RANGE

{takasu, Conditional Random Field

Μικροηλεκτρονική - VLSI

MICROMASTER Vector MIDIMASTER Vector

ΔΙΑΧΥΤΑ ΚΑΙ ΕΝΣΩΜΑΤΩΜΕΝΑ ΣΥΣΤΗΜΑΤΑ

i M-1 1. ij f(i, j) N-1. (pixel) 2. M N (x, y) (x, y ) = 256. R(x, y), G(x, y), B(x, y)

Μηχανουργική Τεχνολογία ΙΙ

❷ s é 2s é í t é Pr 3

Vol. 31,No JOURNAL OF CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY Feb

Kenta OKU and Fumio HATTORI

ΚΑΣΑΝΑΛΧΣΗΚΔ ΑΞΗΔ KAI Ζ ΖΜΑΗΑ ΣΧΝ ΥΑΡΑΚΣΖΡΗΣΗΚΧΝ ΣΧΝ ΚΑΣΑΣΖΜΑΣΧΝ

Ερευνητική+Ομάδα+Τεχνολογιών+ Διαδικτύου+

Προγραμματισμός ΙΙ. Ενότητα 2: Διαχείριση μνήμης. Δρ. Γεώργιος Σίσιας Τμήμα Μηχανικών Πληροφορικής ΤΕ

Indexing Methods for Encrypted Vector Databases

Japanese Fuzzy String Matching in Cooking Recipes

Supplementary Materials for Evolutionary Multiobjective Optimization Based Multimodal Optimization: Fitness Landscape Approximation and Peak Detection

38BXCS STANDARD RACK MODEL. DCS Input/Output Relay Card Series MODEL & SUFFIX CODE SELECTION 38BXCS INSTALLATION ORDERING INFORMATION RELATED PRODUCTS

An Advanced Manipulation for Space Redundant Macro-Micro Manipulator System

EM Baum-Welch. Step by Step the Baum-Welch Algorithm and its Application 2. HMM Baum-Welch. Baum-Welch. Baum-Welch Baum-Welch.

0CHIPSTAR MICROELECTRONICS 5.5W CS8571E CS8571E. Chipstar Micro-electronics. 470uF. 0.39uF 4 IN MODE: 0----AB CS8571 CS8571E FM AB D CS8571E

Chapter 6 BLM Answers

GF GF 3 1,2) KP PP KP Photo 1 GF PP GF PP 3) KP ULultra-light 2.KP 2.1KP KP Fig. 1 PET GF PP 4) 2.2KP KP GF 2 3 KP Olefin film Stampable sheet

Quartz Crystal Test Report

ΗΥ220 Εργαστήριο Ψηφιακών Κυκλωμάτων

Προγραμματισμός ΙΙ. Ενότητα 7: Βιβλιοθήκες - Μέρος 2. Δρ. Γεώργιος Σίσιας Τμήμα Μηχανικών Πληροφορικής ΤΕ

15W DIN Rail Type DC-DC Converter. DDR-15 s e r i e s. File Name:DDR-15-SPEC

FX10 SIMD SIMD. [3] Dekker [4] IEEE754. a.lo. (SpMV Sparse matrix and vector product) IEEE754 IEEE754 [5] Double-Double Knuth FMA FMA FX10 FMA SIMD

Quick algorithm f or computing core attribute

Motion analysis and simulation of a stratospheric airship

High Performance Voltage Controlled Amplifiers Typical and Guaranteed Specifications 50 Ω System

Προγραμματισμός ΙΙ. Ενότητα 8: Πρότυπες συναρτήσεις και πρότυπες κλάσεις - Μέρος 1 Δρ. Γεώργιος Σίσιας Τμήμα Μηχανικών Πληροφορικής ΤΕ

ΚΑΤΑΛΟΓΟΣ ΠΡΟΪΟΝΤΩΝ. ΚΑΤΑΛΟΓΟΣ ΠΡΟΪΟΝΤΩΝ. βιοµηχανικός ηλεκτρολογικός εξοπλισµός

Daewoo Technopark A-403, Dodang-dong, Wonmi-gu, Bucheon-city, Gyeonggido, Korea LM-80 Test Report

Λογισµικά Πακέτα Βελτιστοποίησης

Λογισμικά Πακέτα Βελτιστοποίησης

Support and Life Reconstruction for Living with HIV-infected Hemophilia in Japan

COMPONENTS LIST BASE COMPONENTS

2R2. 2 (L W H) [mm] Wire Wound SMD Power Inductor. Nominal Inductance Packing Tape & Reel. Design Code M ±20%

ΔΙΕΘΕΡΜΙΕΣ ΙΑΤΡΙΚΟΣ ΕΞΟΠΛΙΣΜΟΣ ΑΝΑΛΩΣΙΜΑ

Παρουσίαση Δραστηριοτήτων

Στοιχεία εισηγητή Ημερομηνία: 10/10/2017

Ηλεκτρονική κλειδαριά ασφαλείας (με αποσπώμενο πληκτρολόγιο) για συστήματα ελέγχου πρόσβασης και έλεγχο ηλεκτρικών κλειδαριών.

5V/9V/12V Output QC2.0+USB Auto Detect+USB-PD Type-C Application Report ACT4529

Κεφάλαιο 14 ο. Γ. Τσιατούχας. VLSI Systems and Computer Architecture Lab. Σχεδιαστικές Μεθοδολογίες 2

Fourier transform, STFT 5. Continuous wavelet transform, CWT STFT STFT STFT STFT [1] CWT CWT CWT STFT [2 5] CWT STFT STFT CWT CWT. Griffin [8] CWT CWT

ULX Wireless System USER GUIDE SUPPLEMENT RENSEIGNEMENT SUPPLÉMENTAIRES INFORMACION ADICIONAL. M1 ( MHz)

ΛΥΣΕΙΣ ΘΕΜΑΤΩΝ ΤΕΛΙΚΗΣ ΦΑΣΗΣ Οι παρακάτω λύσεις είναι απολύτως ενδεικτικές

GPGPU. Grover. On Large Scale Simulation of Grover s Algorithm by Using GPGPU

Προγραμματισμός ΙΙ Ενότητα 4:

Low voltage AC drives. ABB micro drives Οδηγός Διαστασιολόγησης Μετατροπέων Συχνότητας

Scrub Nurse Robot: SNR. C++ SNR Uppaal TA SNR SNR. Vain SNR. Uppaal TA. TA state Uppaal TA location. Uppaal

65W PWM Output LED Driver. IDLV-65 series. File Name:IDLV-65-SPEC

Yoshifumi Moriyama 1,a) Ichiro Iimura 2,b) Tomotsugu Ohno 1,c) Shigeru Nakayama 3,d)

Development of a Seismic Data Analysis System for a Short-term Training for Researchers from Developing Countries

Transcript:

,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