System Verilog Assertions and Functional Coverage最新文献

筛选
英文 中文
Important Topics 重要的话题
System Verilog Assertions and Functional Coverage Pub Date : 2019-10-10 DOI: 10.1007/978-3-030-24737-9_17
Ashok B. Mehta
{"title":"Important Topics","authors":"Ashok B. Mehta","doi":"10.1007/978-3-030-24737-9_17","DOIUrl":"https://doi.org/10.1007/978-3-030-24737-9_17","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115527977","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Coverage Options 覆盖选项
System Verilog Assertions and Functional Coverage Pub Date : 2019-10-10 DOI: 10.1007/978-3-030-24737-9_28
Ashok B. Mehta
{"title":"Coverage Options","authors":"Ashok B. Mehta","doi":"10.1007/978-3-030-24737-9_28","DOIUrl":"https://doi.org/10.1007/978-3-030-24737-9_28","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129427224","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
System Verilog Assertions: LAB Answers 系统Verilog断言:LAB答案
System Verilog Assertions and Functional Coverage Pub Date : 2019-10-10 DOI: 10.1007/978-3-319-30539-4_18
Ashok B. Mehta
{"title":"System Verilog Assertions: LAB Answers","authors":"Ashok B. Mehta","doi":"10.1007/978-3-319-30539-4_18","DOIUrl":"https://doi.org/10.1007/978-3-319-30539-4_18","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134128484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Operators 运营商
System Verilog Assertions and Functional Coverage Pub Date : 2019-10-10 DOI: 10.1007/978-3-030-24737-9_8
Ashok B. Mehta
{"title":"Operators","authors":"Ashok B. Mehta","doi":"10.1007/978-3-030-24737-9_8","DOIUrl":"https://doi.org/10.1007/978-3-030-24737-9_8","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125107134","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
System Functions and Tasks 系统功能和任务
System Verilog Assertions and Functional Coverage Pub Date : 2019-10-10 DOI: 10.1007/978-1-4614-7324-4_7
Ashok B. Mehta
{"title":"System Functions and Tasks","authors":"Ashok B. Mehta","doi":"10.1007/978-1-4614-7324-4_7","DOIUrl":"https://doi.org/10.1007/978-1-4614-7324-4_7","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116675258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Immediate Assertions 直接断言
System Verilog Assertions and Functional Coverage Pub Date : 2019-10-10 DOI: 10.1007/978-3-030-24737-9_5
Ashok B. Mehta
{"title":"Immediate Assertions","authors":"Ashok B. Mehta","doi":"10.1007/978-3-030-24737-9_5","DOIUrl":"https://doi.org/10.1007/978-3-030-24737-9_5","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114234723","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Conventions Used in the Book 书中使用的约定
System Verilog Assertions and Functional Coverage Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-24737-9_4
A. B. Mehta
{"title":"Conventions Used in the Book","authors":"A. B. Mehta","doi":"10.1007/978-3-030-24737-9_4","DOIUrl":"https://doi.org/10.1007/978-3-030-24737-9_4","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124640857","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sampled Value Functions 抽样值函数
System Verilog Assertions and Functional Coverage Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-24737-9_7
Ashok B. Mehta
{"title":"Sampled Value Functions","authors":"Ashok B. Mehta","doi":"10.1007/978-3-030-24737-9_7","DOIUrl":"https://doi.org/10.1007/978-3-030-24737-9_7","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123317445","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sequential Domain Coverage (“Cover” Property and “Cover” Sequence) 顺序域覆盖(“覆盖”属性和“覆盖”序列)
System Verilog Assertions and Functional Coverage Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-24737-9_3
Ashok B. Mehta
{"title":"Sequential Domain Coverage (“Cover” Property and “Cover” Sequence)","authors":"Ashok B. Mehta","doi":"10.1007/978-3-030-24737-9_3","DOIUrl":"https://doi.org/10.1007/978-3-030-24737-9_3","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134443476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Endpoint of a Sequence (.triggered and .matched) 序列的端点(。触发和匹配)
System Verilog Assertions and Functional Coverage Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-24737-9_13
Ashok B. Mehta
{"title":"Endpoint of a Sequence (.triggered and .matched)","authors":"Ashok B. Mehta","doi":"10.1007/978-3-030-24737-9_13","DOIUrl":"https://doi.org/10.1007/978-3-030-24737-9_13","url":null,"abstract":"","PeriodicalId":210866,"journal":{"name":"System Verilog Assertions and Functional Coverage","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132860659","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信