{"title":"一个基于反向的开源工具,用于处理器内核的后硅验证","authors":"Fabian Stuckmann, Pasha A. Fistanto, G. P. Vayá","doi":"10.1109/MOCAST52088.2021.9493373","DOIUrl":null,"url":null,"abstract":"This paper presents an open-source tool, called PATARA, for post-silicon validation of Application-Specific Instruction set Processors (ASIP). PATARA is based on the REVERSI approach, which can significantly speed up the validation time of already fabricated chip designs. It enables the generation of automatic, randomized test-benches, which are then validated by the processor itself. PARATA extends the REVERSI approach by supporting subword parallalism (i.e., microSIMD hardware mechanism), multiple issue slots, and conditional execution. The configuration of PATARA is provided by XML files, which describe the instruction set architecture (ISA) of the target custom processor. Moreover, the modular structure of the PATARA tool enables the insertion of future features. The potential of this tool is shown in a case study, where part of the instruction set architecture of a VLIW-SIMD processor, called KAVUAKA, is verified. The results show that the use of the PATARA tool can achieve a higher code coverage than the previously used hand-written testbenches. It is worth mentioning that a high code coverage in pre-silicon verification generally implies a high coverage in post-silicon validation.","PeriodicalId":146990,"journal":{"name":"2021 10th International Conference on Modern Circuits and Systems Technologies (MOCAST)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"PATARA: A REVERSI-Based Open-Source Tool for Post-Silicon Validation of Processor Cores\",\"authors\":\"Fabian Stuckmann, Pasha A. Fistanto, G. P. Vayá\",\"doi\":\"10.1109/MOCAST52088.2021.9493373\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents an open-source tool, called PATARA, for post-silicon validation of Application-Specific Instruction set Processors (ASIP). PATARA is based on the REVERSI approach, which can significantly speed up the validation time of already fabricated chip designs. It enables the generation of automatic, randomized test-benches, which are then validated by the processor itself. PARATA extends the REVERSI approach by supporting subword parallalism (i.e., microSIMD hardware mechanism), multiple issue slots, and conditional execution. The configuration of PATARA is provided by XML files, which describe the instruction set architecture (ISA) of the target custom processor. Moreover, the modular structure of the PATARA tool enables the insertion of future features. The potential of this tool is shown in a case study, where part of the instruction set architecture of a VLIW-SIMD processor, called KAVUAKA, is verified. The results show that the use of the PATARA tool can achieve a higher code coverage than the previously used hand-written testbenches. It is worth mentioning that a high code coverage in pre-silicon verification generally implies a high coverage in post-silicon validation.\",\"PeriodicalId\":146990,\"journal\":{\"name\":\"2021 10th International Conference on Modern Circuits and Systems Technologies (MOCAST)\",\"volume\":\"47 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-07-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2021 10th International Conference on Modern Circuits and Systems Technologies (MOCAST)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MOCAST52088.2021.9493373\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 10th International Conference on Modern Circuits and Systems Technologies (MOCAST)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MOCAST52088.2021.9493373","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
PATARA: A REVERSI-Based Open-Source Tool for Post-Silicon Validation of Processor Cores
This paper presents an open-source tool, called PATARA, for post-silicon validation of Application-Specific Instruction set Processors (ASIP). PATARA is based on the REVERSI approach, which can significantly speed up the validation time of already fabricated chip designs. It enables the generation of automatic, randomized test-benches, which are then validated by the processor itself. PARATA extends the REVERSI approach by supporting subword parallalism (i.e., microSIMD hardware mechanism), multiple issue slots, and conditional execution. The configuration of PATARA is provided by XML files, which describe the instruction set architecture (ISA) of the target custom processor. Moreover, the modular structure of the PATARA tool enables the insertion of future features. The potential of this tool is shown in a case study, where part of the instruction set architecture of a VLIW-SIMD processor, called KAVUAKA, is verified. The results show that the use of the PATARA tool can achieve a higher code coverage than the previously used hand-written testbenches. It is worth mentioning that a high code coverage in pre-silicon verification generally implies a high coverage in post-silicon validation.