{"title":"Online Constraints Update Using Machine Learning for Accelerating Hardware Verification","authors":"Mostafa AboelMaged, M. Mashaly, M. A. E. Ghany","doi":"10.1109/NILES53778.2021.9600485","DOIUrl":null,"url":null,"abstract":"The evolution of computer systems and application-specific integrated circuits led to an increase in their complexity. Consequently, verification is a vital procedure in the design process to ensure correct functionality of the designs. However, the increase in the design's complexity led to the increase in the cost and time needed for the verification in the design process. Thus, to decrease the verification process time and cost, and achieve the best coverage for the design under test; machine learning techniques are used. In this paper, a verification environment that utilizes constrained random verification technique is introduced. The environment uses dynamic reseeding and rewinding techniques. The environment is also integrated with machine learning algorithms as well to update the constraint at run time to speed up the time needed to reach full design coverage. The environment can utilize previous simulations data or prior knowledge of the design to train the model. The environment uses a different neural network topology than the state of the art. The proposed environment recorded a decrease of 83.5% in the time needed and about 60000 times decrease in the error rate for training the machine learning algorithm in comparison with the state of the art.","PeriodicalId":249153,"journal":{"name":"2021 3rd Novel Intelligent and Leading Emerging Sciences Conference (NILES)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 3rd Novel Intelligent and Leading Emerging Sciences Conference (NILES)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NILES53778.2021.9600485","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Online Constraints Update Using Machine Learning for Accelerating Hardware Verification
The evolution of computer systems and application-specific integrated circuits led to an increase in their complexity. Consequently, verification is a vital procedure in the design process to ensure correct functionality of the designs. However, the increase in the design's complexity led to the increase in the cost and time needed for the verification in the design process. Thus, to decrease the verification process time and cost, and achieve the best coverage for the design under test; machine learning techniques are used. In this paper, a verification environment that utilizes constrained random verification technique is introduced. The environment uses dynamic reseeding and rewinding techniques. The environment is also integrated with machine learning algorithms as well to update the constraint at run time to speed up the time needed to reach full design coverage. The environment can utilize previous simulations data or prior knowledge of the design to train the model. The environment uses a different neural network topology than the state of the art. The proposed environment recorded a decrease of 83.5% in the time needed and about 60000 times decrease in the error rate for training the machine learning algorithm in comparison with the state of the art.