
CSE765 TetramaxTutorial
1
1. Introduction
Testingisanimportantpartofhardwaredesignflow.Achipistestedafteritismanufactured.However,the
testingvectorsaregeneratedwhileitisindesignphase.Faultsaremodeledandtestvectorsthatdetect
faultsaregenerated.Amongthemanykindsoffaults,stuck‐at‐faultmodelisthemostimportantone.It
detectsstuck‐at‐0andstuck‐at‐1faults.Testvectorsaregeneratedautomatically(usingATPGalgorithms).
TetramaxisaSynopsystoolthatservesthispurpose.
Inthistutorial,usageofTetramaxtogeneratetestpatternswillbediscussed.Asitisusedwithothertools
suchasVCScompiler,simulator,andDesignCompiler,thescriptsfortheiruseorthebasicprocedureswill
bediscussedaswell.Therefore,thediscussionwillinclude:
HowVCSwillbeusedtosimulateadesign(Fulladder)writteninverilogwiththehelpoftestbench.
Testpatternswillbegeneratedforthegivendesign
DesignCompilerisusedtosynthesizethedesignusingascript
TestPatternsaregeneratedusingTetraMaxforthesynthesizedcircuit.
VCSwillbeusedtotestthesynthesizeddesignwhetheritcanpassthetestsfromallthepatterns
generatedtodetectfaults.
2. Preparationsbeforethelab
Beforeyoustartthelab,youneedtofollowthesestepstouploadthetetramax1.zipfiletoyourUNIXserver
account.You’reexpectedtodothispartandlearnsomebasicshellcommandsbeforethelabsessionifthis
isyourfirsttimetouseLinux.
LogintotheUnixterminal
Launchtheqshwindow qsh–qall.q@oin
Note:youmayreplaceoinwithfili,kili,dori,groiniftheschedulingfails,youcanalsojusttypeinqsh.
Makeanewfolderforthisclass mkdirvlsi_testing
Uploadthetetramax1.ziptothedirectoryyoucreatedusingFileZillaorasimilarsoftware.
TheHostonthetopbarofFilezillaisnyx.syr.edu,theusernameisyourusername,thePortis22.
Choosevlsi_testingontherightside,andthenrightclickthetetramax1.zipontheleftside(theleftside
representsyourcomputer,therightsiderepresentsyourserveraccount.)Chooseupload.Nowthe
tetramax1.zipshouldhavebeenuploadedtovlsi_testing.
Extractthe.zipfile unziptetramax1.zip
评论0