{"title":"快速Verilog仿真使用基于tel的验证代码生成从预仿真快照动态重新加载","authors":"Yonghun Lee, Daejin Park","doi":"10.1109/ICAIIC57133.2023.10066996","DOIUrl":null,"url":null,"abstract":"As design complexity increases, turn-around time (TAT) of design development increases. Designers may not have enough time to cover all test, because Verilog simulation time increases. The aim of this paper is to present an existing Verilog simulation method and to propose a new method to reduce simulation run time for the design of large system implemented in Verilog in the iterative flows. Small changes in testbench caused the need to repeat all design flows, including basic and common test sequences such as booting and power on stabilization sequences. The proposed verification flows use the Tcl based verification code for dynamically reloading from previous simulation snapshot without repeated compiling of source code. The basic and commonly used long test sequences are saved by simulator using Tcl command and reload the saved snapshot after driving the test sequence using Tcl code without recompiling. The total simulation time was reduced by 53% with the proposed verification flow.","PeriodicalId":105769,"journal":{"name":"2023 International Conference on Artificial Intelligence in Information and Communication (ICAIIC)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Fast Verilog Simulation using Tel-based Verification Code Generation for Dynamically Reloading from Pre-Simulation Snapshot\",\"authors\":\"Yonghun Lee, Daejin Park\",\"doi\":\"10.1109/ICAIIC57133.2023.10066996\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"As design complexity increases, turn-around time (TAT) of design development increases. Designers may not have enough time to cover all test, because Verilog simulation time increases. The aim of this paper is to present an existing Verilog simulation method and to propose a new method to reduce simulation run time for the design of large system implemented in Verilog in the iterative flows. Small changes in testbench caused the need to repeat all design flows, including basic and common test sequences such as booting and power on stabilization sequences. The proposed verification flows use the Tcl based verification code for dynamically reloading from previous simulation snapshot without repeated compiling of source code. The basic and commonly used long test sequences are saved by simulator using Tcl command and reload the saved snapshot after driving the test sequence using Tcl code without recompiling. The total simulation time was reduced by 53% with the proposed verification flow.\",\"PeriodicalId\":105769,\"journal\":{\"name\":\"2023 International Conference on Artificial Intelligence in Information and Communication (ICAIIC)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-02-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2023 International Conference on Artificial Intelligence in Information and Communication (ICAIIC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICAIIC57133.2023.10066996\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 International Conference on Artificial Intelligence in Information and Communication (ICAIIC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICAIIC57133.2023.10066996","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Fast Verilog Simulation using Tel-based Verification Code Generation for Dynamically Reloading from Pre-Simulation Snapshot
As design complexity increases, turn-around time (TAT) of design development increases. Designers may not have enough time to cover all test, because Verilog simulation time increases. The aim of this paper is to present an existing Verilog simulation method and to propose a new method to reduce simulation run time for the design of large system implemented in Verilog in the iterative flows. Small changes in testbench caused the need to repeat all design flows, including basic and common test sequences such as booting and power on stabilization sequences. The proposed verification flows use the Tcl based verification code for dynamically reloading from previous simulation snapshot without repeated compiling of source code. The basic and commonly used long test sequences are saved by simulator using Tcl command and reload the saved snapshot after driving the test sequence using Tcl code without recompiling. The total simulation time was reduced by 53% with the proposed verification flow.