{"title":"Improvements to the Implementation of Interpolant-Based Model Checking","authors":"Joao Marques-Silva","doi":"10.1007/11560548_33","DOIUrl":"https://doi.org/10.1007/11560548_33","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"331 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116234009","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}
{"title":"Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies","authors":"J. Baumgartner, Hari Mony","doi":"10.1007/11560548_18","DOIUrl":"https://doi.org/10.1007/11560548_18","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117169546","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}
{"title":"High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design","authors":"P. Matoušek, A. Smrčka, Tomáš Vojnar","doi":"10.1007/11560548_34","DOIUrl":"https://doi.org/10.1007/11560548_34","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115687561","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}
{"title":"A Case Study: Formal Verification of Processor Critical Properties","authors":"E. Zarpas","doi":"10.1007/11560548_42","DOIUrl":"https://doi.org/10.1007/11560548_42","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"249 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122503303","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}
{"title":"Verification Challenges in Configurable Processor Design with ASIP Meister","authors":"M. Imai, A. Kitajima","doi":"10.1007/11560548_2","DOIUrl":"https://doi.org/10.1007/11560548_2","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126012598","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}
{"title":"Verifying Timing Behavior by Abstract Interpretation of Executable Code","authors":"C. Ferdinand, Reinhold Heckmann","doi":"10.1007/11560548_26","DOIUrl":"https://doi.org/10.1007/11560548_26","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127127514","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}
{"title":"Formalization of the DE2 Language","authors":"W. Hunt, Erik Reeber","doi":"10.1007/11560548_5","DOIUrl":"https://doi.org/10.1007/11560548_5","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133326503","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}
N. Amla, Xiaoqun Du, A. Kuehlmann, R. Kurshan, K. McMillan
{"title":"An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment","authors":"N. Amla, Xiaoqun Du, A. Kuehlmann, R. Kurshan, K. McMillan","doi":"10.1007/11560548_20","DOIUrl":"https://doi.org/10.1007/11560548_20","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"179 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132257634","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}
{"title":"Behavior-RTL Equivalence Checking Based on Data Transfer Analysis with Virtual Controllers and Datapaths","authors":"M. Fujita","doi":"10.1007/11560548_27","DOIUrl":"https://doi.org/10.1007/11560548_27","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114804652","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}
{"title":"Interleaved Invariant Checking with Dynamic Abstraction","authors":"Liang Zhang, M. Prasad, M. Hsiao","doi":"10.1007/11560548_9","DOIUrl":"https://doi.org/10.1007/11560548_9","url":null,"abstract":"","PeriodicalId":363695,"journal":{"name":"Conference on Correct Hardware Design and Verification Methods","volume":"278 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124292302","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：