{"title":"基于系统verilog的USB 3.0链路层LTSSM设计与验证","authors":"M. Sukhanya, T. Kumar, K. Gavaskar","doi":"10.1109/ICSCN.2017.8085689","DOIUrl":null,"url":null,"abstract":"The proposed design includes the Link Training and Status State Machine (LTSSM). The LTSSM has both the upstream port and downstream port. The transition between all the 12 link states has been designed and verified. Complex scenarios are covered with multiple cover groups with many cover points. The RTL behavior of the LTSSM in Link Layer is verified using System Verilog and its verification is carried out in Mentor Graphics tool. The proposed verification environment includes the constrained randomization, functional coverage and code coverage. In the proposed system, DUT is subjected to the verification with various coverage metrics such as code coverage, functional coverage, etc. The functional coverage obtained 87.5 percentage by using cover groups.","PeriodicalId":383458,"journal":{"name":"2017 Fourth International Conference on Signal Processing, Communication and Networking (ICSCN)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Design and verification of LTSSM in USB 3.0 link layer using system verilog\",\"authors\":\"M. Sukhanya, T. Kumar, K. Gavaskar\",\"doi\":\"10.1109/ICSCN.2017.8085689\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The proposed design includes the Link Training and Status State Machine (LTSSM). The LTSSM has both the upstream port and downstream port. The transition between all the 12 link states has been designed and verified. Complex scenarios are covered with multiple cover groups with many cover points. The RTL behavior of the LTSSM in Link Layer is verified using System Verilog and its verification is carried out in Mentor Graphics tool. The proposed verification environment includes the constrained randomization, functional coverage and code coverage. In the proposed system, DUT is subjected to the verification with various coverage metrics such as code coverage, functional coverage, etc. The functional coverage obtained 87.5 percentage by using cover groups.\",\"PeriodicalId\":383458,\"journal\":{\"name\":\"2017 Fourth International Conference on Signal Processing, Communication and Networking (ICSCN)\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-03-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 Fourth International Conference on Signal Processing, Communication and Networking (ICSCN)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSCN.2017.8085689\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 Fourth International Conference on Signal Processing, Communication and Networking (ICSCN)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSCN.2017.8085689","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Design and verification of LTSSM in USB 3.0 link layer using system verilog
The proposed design includes the Link Training and Status State Machine (LTSSM). The LTSSM has both the upstream port and downstream port. The transition between all the 12 link states has been designed and verified. Complex scenarios are covered with multiple cover groups with many cover points. The RTL behavior of the LTSSM in Link Layer is verified using System Verilog and its verification is carried out in Mentor Graphics tool. The proposed verification environment includes the constrained randomization, functional coverage and code coverage. In the proposed system, DUT is subjected to the verification with various coverage metrics such as code coverage, functional coverage, etc. The functional coverage obtained 87.5 percentage by using cover groups.