Manuel d`Utilisation - Espace d`authentification univ
Contents
1. P SKILL Development 2 L outil de l valuation de test OPTEVAL sera ouvert Figure 25 RMSCAT 18 Reliable Mixed Signal Computer Aided Test Platform Test Evaluation I sur cime2501 Test Evaluation 39 Configuration Tools About Help Design Monte Caro Simulation Library Iteration Number aq Cellview Nominal Value 1 01469 View Specifications Boundaries TEST PATTERN GENERATION Frequencies Detection Threshold From i Min Detection Frequencies 100000 Min Diagnostic Frequencies Figure 3 16 3 Cliquez sur menu Configuration gt Set Design puis choisissez le circuit inverter test qui se trouve dans la librairie example Figure 26 Ce circuit repr sente le circuit sous test Open File sur cime2501 Cancel Defaults example p Cell Hames inverter inverter test inverter test schematic Browse edit read bounceur hprojet hcmos9gp 821 cds lik Figure 3 17 La fen tre analog environment sera automatiquement ouverte Il faut la configurer en entrant toutes les informations n cessaire pour la simulation Pour notre exemple nous avons choisi une simulation transitoire 100m Cadence Analog Design Environment 3 sur cime2501 Status Ready T 27 C Simulator spectre Session Setup Analyses Variables Outputs Simulation Results Tools Design Analyses A E Library example a pgs Cell inverter test 100m View schematic Outputs Design Variables Plot Save March2. waves waved waves vaveb wave waves waved savel m T T T TT TS T blah blahl blah blah2 blah blash3 blah blahd blah blah5 blah blah6 blah blah blah blah8 blah blah8 blah blah10 multitone multitone multitone multitone multitone multitone multitone multitone multitone multitone m m TT T TT TS T T BI PO PO DO DD DO DI PO DD ro C anpl amp1 anpl L anpl ampl ampl ampl ampl ampl ampl 00E 05 00E 05 DOE 05 00E 05 00E 05 00E 05 00E 05 00E 05 DUE 05 O0E 05 C ampl amp1 amp1 amp1 C anpl amp1 amp1 ampl amp1 amp1 freq freq freq freq freq freq freg freq freq freg 00E 03 00E 06 00E 06 OOE 06 00E 06 00E 06 00E 06 00E 06 00E 06 00E 06 Figure 6 8 Test File 1 Clock SDI TM TIC SCO SDO Load Control Register P BIT Sl d BIT 516 514 KA G KA G KA G KA G KA HM GA MGK G KA G KA G KA G KA G KA G KA HMG KA G KA G KA S Filter Input 0 0 e DcooODlcocococc G Gd GGG KA KA GGG KA KA KA KA dG GGG G 1 1 KA KA KA KA KA KA KA KA KA KA KA KA P KA KA KA KA 1 1 Filter Order EXE ee D ne ea T KA KA KA KA KA KA KA KA Ka POR Bd M P4 B BA Bd PA Bd PA Bd PA KO dd pipi ull Shift Register
3. T X 1 Frequency Divider 1 1 a 1 1 1 1 1 1 B4 B pd B BERG EG dd 94 B Bd Bd Bd B P B Pd Pi DA DA Pd D Pd BA Pd BA B B Bd PA B D PEN B B D PA ed dd od File Hame sixtones vec RMSCAT Figure 6 9 36 Platform Reliable Mixed Signal Computer Aided Test Calcul des noyaux de Volterra Volterra Kemels Alpha 1 Sample i RIF Time 12 06 Files Name To generate Apply Test Pattern Std ls Volterra testPattern test pattern 6 2 tpri Test Pattern Sim 45 Tools Volterra testPattern tp cadence tpi Matrix A 33 bounceur RMS Tools Volterra matrixA matrixa 6 2 mxa Matrix P 33 bounceur RMS Tools Volterra matrixP matrixp 6 2 mxp Matrix S 33 bounceur RMS Tools Volterra matrixS matrixs 6 2 mxs Kemel 1 tima3 bounceur RMS Tools Volterra kernels kernell txt Kemel2 tima3 bounceur RMS Tools Volterra kernels kernel2 txti Required Files Open Test Pattem File Gamma Beta ftima3 bounceur RMS Tools Volterra gammabet gbf Generate Output File Name tima3 bounceur RMS Tools Volterra outputFile output awe From 15 Point Numb 4063 Sample Circuit Output VI out Generate Output File Operations Generate Test Pattem Calculate Volterra Kemels Plot Test Pattem Plot Kernel 1 Plot Kemel 2 Diag 3D Compensate Generate Compensation File Epsilon 9 001 Error Elimination Undo Figure 6 10 Gnuplot KERNEL2 d m v TIT Qi 1 M eun Y
4. Test Platform Prise en main 1 Introduction Ce manuel repr sente le guide de l utilisateur de la plateforme RMSCATPlatform d velopp e au sein du Laboratoire TIMA groupe RMS Cette plateforme est destin e pour l valuation d un test analogique mixte Radio Fr quence et des MEMS Micro Electro Mecanical Systems La plateforme RMSCATPlatform repr sente un ensemble d outils de CAT Computer Aided Test incluant l outil de simulation de faute Fidesim l outil de g n ration de vecteurs de test analogiques Optegen et l outil d valuation de test Opteval L architecture g n rale repr sentant les diff rentes liaisons entre ces outils est donn e par la Figure 1 Cadence Database Fault simulation tool FIDESIM 2 Results Database Fault simulation Results Test vectors Jmm 0 Optimization algorithms C C Java Coding and optimization Test metrics estimation Figure 1 1 2 Circuit exemple Pour illustrer dans ce manuel l utilisation de la plateforme de test un circuit utilisant un inverseur Figure 1 sera utilis comme exemple Ce circuit sera appel inverter test D abord nous allons cr er l inverseur lui m me qu on appellera inverter Les tapes suivantes montrent comment cr er un inverseur sous Cadence 2 1 Cr ation de l inverseur 1 Dans le menu Cadence cliquez sur File puis sur new puis sur Library Une fen tre New Library s ouvre Mettez dans l
5. Tools Design Window Edit Add Check Sheet Options Design Kit Faulty mouse 9 schematic sur cime2501 PIatform BE 2 A amp Iq NRS a mouse Fault Model ib inverter faulty schematic sur cime2501 5 OX Tools Design Window Edit Add Check Sheet Options Design Kit 2 A amp Iq DIANE AE 2p mouse Virtuoso Schematic Editing Fault Model lib inverter faulty schematic sur cime2501 EF C d 29 amp Iq xb DAY Virtuoso Schematic Editing Fault Faulty Modelllib inverter faulty schematic sur cime2501 0 X LI Virtuoso Schematic Editing Fault Tools Design Window Edit Add Check Sheet Options Design Kit SK D on Fa D wN 3 k wk d d g Wy 2 e Model Lib inverter faulty schematic sur cime2501 0 X f 2 amp Q STR gg ME Virtupsop Schematic Editing Fault Model Tib inverter fault Fa schematic sur cime2501 DX Virtuosom Schematic Editing Fault RAR amp Iq IR X Model lib inverter faulty schematic sur cime2501 DX h Figure 3 28 RMSCAT 24 Reliable Mixed Signal Computer Aided Test Platform diting example inverter test schematic su 6250 Inmix
6. ools Design Window Edit Add Check Sheet Options Design Kit D PER MOUSE Figure 3 29 3 6 Traitement des r sultats Les r sultats peuvent tre trait s soit en observant les sorties ou bien des valeurs de ces sortie obtenues pour chaque fautes inject e Il est aussi possible de calculer la couverture de fautes et d valuer une technique de test en calculant les diff rentes m triques de test analogiques OK Cancel Test Measures Input stimuli type 4 Voltage Current Outputs net 10 Enter Select TEST THRESHOLD tml 0 5 OUTPUTS tol VT net2 OK Cancel Test Measures Input stimuli type 4 Voltage Current Outputs net 10 Enter Select TEST THRESHOLD tml 0 5 OUTPUTS tol VI net2 TEST MEASURES 3 bounceud RMS WORK tef tef b Figure 3 30 RMSCAT 25 Reliable Mixed Signal Computer Aided Test Platform La Figure 38 a montre le programme permettant de calculer et de tracer une couverture de fautes Figure 39 La Figure 38 b montre comment modifier ce programme pour observer les diff rentes sorties dans ce cas une seule sortie est consid r e correspondantes chacune des fautes inject es Figure 40 OK Cancel Post Processing Test Variable Fault Free Circuit 0 9999932 Faulty Circuits 1 858795 0 4289958 1 0 0 9999996 0 4289958 6 821259e 05 0 9999932 D 9999933 D 9999932 Test Variable Deviations 0 8588015 0 5709974 6 76903
7. 1 RMSCAT 8 Reliable Mixed Signal Computer Aided Test Platform FAmRLID ni BH Ei B LT no no n o rn 0 90 2 m Figure 2 10 3 Simulation de fautes 3 1 Cr ation des modeles de fautes catastrophiques Les modeles de fautes sont cr s comme tout circuit Cadence Quelques modeles les plus classiques tels que le circuit ouvert open et le court circuit short sont d j fournit avec la plateforme Ceux ci ce trouvent dans la librairie Fault Model Lib sous les noms de cellules simpleOpen Figure 12 a la forme sch matique Figure 12 b le symbole et simpleShort Figure 13 a la forme sch matique Figure 13 b le symbole repectivement 2 Yew 4 759 X f KW EQ 2e Qe E ines har usn min bb l d gt fi 6 5 Figure 3 1 RMSCAT 9 Reliable Mixed Signal Computer Aided Test Platform DXX 5 9 Rie DN ER AER 8 ED DE DM Ra a DE j 2 ji a Figure 3 2 3 2 Cr ation des mod les de fautes param triques Les fautes param triques sont de deux types explicites et implicites Les fautes parametriques explicites s injectent comme les fautes catastrophiques C est dire que les d viations sur les parametres sont choisies priori En revanche les fautes parametriques implicites ne sont pas connue a
8. 2501 OK Cancel Apply Defaults Previous Next OK Cancel Apply Defaults Previous Next Apply To only current instance Apply To only current instance Show system W user W CDF Show system W user M CDF Browse Reset Instance Labels Display Browse Reset Instance Labels Display Property Value Display Property Value Display Library Name EG Library Name of Reise Ta zu Cell Name vein off View Name symbol off a syaboll Instance Name Vein n Instance Name Vsini off Add Delete Modify Add Delete Modify User Property Master Value Local Value Display User Property Master Value Local Value Display Ivsignore TRUE H off Ivsignore TRUE H off CDF Parameter Display CDF Parameter Display AC magnitude off AC magnitude L off AC phase i off AC phase i off DC voltage off DC voltage H off Offset voltage off Offset voltage H off Amplitude 1 off Amplitude 1 4 off Frequency 100K Hz off Frequency 100K HZ off Delay time H off Delay time H off Damping factor H off Damping factor i off First frequency name off First frequency name i off Second frequency name L off Second frequency name L off Noise file name H off Noise file name H off Number of noise freq pairs off Number of noise freq pairs off XF magnitude i off XF magnitude i off PAC magnitude H off PAC magnitude i off PAC phase off PAC phase H off Initial phase for Sinusoid L off Initial phase for Sinusoid H off Amplitude 2 i off Amplitude 2 off Initial phase for Sin
9. 8e 06 6 392429e 06 0 5709974 D 399925 5 719971e 09 3 817347e 08 1 010279e 10 Fault Detected Number 4 Fault Coverage Value Test Threshold 670 9m Fault Coverage 76 96 tmi Active 76 Window Zoom Axes Curves Markers Annotation Edit Tools Help EES a P PT m 4 1 pp ca ca ca ca doa a a a a a a ca ca d a a aa du SS Se pp ETE E 46 n 86 86 d Test Threshold mouse L awvMouseSingleSelectPtCB R awvFitMenuCB b Figure 3 31 mouse L awvMouseSingleSelectPtCB Fi 3 32 igure 3 RMSCAT 26 Reliable Mixed Signal Computer Aided Test Platform 3 7 La simulation de fautes param triques La Figure 3 33 montre un exemple d une injection de faute param trique explicite Les r sultats d une simulation de fautes param triques explicites se traitent comme dans le cas de la simulation de fautes catastrophiques Pour ce qui est du cas des simulations de fautes param triques implicites ceci sera trait en d tail dans les prochaines sections R 3 q exa DIG 5 Cmd Sel 0 Status Ready T 27 C Simulator spectre 40 Tools Design Window Edit Add Check Sheet Options Design Kit Calibre Help FEE gt y OD mouse L schSingleSelectPt M schHiMousePopUp schZoomFit 1 0 0 9 Figure 3 33 RMSCAT 27 Reliable Mixed Signal Computer Aided Test Platform Generation des vecteurs de test 4 Le circuit filtre biquadratique diff rentiel Dans ce
10. Circuit ouvert pour la r sistance R2 Circuit ouvert pour la r sistance R9 Circuit ouvert pour la capacit C2 Court circuit pour la r sistance R5 Court circuit pour la capacit C 11 12 13 14 15 16 Circuit ouvert pour la r sistance R5 Circuit ouvert pour la capacit C Court circuit pour la r sistance R11 Court circuit pour la r sistance R13 Circuit ouvert pour la r sistance R11 Circuit ouvert pour la r sistance R13 ia Untitled modified sur cime2501 File Edit Search Preferences Shell Macro Windows Aided Test Platform TM TOLERANCES tmi 100m 100m tmZ 100m 100m tm3 100m 100m tm4 100m 100m tm5 100m 100m tm6 100m 100m TC TOLERANCES tci 100m 100m tc2 100m 100m OUTPUTS img e BRU AMT toll VIAK PEL Y telle es Vip Uden ele Vp Lo ones MB Prnt TEST_MEASURES tmi mag to3 to4 mag tol mag toZ tm2 mag toS to6 mag tol mag to2 tm3 mag to to8 mag tol mag to2 tm4 mag to9 to10 mag tol mag to2 tm5 mag to11 4 to12 mag to1 mag to2 tm6 mag to13 to14 mag tol mag to2 TEST CRITERIA tci 0 ters Test Conhguration Program sur cime2501 OK Cancel Test Measures Input stimuli type 4 Voltage Current Tran AC DC toll to12 Ent told TEST MEASURES tml mag to3 tod mag tol mag toz tm2 mag toS to6 mag tol mag to2 tm3 mag to7 tod mag tol mag to2 17 tm4 mag to9 tol0 mag tol mag t
11. Faulty Bloc Name I Parameter Deviation Instance Parameter li Deviation Load Instances Nets Segment Number 0 Het Hame Add Remove Figure 3 9 9 Pour cr er un fichier FID permettant d injecter un court circuit entre les deux pins de la r sistance RO il faut choisir la libraire example et la cellule inverter test puis cliquez sur To Injection car cette fois ci la faute ne sera pas inject e dans un bloc mais directement dans la r sistance du circuit sous test inverter test Les trois champs du Faulty Block Library Cell Name doivent tre vides Il est noter que les champs RMSCAT 14 Reliable Mixed Signal Computer Aided Test Platform Injection Library et Injection Cell peuvent tre vide si le circuit repr sente le circuit sous test inverter test dans notre cas 10 Cliquez sur le bouton Load Instances Nets et choisissez la r sistance RO Cliquez ensuite sur la bouton Add Mettez 1 dans le champ Pin 1 et 2 dans le champ Pin 2 Sauvegardez le fichier sous le nom short RO fid Figure 22 ault Injection Descriptor sur cime250 elel F OK Cancel All Libraries and CellViews Fault Model and Injection Destination example Fault Model Library Fault Model Lik Fault Model Cell simpleShort To Fault Model Injection Library example To Injection Injection Cell inverter test To Faulty Bloc Faulty Bloc Library Faulty Bloc Cell Reset Schematic Faulty Bloc Name Injection Information Injection Condition
12. Name Signal Expr Value Name Value yes ally no neti yes ally no net2 Figure 3 18 4 Dans le menu Configuration cliquez sur Test Configuration Program Puis entrer le programme de configuration de test de la Figure 28 Puis cliquez sur le bouton OK RMSCAT 19 Reliable Mixed Signal Computer Aided Test Platform Dans les prochaines sections ce programme sera d crit en d tail C est le programme ou seront d crites les diff rentes performances et leurs sp cifications ainsi que les diff rents criteres de test et leurs limites de test Test Configuration Program sur cime2501 OK Cancel Test Measures Input stimuli type 4 voltage Current Analyse Tran AC DC Outputs net 10 Select TM TOLERANCES tal 0 1 TC_TOLERANCES EST I E OUTPUTS tol VT net2 TEST MEASURES tml value tol 15m TEST CRITERIA tcl value tol 15m eur RMS WORK pef rmscatl peff Figure 3 19 5 Dans le menu Tools cliquez sur Single Fault Simulation L outil de simulation de fautes FIDESIM sera ouvert Figure 29 Il est noter que la partie Faults est vide et elle sera disponible une fois les fautes sont inject es Fault Simulation 1 sur cime2501 Simulation 8 Configuration Tools About Help Design Fault Injection Description Faults Ar l short GS M1 1 short GS M1 1 Library example 2 short GD M1 2 short GD M1 Cellview inverter_test 3 short_SD M1 3 short SD M 4 short 6S M2 4 short GS M 5 sho
13. Parameter Deviation ID n Instance Parameter Instance Parameter Inject In inst Condition d Deviation Instances or Nets List Name Instances Instance Type res Load Instances Nets Hets Segment Number Segment Number RO Inst Het Name Net Name Add Add Remove Remove Figure 3 10 11 Cr ez le reste des fichiers FID Et donnez leurs les noms comme suit Circuit ouvert entre la grille et la source du transistor M1 1 short GS MI fid Circuit ouvert entre la grille et le drain du transistor M1 2 short GD MI fid Circuit ouvert entre la source est le drain du transistor M1 3 short SD MI fid Circuit ouvert entre la grille et la source du transistor M2 4 short GS M2 fid Circuit ouvert entre la grille et le drain du transistor M2 5 short GD M2 fid Circuit ouvert entre la source est le drain du transistor M2 6 short SD M2 fid Court circuit au niveau de la grille du transistor MI 7 open G MI fid Court circuit au niveau de la grille du transistor M2 8 short G M2 fid Circuit ouvert entre les pins de la r sistance RO 9 short_RO fid 4 3 3 D crire des injections de fautes param triques Les fautes param triques explicites sont cr es en utilisant le descripteur FlDesc Les fautes parametriques implicites sont d crites en cr ant manuellement un fichier FID sp cifique La Figure 23 montre un exemple d un fichier FID permettant d injecter une d viation de 50 sur le parametre r r sistan
14. SCAT 12 Reliable Mixed Signal Computer Aided Test Platform Utiliser le descripteur des injections de fautes Fault Injection Descriptor appel FIDesc montr par la Figure 19 njection Descriptor sur cime250 wx 1 X OK Cancel All Libraries and CellViews Fault Model and Injection Destination Library Fault Model Lib Fault Model Library I Cell mier an Fault Model Cell clnocap_ cinores flt jecti i Det To Fault Model Injection Library setas To Injection Injection Cell DS pen DS Open sch To Faulty Bloc open ideal open ideal sch Faulty Bloc Cell short ideal open gate p Reset Schematic Faulty Bloc Name Faulty Bloc Library Injection Information Injection Condition Parameter Deviation ID 1 Instance Parameter i Instance Parameter Inject In inst Condition d Deviation Instances or Nets List Name Instances Instance Type Load Instances Nets Hets ALL Segment Number Segment Number Inst Het Name Het Hame Add Add Remove Remove ftima3 bounceur RMS WORK Flt Inj Desc fid Figure 3 8 4 3 2 D crire des injections de fautes catastrophiques Comme exemple pour le cas du circuit inverter test nous allons consid rer l injection des courts circuits entre les diff rents ports de chacun des deux transistors M1 et M2 de l inverseur et entre les deux ports de la r sistance RO On ajoutera ceci deux circuits ouverts au niveau de la grille de chacun des deux transistors Ce qui r sulte e
15. TIMA Techniques de l Informatique et de la Micro lectroniques pour l Architecture des syst mes int gr s Lab STICC Laboratoire des Sciences et Techniques de l Information de la Communication et de la Connaissance RMSCAT Reliable Mixed Siqne Camputer Aided Test Platform Manuel d Utilisation Version 1 0 2013 Ahcene Bounceur RMSCAT le Mixed Sign el Cemovter Alc RMSCAT RMS CAT Platform User Guide Product Version 1 0 April 2013 2003 2013 RMSCATPlatform Inc All rights reserved Printed in France RMSCATPlatform Inc 46 Avenue F lix Viallet 38031 Grenoble France Trademarks Trademarks and service marks of RMSCATPlatform Inc RMSCATPlatform contained in this document are attributed to RMSCATPlatform with the appropriate symbol For queries regarding RMSCATPlatform s trademarks contact the corporate legal department at the address shown above or call 332 98 01 62 17 All other trademarks are the property of their respective holders Restricted Print Permission This publication is protected by copyright and any unauthorized use of this publication may violate copyright trademark and other laws Except as specified in this permission statement this publication may not be copied reproduced modified published uploaded posted transmitted or distributed in any way without prior written permission from RMSCATPlatform This statement grants you permission to print one 1 hard copy
16. Y SER Figure 6 11 RMSCAT 37
17. ce de la r sistance RO Pour cela il suffit de mettre le nom du circuit contenant la r sistance RO pour le cas du circuit inverter test il faut mettre example dans Injection Librairie et inverter test dans Injection Cell Mettez ensuite r dans Instance Parameter et 50 dans Deviation Donnez ensuite le nom dev r 50 fid au fichier FID cr er Cet exemple montre comment d crire l injection d une faute param trique explicite RMSCAT 15 Reliable Mixed Signal Computer Aided Test Platform OK Cancel All Libraries and CellViews Library example inverter To Fault Model To Injection To Faulty Bloc Reset Schematic Injection Information Injection Condition ID 1 Instance Parameter Inject In inst Condition Instances or Nets List Name Instances Instance Type res Segment Number Inst Het Name RO Add Remove Fault Injection Descriptor sur cime2501 lel Fault Model and Injection Destination Fault Model Library Fault Model Cell Injection Library example Injection Cell inverter test Faulty Bloc Library Faulty Bloc Cell Faulty Bloc Name Parameter Deviation Instance Parameter Deviation 5 Load Instances Nets Segment Number Het Name Add Remove tima3 bounceur RMS WORK Flt Inj Desc dev r 50 fid Figure 3 11 L injection de cette faute est montr e pas la Figure 24 C at HE C pie Ond Sel 0 Status Ready Tools Design Window Edit Add Check Sheet Option
18. e 3 25 RMSCAT 22 Reliable Mixed Signal Computer Aided Test Platform 10 Dans le menu Configuration choisissez Test Configuration puis cliquez sur le bouton OK Figure 35 M me si le programme n est pas modifi il est n cessaire d ouvrir cette fen tre et de cliquer surle bouton OK OK Cancel Test Measures Input stimuli type 4 voltage Current Outputs net 10 Enter Select TEST THRESHOLD tml 0 5 OUTPUTS tol VT net2 TEST MEASURES tml value tol 15n 3 bounceur RMS_WORK tcf tcf Figure 3 26 11 Dans le menu tools cliquez sur Fault Free Simulation Attendez jusqu ce que la simulation soit finie Si aucune erreur ne s est produite dans le programme de configuration les graphes des diff rentes sorties outputs du programme de configuration seront affich s comme le montre la Figure 36 pour le cas du circuit inverter test Active 47 Help l cm L 1 m Pee 9 00 188r 248m 388m time s mouse L gt Figure 3 27 12 Ensuite choisissez dans le menu tools Fault simulation inject and simulate La compagne de l injection de fautes sera lanc e Les figures 37 a i montrent les 9 fautes inject es RMSCAT 29 R eliable Mixed mouse Virtuoso Schematic Editing Fault Model Lib inverter faulty schematic sur cime2501 Signal Computer Aided Test La Virtuoso Schematic Editing Fault Model Lib inverter faulty DX
19. e T nmos l mlO MN1 5 short GD M2 Component Type pllmos4 rmos l m50 6 short SD M2 Component Name M1 nmos l m50 1 T open D M innti iti x et Regne 0 M Injection Conditions rmos l p50 9 short R Parameter S nmos w mi0 Deviation nmos w mlO 1 nmos w m50 nmos w p10 nmos w p50 nourdinel nourdine short Change Value open D mni TS I0 Il save Modification Fault Model Type catastrophic Schematic View File Modify File Figure 3 22 Cette fen tre permet d ouvrir un fichier FID s lectionn pour le voir bouton View File et pour le modifier bouton Modify File 8 Dans le menu Configuration choisissez maintenant Analysis et Variables Puis cliquez directement sur le bouton OK Ceci parce que l outil r cup re automatiquement la configuration faite dans analog environment La version actuelle de l outil permet de faire ca uniquement avec les simulations de type transitoire fr quentiel Sinon avant de cliquer sur le bouton OK de la fen tre Analysis and Variables il taut cliquer sur Script Simulation Figure 32 et ajoutez le script de simulation Ce script peut tre r cup r directement partir de analog environment ll est noter que si vous utilisez une certaine technologie vous aurez besoin d utiliser des fichiers mod les Ces fichiers sont g n ralement contenus dans le fichier corners scs qui se trouve dans le r pertoire netlist du r pertoire simulation Souvent il est sous la forme suivante ho
20. e champ Name example puis cliquez sur le bouton OK Dans la fen tre qui s ouvre Load Technology File cliquez sur le bouton Cancel si vous ne connaissez pas le chemin du fichier de technologie utilis e RMSCAT 5 Reliable Mixed Signal Computer Aided Test Platform 4 x i icfb Log tima3 bounceur CDS log File Tools Options Help 1 T New Library ee x age K Open Cellview tima3 bounceur projet hcmos8d example Defragment Data Exit Figure 2 1 X S New Library OK Cancel Defaults Apply Help Library Technology File Name If you will be creating mask layout or z other physical data in this library you Directory non library directories 3 will need a technology file If you plan cdssetup to use only schematic or HDL data a menus technology file is not required vkernel Compile a new techfile DE oe eese dcs bi Attach to an existing techfile 3 bounceur hprojet hcmos9gp 821 Don t need a techfile ASCII Technology File 1 XX Load Technology File Design Manager No DM New Technology Library example2 a b Figure 2 2 2 Pour cr er maintenant un inverseur qui fera partie de la libraire example il faut cr er une nouvelle cellule forme sch matique Pour ce faire dans le menu Cadence cliquez sur File puis sur New puis sur Cellview La fen ter Create New File s ouvrira Mettez dans le champ Cell Name le mot inverter dans View Name le mot shcemat
21. erter faulty dans le champ Cell Une autre fen tre sera ouverte Figure 16 Cliquez directement sur le bouton OK Une copie exacte du bloc inverter est cr e et se trouve dans la libraire Fault Model Lib Copy Gell sur cime2501 From Library example Cell iinverter To Library Fault Model Lib Cell inverter faulty Options Copy Hierarchical Skip Libraries JCOREQGPLL COREQULL CORXOGPLL CORX9ULL DK process 13u Copy All Views Views Ye Copy symbol schematic Update Instances Of Entire Library Add To Category Figure 3 4 Copy Problems sur cime2501 Destination Library Fault Model Lib One or more of the following problems have occurred 1 The source file doesn t exist 2 destination file will be overwritten 3 A destination file is checked out 4 A destination file is opened for edit 5 A destination file conflicts with another From Lib From Cell From View To Cell Error Action example 2 prop xx Would Overwrite Don t Copy Overwrite All Figure 3 5 RMSCAT 11 Reliable Mixed Signal Computer Aided Test Platform 3 Maintenant pour diff rentier le symbole d un inverseur sans fautes inverter de l inverseur avec fautes inverter faulty il faut juste changer la forme de son symbole Pour se faire il faut ouvrir partir de Library Manager le symbole de inverter faulty Donc cliquez sur la librairie Fault Model Lib puis dans la cellule inverter faulty puis cliquez deux foi
22. ic et dans Tool choisissez Composer Schematic F i N i Create New File OK Cancel Defaults Help ur CDS log Library Name scien ud Help 1 5 t get write path for ddViewType inverter schematic in lib GORELIBSDHS Cell Name t get write path for ddCellType inverter in lib CORELIBSDHS path st t get write path for ddViewType inverter schematic in lib CORELIBSDHS View Name IP iee Tool Composer Schematic Library path file ma3 bounceur projet_hcemos8d cds lik Gate Figure 2 3 3 Creer un inverseur comme le montre la figure ci dessous Nommer le premier transistor en haut M1 le deuxi me en bas M2 l entr e Vin et la sortie Vout DER SR On E a PSE X AMSCATPIatform Figure 2 4 RMSCAT 6 Reliable Mixed Signal Computer Aided Test Platform Maintenant l inverseur est cr Il reste que de lui cr er un symbole ce qui est le but de la section suivante 2 2 Cr ation d un symbole inverseur 1 Ouvrez la forme sch matique de l inverseur cr Dans le menu Design choisissez Create Cellview puis From Cellview r 2X VirtuosoG Schematic Editing example inverter schematic Cmd Sel 0 Tools Design Window Edit Add Check Sheet Options Design Kit AMSCATPlatfarm mouse L schSingleSelectPt M schHiMousePopUp Figure 2 5 2 La fin tre Cellview From Cellview s ouvre Dans le champ Library Name mettez example dans Cell Name mettez in
23. ilter Di schematic sur cime2501 cols Design Window Edit Add Check Sheet Options Design Kit cols Design Window Edit Add Check Sheet Options Design Kit ASKE ASR WE Y a b Figure 5 3 6 La g n ration de vecteurs de test Une fois la simulation de fautes est termin e il est donc possible d ex cuter l algorithme de g n ration de vecteurs de test Avant l ex cution de l algorithme de g n ration de vecteurs de test il faut d abord choisir le type d algorithme d optimisation utiliser Cet algorithme permet de r soudre les probl mes de recouvrement n cessaires pour r soudre certains probl mes d optimisation Les algorithmes impl ment s sont les algorithmes g n tiques et l algorithme de Balas Ce dernier permet de r soudre le probl me de recouvrement d une mani re exacte Par contre il peut tre utilis que pour les RMSCAT 3 Reliable Mixed Signal Computer Aided Test Platform probl mes de petite complexit Pour les gros probl mes il est recommand d utiliser les algorithmes g n tiques Pour choisir ces algorithmes il faut utiliser le menu configuration de l outil OPTEVAL puis Optimization Algorithm Figure 6 1 m Optimization Algorithm Co OK Cancel Optimization Algorithm GA Iteration Number MC Iteration Number Mutation Proba Figure 6 1 Maintenant il reste que de cliquer sur le bouton Min Detection Frequencies de l outil OPTEVAL Figure 6 2 en choisi
24. it ouvert au niveau de la grile du transistor M2 Donnez le nom open G M2 fid Figure 20 b Il est noter que le num ro du port d un transistor repr sentant la grille n est pas le m me pour les nmos et les pmos OK Cancel e OK Cancel Injection Information ID Injctin inst Instances or Nets List Name Instances Nets All Libraries and CellViews To Fault Model To Injection To Faulty Bloc Reset Schematic Injection Condition Instance Parameter li Condition Instance Type pllmos4 Segment Number 0 Inst Net Name 1 Fault Model and Injection Destination Fault Model Library Fault Model Lib Fault Model Cell simple peri Injection Library Fault Model Lib Injection Cell inverter faulty Faulty Bloc Library exemple Faulty Bloc Cell inverter test Faulty Bloc Name 12 Parameter Deviation Instance Parameter L Deviation Load Instances Nets Segment Number All Libraries and CellViews Library example To Fault Model To Injection To Faulty Bloc Reset Schematic Injection Information Injection Condition ID Instance Parameter H Inject In inst Condition Instances or Nets List Name Instances Nets Segment Number Instance Type n1 105 Fault Model and Injection Destination Fault Model Library Fault Model Lib Fault Model Cell simple peri Injection Library Fault Model Lib Injection Cell inverter faulty Faulty Bloc Library example Faulty Bloc Cell inverter test
25. l est noter que le nom donn l inverseur est I2 le nom donn au net sortant de vpulse V1 est netl et le nom donn au net sortant de l inverseur I2 est net2 Les diff rentes configurations du vdc et du vpulse sont donn es par les Figures 10 b et 10 c OK Cancel Apply Defaults Previous Next Apply To only current instance Show system W user W CDF Browse Reset Instance Labels Display Property Value Display Library Name analogLiH off Cell Name vpulsd View Name symbol Instance Name VE Add Delete Modify User Property Master Value Local Value Display Ivsignore TRUE H off CDF Parameter Display AC magnitude d off AC phase H off Reset Instance Labels Display Value DC voltage 0v off pr o voltage 1 1 off c Voltage 2 1 off e VE 2 Delay time d off Rise time lu 2 off Add Master Value Fall time lu off Pulse width 10m 2 off Period 20m s off Frequency name for 1 period u off Noise file name li off OMX AAS Number of noise freq pairs off XF magnitude H off PAC magnitude d off PAC phase d off Temperature coefficient 1 li off inverter test Temperature coefficient 1 L 18 55 22 7 Temperature coefficient 2 d off Temperature coefficient 2 Hominal temperature H off b c Figure 2 9 Nominal temperature D La simulation de ce circuit sous l analyse transitoire 300m devrait donner le r sultat de la Figure 1
26. l n3 n2 nl n2 n2 n n3 n aars SCS SoS oa 2 OS ene dP 46 AP 90 COD oe oe JO WE 9 N Tap N TONI AS RU A N TMS Ies Il KS oo gd eo de ge ge C9 G G G kA kA kA GC GC Boudaries Test Measures Boundaries tml min 9 9998e 01 max 1 0000e 00 Test Criterias Boundaries tcl min 9 9998e 01 max 1 0000e 00 ftima3 hounceur RMS WORK report test rep Open Faults Save Bi Monte Carlo i Performances W File Test Criteria M Run Test Evaluation Fault Coverages Figure 6 5 6 2 valuation d un test structurel Cette tape ressemble la premi re sauf qu au lieu de faire une simulation de type Monte Carlo il faut faire une simulation de fautes Ensuite dans la fen tre de l valuation de test Figure 6 5 il faut cocher la case Faults au lieu de Monte Carlo RMSCAT 34 Reliable Mixed Signal Computer Aided Test Platform Codification num rique d un vecteur analogique X A BeaST 1 BeaST Foundry 15 Session Help 1 ATPs selection 2 BIST strategy selection ATP WaveFile BIST Strategy 1b LF Sigma Delta Total Wave No Description BIST Configuration Total Group No 3 Optimization Algorithm Engine WARGA Encode just B ATP ID E Hame 4 Plot Binary Stream Ex 1 2 4 9 21 ATP List 3 Time domain Group iD Name Frequency Domain Load ATPs Edit ATPs View Description Generate File gt D2A BeaST fully operational Figure 6 6 X BIST Strategy Configurati
27. leur typique sinon il faut cr er deux lignes diff rente pour chaque parametre 100 une valeur en pourcentage qui d signe la d viation maximale sur le param tre w Une fois ce fichier est cr il reste de lancer les injections d crites dans celui ci Ceci se fait en choisissant Parametric Fault Simulation qui se trouve dans le menu Tools La fen tre de la Figure 25 sera ouverte Il suffit juste de choisir le nombre d it rations dans Iteration Number n cessaire pour trouver la valeur minimale de chaque parametre permettant de violer au moins une des sp cifications du circuit sous test Puis cliquez sur le bouton Search Parameter Limits gt Parametric Fault Simulation OK Cancel Fault Modelling Parameter Limits Results Process Params Design Params Nbr iteration bin search Max search limits SIG Computation of fault Iteration number 10 Search State Parameter Limits Figure 3 13 4 3 4 La fonction selectPin Pour connaitre le num ro d un port d une instance il faut utiliser la fonction selectPin qui permet de s lectionner l aide d un cercle le port de l instance donn en parametre Cette fonction possede trois parametres Le premier parametre repr sente le num ro de la fen tre du circuit sch matique ou se trouve l instance Le deuxi me parametre repr sente le nom de l instance Le troisieme parametre repr sente le num ro du port s lectionner de cette instance La Figure 23
28. me simulation nom cellule circuit spectre schematic netlist corners scs Donc il faut remplacer dans le script de simulation donn par Cadence le mot models par ce chemin RMSCAT 2 Reliable Mixed Signal Computer Aided Test Platform Choose Analysis sur cime2501 OK cancel Variables Script Simulation resultsDir tima3 bounceur simulation inverter te definitionFile models analysis tran stop 100m temp 27 run Q Monte Caio Number of Runs 10 Figure 3 23 9 La r cup ration du script de simulation se fait comme suit Dans le menu Session de analog environment choisissez save script Puis enregistrez le script sous le nom que vous voulez Figure 33 Save Ocean Script to File sur cime2501 Cancel Defaults Apply File Name oseanSoript ed 0 Figure 3 24 Un fichier script exemple est montr par la Figure 34 S lection la partie se trouvant entre resultsDir et run Collez cette partir dans la partie script simulation de la Figure 32 oceanscript ocn sur cime2501 File Edit Search Preferences Shell Macro Windows simulator spectre design L timas bounceur simulation inverter_test spectre schematic netlist ne resultsDir tima3 bounceur simulation inverter test spectre schematic definitionFile models analysis tran stop 100m tempi 27 selectResult tran plot getData net2 Figur
29. montre le circuit inverter ouvert dans une fen tre schematique ayant le num ro 7 Nous RMSCAT 17 Reliable Mixed Signal Computer Aided Test Platform avons utilis la commande selectPin pour s lectionner le port num ro 2 du transistor M1 Cette commande est utilis e dans la fen tre Cadence comme suit selectPin 7 M1 2 Un cercle orange Figure 23 permet de voir quel port du transistor M1 ayant le num ro 2 Virtuoso Schematic Editing example inverter schematic sur cime2501 Cmd Sel 0 Tools Design Window Edit Add Check Sheet Options Design Kit pi D NS L AMSCATPIatform DD 6 5 mouse L schSingleSelectPt M schHiMousePopUp R schHiDescendEdit Figure 3 14 3 5 La simulation de fautes catastrophiques 1 Pour effectuer une simulation de fautes il faut en premier lancer l outil OPETVAL en utilisant le menu Cadence gt Tools gt RMS Tools gt Test Evaluation Figure 24 MES File Tools Options Switch analoglib Design Kit Unicad Help 1 END RMS Tools END Conversion Tool Box Loadi Library Manager Library Path Editor I Verilog Integration MOUSE VHDL Tool Box Synopsys Integration Router Constraint Manager Mixed Signal Environment XX icfb Log tima3 bounceur CDS log Fault Simulation Test Evaluation Test Vector Generation Analog Environment Servi Technology File Manager Display Resource Manager CDF AMS Camera
30. n 9 injections de fautes Pour cr er le fichier FID permettant d injecter un circuit ouvert la grille du transistor M1 il faut suivre les tapes suivantes 1 Choisissez le mod le de faute repr sentant le circuit de la libraire Fault Model Lib dans la partie Library et de la cellule simpleOpen dans la partir Cell puis cliquez sur le bouton To Fault Model 2 Choisissez le circuit ou cette faute sera inject e Dans notre cas ce circuit repr sente le circuit inverter faulty car en r alit la faute ne sera pas inject e directement dans le bloc inverter I2 mais dans le bloc inverter faulty qui remplacera automatiquement le bloc inverter I2 tout en gardant le nom I2 Donc dans FlDesc choisissez la libraire Fault Model Lib puis la cellule inverter Faulty puis cliques sur le bouton To Injection 3 D signez le nom du bloc qui sera par le bloc fautif Dans notre cas il y a un seul bloc qui est le bloc 12 l inverseur Mettez donc dans le champ Faulty Block Name le nom 12 Dans les champs Faulty Block Library et Faulty Block Cell il faut mettre le nom de la libraire et le nom de la cellule du circuit contenant le bloc ou la faute sera RMSCAT 13 Reliable Mixed Signal Computer Aided Test Platform inject e respectivement Ce circuit peut tre le circuit sous test comme il peut repr senter un sous bloc d un des blocs du circuit sous test Dans notre cas ce bloc se trouve directement dans le circuit sous test le circuit i
31. nverter test Donc il faut mettre dans le champ Faulty Block Library le nom example et dans le champ Faulty Block Cell le nom inverter test 4 Maintenant clique sur le bouton Load Instances Nets Tous les noms des composants instances de la cellule Injection Cell seront list s 5 S lectionnez une des instances list es Le type de cette instance sera affich dans le champ Instance Type Pour afficher uniquement les instances de ce type cliquez nouveau sur le bouton Load Instances Nets Si nouveau vous voulez afficher la liste de toutes les instances il suffit d effacer le contenu la case Instance Type Il est fortement conseill d afficher chaque fois la liste des instances du m me type 6 A l aide du bouton Add gauche ajouter toutes les instances ou la faute sera inject e pour l inverseur nous allons ajouter M1 Le bouton Remove permet de supprimer une instance ajout e par erreur Dans le champ Pinl mettez le num ro 1 C est dire le num ro du port de l instance M1 repr sentant la grille Ce num ro est donn par la fonction selectPin qui sera d crite dans la prochaine section 7 Donner un nom ce fichier d crivant l injection d un circuit ouvert au niveau de la grille du transistor MI Donnez le nom open G MI fid Figure 20 a 8 A l aide du bouton Remove enlever M1 et ajouter M2 puis Remplacer le num ro I par 2 dans le champ Pinl Sauvegarder ensuite le fichier FID d crivant l injection d un circu
32. o2 7 tm5 mag toll tol2 mag tol mag to2 7 tmb mag tol3 tol4 mag tol mag to2 7 TEST CRITERIA tcls 0 tc2 D ceur RMS WORK pcf filter pcf b Figure 5 1 RMSCAT Select 30 Reliable Mixed Signal Computer Aided Test Platform Simulation 8 Configuration Tools About Help Design Fault Injection Description Faults AL 01 short res Rl D1 short res R1 1 Library myLib 02 short res R2 02 short res R2 1 Ed Cellview filterFDI 03 short cap C2 03 short cap C2 1 View schenatic 04 short res R9 04 short res R9 1 05 open res R1 05 open res R1 1 06 open res R2 06 open res R2 1 Results ocal bounceur simulation filterFDI 07 open res R9 07 open res R9 1 08 open cap CZ 08 open cap C2 1 Def File H Change 09 short res R5 09 short res RS 1 10 short cap C6 C6 10 short cap C6 1 Model File Change 11 open res R5 R5 11 open res R5 1 12 open cap C6 C6 12 open cap C6 1 Analysis 13 short res R11 R11 13 short res R11 1 14 short res R13 R13 14 short res R13 1 Type Arguments 15 open res R11 R11 15 open res R11 1 16 open res R13 R13 16 open res R13 1 c Un i CO FO E 1 ac 1 100K 60 Loga yes Piot Fault Free Output Figure 5 2 l suffit maintenant de lancer la simulation de fautes en lan ant en premier la simulation sans fautes puis la simulation avec fautes Les Figure 5 3 a et b montre l injection num ro 2 et num ro 7 respectivement Wirtuosoo Schematic Editing myLib f
33. of this publication subject to the following conditions 1 The publication may be used solely for personal informational and noncommercial purposes 2 The publication may not be modified in any way 3 Any copy of the publication or portion thereof must include all original copyright trademark and other proprietary notices and this permission statement and 4 RMSCATPlatform reserves the right to revoke this authorization at any time and any such use shall be discontinued immediately upon written notice from RMSCATPlatform Disclaimer Information in this publication is subject to change without notice and does not represent a commitment on the part of RMSCATPlatform The information contained herein is the proprietary and confidential information of RMSCATPlatform or its licensors and is supplied subject to and may be used only by RMSCATPlatform s customer in accordance with a written agreement between RMSCATPlatform and its customer Except as may be explicitly set forth in such agreement RMSCATPlatform does not make and expressly disclaims any representations or warranties as to the completeness accuracy or usefulness of the information contained in this document RMSCATPlatform does not warrant that use of such information will not infringe any third party rights nor does RMSCATPlatform assume any liability for damages or costs of any kind that may result from use of such information RMSCAT Reliable Mixed Signal Computer Aided
34. on 1 OK Cancel Sigma Delta Modulator Order SDO 2 On Chip BIST Decoder BIST LPButter 3rd Note The equivalent Lowpass filtering order should be with at least one unit greater than SDO Voltage Positive Supply VPS Voltage Negative Supply VHS Analog Ground aGND Rise Time tr Fall Time tf Delay Time td Chip Clock Freq Fclk Digital Threshold D th Shift Register Length Nrange 100 200 v Division Factor Number of Bits Bmax 1 Stabilization Time for SDM startAq Periode s Number Monte Caro Iteration Number Shift Harmonic Number H8 Paringio HMisnbor Figure 6 7 RMSCAT 35 Reliable Mixed Signal Generate Frequency based ATPs Computer Aided Test Platform Signal parameters Frequence Amplitude 1 00 Add Tone Delete Tone Delete All Tones Group amp1 anpl anpl anpl LL anp L sv One Signal Range of signals Frequence Min Frequence Max Frequence Step Phase 314 rad Coherent Tones Chip Frequency 1 ODE 09 Programmable Register Length NI gt 100 100 HZ 200 Quit Test 200 Programmable Div Factor Div 2 n nl gt 0 d n2 lt 19 14 Number of ATPs 10 dft J mag d opt I ATP Wave File Load ATP Add ATP Delete ATP Delete All ATPs Duree me 1 Ei 2 K Sh
35. opie exacte de ce bloc qui sera sauvegard e dans la libraire Fault Model Lib et qui aura le nom inverter faulty Pour ce faire il faut ouvrir la manager des librairies Library Manager Ceci se fait parti du menu outils de Cadence 1 une fois le Library Manager est ouvert s lectionnez la libraire example puis la cellule inverter puis cliquez sur le bouton droit de la souris en le maintenant enfonc Un sous menu appara tra dans lequel il faut cliquez sur copy RMSCAT 10 Reliable Mixed Signal Computer Aided Test Platform E Library Manager Directory bounceur hprojet hcmos9qp 821 sur cime2501 File Edit View Design Manager Show Categories Show Files Library Cell example inverter i LLL M MM O CORESGPLL inverter schematic CORESULL inverter_test symbol CORX9GPLL CORXSULL DK process 0120 Fault Model Lib IOLIB 65 3V3 M6 LL 65A IOLIB 65 M6 LL PRIME Pixel_Lib REG9GPLL STlib US 8ths amplificateur amplificateurl analogLib basic cdsDefTechLib devices symbols devices symbols18 devices symbols a essai example flt Compo functional myLib sbalib Messages but was defined in libFile tima3 bounceur hprojet hcmos9gp 821 cds lib for Lib avTech Log file is tima3 bounceur hprojet hcmos9gp 821 libManager log Figure 3 3 2 La fen tre de la Figure 15 sera ouverte Dans celle ci dans la partir To Fault Model Lib dans le champ Library et inv
36. ow Tones Step 100 00E 07 DUE 06 S E 06 25E 06 25E 05 12E 05 56E 05 S1E 04 91E 04 ASE 04 iO0c 3w0014 coro ODO KA L co A OT KA LG ON HS DO AE MD 101 90E 06 95E 06 48E 06 24E 06 19E 05 O9E 05 55E 05 TAE 04 87E 04 93E 04 102 80E 06 90E 06 45E 06 23E 06 13E 05 O6E 05 53E 05 66E 04 83E 04 103 T1E 06 85E 06 43E 06 21E 06 07E 05 03E 05 52E 05 58E 04 T9E 04 KA C9 KA L DD MD KA C9 KA CO ON HS DI bw 91E 04 90E 04 104 62E 06 81E 06 40E 06 20E 06 D1E 05 O0E 05 S0E 05 51E 04 T6E 04 88E 04 KA C9 KA CO ON FE DI 10 105 52E 06 76E 06 38E 06 19E 06 OSE 05 98E 05 49E 05 44E 04 12E 04 106 43E 06 72E 06 36E 06 18E 06 90E 05 OSE 05 47E 05 37E 04 69E 04 KA OD 4 KA fO UT KA DI MD B6E 04 KA C9 DD OT KA N 10 84E 04 107 35E 06 67E 06 34E 06 17E 06 84E 05 92E 05 46E 05 30E 04 65E 04 83E 04 KA ODD UH KA D bw 108 26E 06 63E 06 31E 06 16E 06 T9E 05 89E 05 45E 05 23E 04 62E 04 81E 04 KA OD 3 KA EO UT KA D hw 109 17E 06 59E 06 29E 06 15E 06 T3E 05 8TE 05 43E 05 17E 04 58E 04 19E 04 KA L KA DD OT E DI wo KA C9 Ht A U KA DI wo 110 09E 06 SSE 06 27E 06 14E 06 68E 05 84E 05 42E 05 10E 04 SSE 04 78E 04 KA OJ KA FO O1 KA N MD vavel wave
37. priori car il s agit de pour chaque parametre de sa d viation minimale permettant de violer au moins une des sp cifications du circuit sous test La description de l injections des fautes parametriques peuvent tre faite en utilisant le descripteur FlDesc voir la section D crire comment injecter des fautes 3 3 Cr ation des blocs fautifs La cr ation d un bloc fautif n est n cessaire que si la faute doit tre inject e dans un composant qui se trouve dans un bloc ou sous bloc du circuit sous test Car dans ce cas de figure si une faute est inject e directement dans un bloc et que dans le m me circuit il existe un autre bloc du m me type m me librairie et m me cellule ele sera aussi inject e dans les autres Pour rem dier ce probleme il est donc n cessaire de cr er une copie exacte de ce bloc qui remplacera donc le bloc contenant le composant ou la faute sera inject e Ainsi la faute sera inject e uniquement dans ce bloc La plateforme remplacera ce bloc automatiquement et le supprimera une fois la simulation de fautes termin e L utilisateur n a qu cr er une copie de ce bloc Il est aussi recommander d ajouter une croix ou un signe au symbole du bloc fautif montrant que ce bloc est le bloc fautif Dans le cas du circuit inverseur test on a bien faire ce cas de figure car certaines fautes doivent tre inject es dans l inverseur Ce dernier repr sente un bloc nom I2 ll est donc n cessaire de cr er une c
38. rlo Pour ce faire il faut ouvrir la fen tre Test Evaluation Results Figure 6 5 qui se trouve dans le menu Tools Une fois cette fen tre ouverte il faut cocher la case Monte Carlo puis Save puise Performances Il n est pas vraiment n cessaire dans ce cas de cocher la case Test Criteria Cliquez ensuite sur le bouton Run Test Evaluation Les r sultats obtenus sont sauvegard s par d faut dans le r pertoire report Le chemin de ce r pertoire peut tre chang en utilisant la fen tre de la Figure 6 3 Les fichiers cr s sont specValues rep ce fichier contient la valeur de chaque performance et de chaque it ration Monte Carlo specVerif rep ce fichier contient les valeurs vrai ou faux qui d termine pour chaque it ration si une performance est v rifi e ou non RMSCAT 33 Reliable Mixed Signal Computer Aided Test Platform Une fois ses valeurs sont connues l aide d un outil ou d un logiciel statistique il est possible de connaitre la loi de chaque performance et ainsi de d terminer les intervalles de tol rance qu on appellera sp cifications pour chacune d elle Test Evaluation Resluts OK Cancel Show Boundaries W Plot Evalutation Graph BM TEST METRICS SFC Spec Fault Coverage TFC Test Fault Coverage T Field TI lt Test Tield YC Yield Coverage YL Yield Loss D Defect Level FA False Acceptance FR False Rejection n2 nd n n3 n4 n nl n3 n nl n2 n nl nl n3 n3 n
39. rt GD M2 5 short GD M 6 short SD M2 6 short SD M 8 open_G_M2 8 open 6 M2 Def File r RMS Corners corners st 018 models O short RO 9 short RO 1 Eu 1 1 View schematic 1 il 2 2 2 l ji 00 on oO i CO FO ES P mou om mon ou om ou O to H to EO Fo IE EB HS Model File Analysis Type Arguments 1 tran 0 Plot Fault Free Output Figure 3 20 6 Dans le menu Configuration de l outil FIDESIM choisissez Fault Model Path La fen tre de la Figure 30 sera ouverte Dans le champ Cata FID Path faites entrer le chemin oU vous avez enregistr les fichiers FID cr s pr c demment RMSCAT 20 Reliable Mixed Signal Computer Aided Test Platform FID Path sur cime2501 OK Cancel Cata FID Path tima3 bounceur RMS WORK Flt Inj Desc Param FID file tima3 bounceur RMS WORK report para fid PFI tima3 bounceur RMS WORK stat flt models pfi pfi Figure 3 21 7 Toujours dans le menu Configuration choisissez Choose Fault Model La fen tre de la Figure 31 sera ouverte La liste des FIDs cr s figure dans la partie Complete Fault Model List S lectionner les 9 fichiers FID pr c demment cr s puis cliquez sur le bouton Add Choose Fault Model sur cime2501 OK Cancel Complete Fault Model List Ready To Inject Fault Model Fault Model Info dev r 50 1 short GS M1 Library Fault Model Lib flt test 2 short GD M1 Name Cell simpleShort mat 3 short SD M1 Es rmos l mi0 4 short 6S M2 NOE M
40. s Design Kit Calibre AGR pol T og mouse L schSingleSelectPt M schHiMousePopUp T 27 C Simulator spectre 40 Help schZoomFit 1 0 0 9 Figure 3 12 Pour cr er une faute param trique implicite il faut cr er un fichier FID manuellement Ce fichier contient plusieurs ligne de la forme suivante M1 M2 OU M1 M2 epr sente la liste des noms des instances la faute sera inject e Dans ce cas il s agit de transistors type w Fault Model Lib Faulty circuit Blockl 3u 100 type repr sente le type des instances M1 et M2 Par exemple npn ou pnp RMSCAT Reliable Mixed Signal Computer Aided Test Platform w repr sente le parametre a varier Fault Model Lib repr sente la librairie de la cellure Faulty circuit Cette partie peut tre remplac e par une chaine vide si les transistors se trouvent directement dans le circuit sous test Faulty circuit repr sente la cellule contenant le bloc Blockl Cette partie peut tre remplac e par une chaine vide si les transistors se trouvent directement dans le circuit sous test Block1 repr sente le bloc contenant M1 et M2 ou la faute sera inject e Cette partie peut tre remplac e par une chaine vide si les transistors se trouvent directement dans le circuit sous test et pas dans ce bloc 3u repr sente la valeur typique du param tre w Il est noter que le w de MI et M2 doit avoir la m me va
41. s sur le mot symbol qui se trouve dans la partie View File Edit View Design Manager Show Categories Show Files Library Cell Fault Model Lib Hnverter faulty CORE9GPLL DS Open CORESULL DS_Open_sch CORX9GPLL cap IOLIB 65 M6 LL PRIME Pixel Lib REGSGPLL STlib US 8ths amplificateur amplificateurl analogLib basic open ideal cdsDefTechLib open ideal sch devices symbols resChange res_open2 short_ideal simple pen simple penSch simpleShort simpleShortSch Messages dsassu3 1 2 tools assura etc avtech avTech di Warning The directory cadence c EUR ch does not exist but was defined in libFile tima3 bounceur hprojet hcmos9gp 821 cds lib for Lib avTech Figure 3 6 4 Modifiez donc ce symbole sans surtout d placer ses ports pins ll est recommand d ajouter une croix comme le montre la Figure 18 TA S Bol Editing Fault Model Lib verte aulty symbol sur cime2501 mix Cmd Line Sel 0 65 Tools Design Window Edit Add Check Options Help E abe use L mouseAddPt Point at first point of line M schHiMousePopUp R Toggle Draw Mode Q Figure 3 7 3 4 D crire comment injecter des fautes 4 3 1 Le Descripteur des Injections de Fautes FlDesc Une fois tous les mod les de fautes sont cr es ainsi que tous les blocs fautifs il est donc n cessaire de cr er les diff rents fichiers appel s FID Pour ce faire il faut Fault Injection Description RM
42. ssant dans la partir Frequencies la plage des fr quences souhait e du vecteur de test Et le r sultat sera obtenu dans le fichier tpgDetReport rep Le nom de ce fichier peut tre chang en utilisant la fen tre Path Configureation qui se trouve dans le menu Configuration de l outil OPTEVAL Figure 6 3 Test Evaluation 1 sur cime2501 Test Evaluation 3 Configuration Tools About Help Design Monte Carlo Simulation Library myLib Iteration Number Cellview filterFDI Nominal Value 1 01468 View schematic Specifications Boundaries TEST PATTERH GENERATION Frequencies Detection Threshold From H Min Detection Frequencies To 100000 Min Diagnostic Frequencies Figure 6 2 Path Configuration sur cime2501 OK Cancel Min Detection Frequencies Report tima3 bounceur RMS WORK report tpgDetReport rep Min Diagnostic Frequencies Report tima3 bounceur RMS WORK report tpgDiagReport rep Auto Test Evaluation Report Directory tima3 bounceur RMS WORK dep ort Multiple Configuration Program tima3 bounceur RMS_WORK report mef large mcf Balas Algorithm Exe File feadence cdsicS 0 33 tocls sundv RMS CATP bin schalas Genetic Algorithm Exe File cadence cdsic5 0 33 tools sundv RMS CATP bin scmcmqa Equivalent Faults Exe File cadence cdsic5 0 33 tools sundv RMS CATP bin fequival Min Det Diag Regions Exe File feadence cdsicS 0 33 tools sundv RMS CATP bin minred Figure 6 3 RMSCAT 32 Reliable Mixed Signal Computer Aided Tes
43. t Platform valuation du test La plateforme permet d valuer une technique de test qu elle soit structurelle ou bien fonctionnelle L valuation d un test structurel vient toujours apres l valuation d un test fonctionnel dans le but de valider le premier test 6 1 valuation d un test fonctionnel Pour valuer un test fonctionnel il est n cessaire de connaitre l ensemble des performances et des sp cifications du circuit sous test Dans le cas ou les sp cifications ne sont pas connues il est possible de les calculer base des simulations Monte Carlo Cadence en utilisant l outil de la Figure 6 4 qui se trouve dans le menu Tools Monte Carlo de Cadence La plateforme permet une fois les simulations Monte Carlo ont t effectu es de r cup rer toutes les valeurs des performances pour chaque it ration XX Analog Statistical Analysis Status Ready Simulator spectre 6 Session Outputs Simulation Results Help Analysis Setup Number of Runs 108 Starting Run 1 Analysis Variation Process Only Swept Parameter None Append te Previous Scalar Bala Save Data Between Runs to Allow Family Plots Outputs Expression Signal Data Type Autoplot scalar no Add Delete Change Clear Calculator Get Expression Figure 6 4 Une fois les simulations Monte Carlo ont t effectu es il reste d utiliser l outil OPTEVAL pour r cup rer les valeurs des performances de chaque performance et de chaque it ration Monte Ca
44. tte section nous allons montrer comment g n rer l ensemble des fr quences minimal d un vecteur de test La m thode utilis e se fait uniquement dans le domaine fr quentiel base de fautes catastrophiques test structurel Pour cela nous allons utiliser un circuit repr sentant le filtre biquadratique diff rentiel de la Figure 4 1 Cmd Sel 0 Status Ready T 27 C Simulator spectre 4 Tools Design Window Edit Add Check Sheet Options Design Kit Calibre Help ASK 2 A amp J L D DH 6 w8 mouse L schSingleSelectPt M schHiMousePopUp R schZoomFit 1 0 0 9 Figure 4 1 Les configurations des deux vsin Vsinl et Vsin2 sont donn es par les Figure 4 3 a et b respectivement Les trois amplificateurs op rationnels sont des blocs veriloga Les blocs sont sous la forme suivante Figure 4 2 File Edit Search Preferences Shell Macro Windows VerilogA for veriloga fully diff amp veriloga ff Dimitris Mitrovgenis Ahcene Bounceur 02 03 2005 include constants vams include disciplines vams module model full diff inp inn outp outn input inp inn output outp outn electrical inp inn outp outn parameter real K 100000 analog begin VCoutn lt V inp V inn K Vioutp lt V inp V inn K end endmodule Figure 4 2 RMSCAT 28 Reliable Mixed Signal Computer Aided Test Platform Edit Object Properties sur cime2501 Edit Object Properties sur cime
45. usoid2 off Initial phase for Sinusoid 2 off Frequency 2 off Frequency 2 H off FM modulation index L off FM modulation index L off FM modulation frequency H off FM modulation frequency i off AM modulation index i off AM modulation index i off AM modulation frequency off AM modulation frequency off AM modulation phase i off AM modulation phase i off Temperature coefficient 1 7 off Temperature coefficient 1 off Temperature coefficient2 off Temperature coefficient2 off a b Figure 4 3 Pour ex cuter l algorithme de g n ration de vecteurs de test il faut d abord effectuer une simulation de fautes catastrophiques Pour cela il faut ouvrir l outil OPTEVAL partir duquel il faut choisir le filtre pr sent ci dessus Le programme de test est pr sent dans la section suivante 5 Programme de test et simulation de fautes Le programme de test est donn par la Figure 5 1 a La Figure 5 1 b montre la fen tre de l outil permettant d entrer ce programme Ensuite il faut cr er une liste de 16 fautes injecter en cr ant les fichiers FIDs d crivant comment ces fautes seront inject es Ces FIDs sont class es et nomm s comme suit Figure 5 2 1 Court circuit pour la r sistance R 2 Court circuit pour la r sistance R2 3 Court circuit pour la capacit C2 4 Court circuit pour la r sistance R9 5 Circuit ouvert pour la r sistance RI RMSCAT 29 pA eliable Mixed Signal Computer
46. verter puis cliquez sur le bouton OK XX Virtuoso Schematic Editing example inverter schematic Cmd Sel 0 Tools Design Window Edit Add Check Sheet Options Design Kit N 4 Cellview From Cellview OK Cancel Defaults Apply Library Name example Cell Name inverter From View Name schematic To View Name symbol Tool Data Type Composer Symbol Display Cellview R RO Vout HMSCA TPlatform mouse L schSingleSelectPt M schHiMousePopUp Figure 2 6 3 La fen tre Symbol Generation Options s ouvre Cliquez directement sur le bouton OK 2 X Symbol Generation Options OK Cancel Apply Library Name example Pin Specifications Attributes Left Pins Vini List Top Pins Bottom Pins Load Save Edit Attributes Edit Labels Edit Properties Figure 2 7 RMSCAT 7 Reliable Mixed Signal Computer Aided Test Platform 4 Un symbole par d faut sera cr modifiez le pour qu il ait la forme d un inverseur comme le montre la Figure 9 b D sala BA AG b Figure 2 8 2 3 Cr ation d un circuit utilisant un inverseur La Figure 10 a montre un exemple d un circuit utilisant un inverseur appel inverter test Il s agit d un circuit g n rant des pulsations en utilisant un vpulse pour v rifier ensuite si celles ci sont invers es la sortie de l inverseur I
Download Pdf Manuals
Related Search