Скачать презентацию
Идет загрузка презентации. Пожалуйста, подождите
1
Корныхин Евгений МГУ ТЕСЛА - система генерации тестовых данных для системного функционального тестирования микропроцессоров
2
Тестовый шаблон Тестовая программа ТЕСЛА тестирование
3
Тестовый шаблон : ADD x, y, z 0 LD u, x, cacheHit DIV y, u, divBy MOV y, XXX SD XXX
4
REGISTER rt, rs, rd, ru: 32; … ADD rt, rs, overflow LD ru, rt, normal(cacheMiss) VAR x,y,z: 32; t y[31]||y + z[31]||z; ASSERT t[32] != t[31]; VAR x: 32; … addr y + z; x Load(addr); тестовый шаблон описания тестовых ситуаций overflow.tslnormal.tsl
![REGISTER rt, rs, rd, ru: 32; … ADD rt, rs, rd @ overflow LD ru, rt, c @ normal(cacheMiss) VAR x,y,z: 32; t y[31]||y + z[31]||z; ASSERT t[32] != t[31]; VAR x: 32; … addr y + z; x Load(addr); тестовый шаблон описания тестовых ситуаций overflow.tslnorma](http://images.myshared.ru/6/680184/slide_4.jpg "REGISTER rt, rs, rd, ru: 32; … ADD rt, rs, rd @ overflow LD ru, rt, c @ normal(cacheMiss) VAR x,y,z: 32; t y[31]||y + z[31]||z; ASSERT t[32] != t[31]; VAR x: 32; … addr y + z; x Load(addr); тестовый шаблон описания тестовых ситуаций overflow.tslnorma")
5
Найденные ошибки (MIPS64) div r1, r2 mthi r3 mfhi r4 hi := r1/r2 hi := r3 r4 := hi (r4 = r3) add r1,r2, sub r4, r1, r5 r1 := r1 r4 := r1-r5
Еще похожие презентации в нашем архиве:
