R. L. Jana, Shashank Kuchibhotla, Soumyajit Dey, P. Dasgupta, Rakesh Kumar
{"title":"在架构验证中,基于指导重构的边缘案例的规划","authors":"R. L. Jana, Shashank Kuchibhotla, Soumyajit Dey, P. Dasgupta, Rakesh Kumar","doi":"10.1109/ISVDAT.2016.8064887","DOIUrl":null,"url":null,"abstract":"Validation of modern microprocessors is a time consuming as well as complex process where constraint-based random test inputs are used to sensitize and monitor whether the hardware execution logic exhibits the desired micro-architectural event sequences. Such testing methods often lead to bug scenarios revealed as simulation traces which serve as the basis for patching the RTL code in order to fix a possible bug. However, the bug fix can be local in nature in the sense that the bug may possibly manifest itself in an alternate execution trace. The present work leverages AI planning to develop techniques for automatic construction of test programs for sensitizing deep architectural bugs by reproducing a bug scenario as different possible sequences of micro-architectural events given that the scenario was initially observed as one such sequence in a simulation trace. Automated generation of such test programs 1) help to evaluate the robustness of a given bug fix or alternatively 2) identify the root cause of the bug so that a proper fix can be carefully planned.","PeriodicalId":301815,"journal":{"name":"2016 20th International Symposium on VLSI Design and Test (VDAT)","volume":"46 13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Planning based guided reconstruction of corner cases in architectural validation\",\"authors\":\"R. L. Jana, Shashank Kuchibhotla, Soumyajit Dey, P. Dasgupta, Rakesh Kumar\",\"doi\":\"10.1109/ISVDAT.2016.8064887\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Validation of modern microprocessors is a time consuming as well as complex process where constraint-based random test inputs are used to sensitize and monitor whether the hardware execution logic exhibits the desired micro-architectural event sequences. Such testing methods often lead to bug scenarios revealed as simulation traces which serve as the basis for patching the RTL code in order to fix a possible bug. However, the bug fix can be local in nature in the sense that the bug may possibly manifest itself in an alternate execution trace. The present work leverages AI planning to develop techniques for automatic construction of test programs for sensitizing deep architectural bugs by reproducing a bug scenario as different possible sequences of micro-architectural events given that the scenario was initially observed as one such sequence in a simulation trace. Automated generation of such test programs 1) help to evaluate the robustness of a given bug fix or alternatively 2) identify the root cause of the bug so that a proper fix can be carefully planned.\",\"PeriodicalId\":301815,\"journal\":{\"name\":\"2016 20th International Symposium on VLSI Design and Test (VDAT)\",\"volume\":\"46 13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 20th International Symposium on VLSI Design and Test (VDAT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISVDAT.2016.8064887\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 20th International Symposium on VLSI Design and Test (VDAT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISVDAT.2016.8064887","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Planning based guided reconstruction of corner cases in architectural validation
Validation of modern microprocessors is a time consuming as well as complex process where constraint-based random test inputs are used to sensitize and monitor whether the hardware execution logic exhibits the desired micro-architectural event sequences. Such testing methods often lead to bug scenarios revealed as simulation traces which serve as the basis for patching the RTL code in order to fix a possible bug. However, the bug fix can be local in nature in the sense that the bug may possibly manifest itself in an alternate execution trace. The present work leverages AI planning to develop techniques for automatic construction of test programs for sensitizing deep architectural bugs by reproducing a bug scenario as different possible sequences of micro-architectural events given that the scenario was initially observed as one such sequence in a simulation trace. Automated generation of such test programs 1) help to evaluate the robustness of a given bug fix or alternatively 2) identify the root cause of the bug so that a proper fix can be carefully planned.