sun zelong 15/11/2011. background motivation methodology
TRANSCRIPT
![Page 1: Sun Zelong 15/11/2011. Background Motivation Methodology](https://reader033.vdocuments.mx/reader033/viewer/2022051116/5697c0111a28abf838ccb963/html5/thumbnails/1.jpg)
Sun Zelong15/11/2011
![Page 2: Sun Zelong 15/11/2011. Background Motivation Methodology](https://reader033.vdocuments.mx/reader033/viewer/2022051116/5697c0111a28abf838ccb963/html5/thumbnails/2.jpg)
![Page 3: Sun Zelong 15/11/2011. Background Motivation Methodology](https://reader033.vdocuments.mx/reader033/viewer/2022051116/5697c0111a28abf838ccb963/html5/thumbnails/3.jpg)
Test Escape
• Fail in system-level functional test
• Fail at customer side
![Page 4: Sun Zelong 15/11/2011. Background Motivation Methodology](https://reader033.vdocuments.mx/reader033/viewer/2022051116/5697c0111a28abf838ccb963/html5/thumbnails/4.jpg)
Diagnosis Test EngineerDiagnosis Test Engineer
Diagnosis TestsDiagnosis Tests
Debug EngineerDebug Engineer
Diagnosis workDiagnosis work
FeedbackFeedback
Test BehaviorsTest Behaviors
Gap
First time diagnosis accuracy isless than 60% for complex boards
![Page 5: Sun Zelong 15/11/2011. Background Motivation Methodology](https://reader033.vdocuments.mx/reader033/viewer/2022051116/5697c0111a28abf838ccb963/html5/thumbnails/5.jpg)
LDDLLDDL
![Page 6: Sun Zelong 15/11/2011. Background Motivation Methodology](https://reader033.vdocuments.mx/reader033/viewer/2022051116/5697c0111a28abf838ccb963/html5/thumbnails/6.jpg)
Let the people contribute the knowledge they know best.◦ Designers ->Spec.◦ Diagnosis experts->Test description.◦ Debug engineers->Feedback of tests.
LDDL◦ Easy to express the knowledge.◦ Global knowledge collection.◦ Automatically provide more valuable feedback to
every stakeholder.
![Page 7: Sun Zelong 15/11/2011. Background Motivation Methodology](https://reader033.vdocuments.mx/reader033/viewer/2022051116/5697c0111a28abf838ccb963/html5/thumbnails/7.jpg)
LDDLAnalytical
Engine
LDDLAnalytical
Engine
test t1{flow:
A>B>C;B::a>B::b;B>D>C;
call:A{ta1,ta2,ta3};B::a{tba1,tba5};B::b{tbb2,tbb4};C{tc3};D{td1};
}test t2…..
asic B{ a>b>c>d>a; b>d; c>a;}block B::a{tests: ta1=50%; ta2=20%; ta3=10%;relations: ta1^ta2=0.5; ta2^ta3=0.2; ta1^ta2^ta3=0.05;}
![Page 8: Sun Zelong 15/11/2011. Background Motivation Methodology](https://reader033.vdocuments.mx/reader033/viewer/2022051116/5697c0111a28abf838ccb963/html5/thumbnails/8.jpg)