{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,4,28]]，“日期时间”：“2024-04-28T00:38:43Z”，“时间戳”：1714264723022}，“出版商位置”：“柏林，海德堡”，“参考计数”：14，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540779643”，“类型”：“打印”}，{“值”：“9783540779667”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”DOI“：”10.1007\/978-3-540-77966-7_11“，”type“：”book-capter“，”created“：{”date-parts“：[[2008,2,1]]，”date-time“：”2008-02-01T08:59:24Z“，”timestamp“：1201856364000}，”page“104-119“，”source“：”Crossref“，”is-referenced-by-count“：4，“title”：[“Using Virtual Coverage to Hit Hard-to-Reach Events”]，“prefix”：“10.1007”，“author”：[{“given”：“Laurent”，“family”：“Fournier”，“sequence”：“first”，“affiliation”：[]}，{“given”:“Avi”，“家族”：“Ziv”，“序列”：“additional”，“从属关系”：[]}]，“member”：“297”，“reference”：[}“key”：”11_CR1“，“volume-title”：“Writing Testbenches:HDL模型的功能验证”，“author”：“J.Bergeron”，“year”：“2000”，“unstructured”：“Bergeron，J.：Writing Testbenches:HDL模型功能验证。Kluwer Academic Publishers，Dordrecht（2000）”}，{“key”：“11_CR2”，“volume-title”：“Comprehensive Functional Verification-The Complete Industry Cycle”，“作者”：“B。Wile，“年份”：“2005年”，“非结构化”：“Wile，B.，Goss，J.C.，Roesner，W.：综合功能验证-完整的工业周期。Elsevier，Amsterdam（2005）“}，{“key”：“11_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Fournier，L.，Arbetman，Y.，Levinger，M.：使用Genesys测试程序生成器的微处理器功能验证方法。摘自：《1999年欧洲设计、自动化和测试会议论文集》，第434\u2013441（1999）页”，“doi”：“10.1145\/307418.307540“}，{“key”：“11_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Fine，S.，Ziv，A.：使用贝叶斯网络进行功能验证的覆盖定向测试生成。收录：第40届设计自动化会议论文集，第286\u2013291（2003）页”，“doi”：“10.1145\/775832.775907”}，}，“key“：”11_CR5“，”doi-assert-by“：”crossref”，“非结构化”：“Tasiran，S.，Fallah，F.，Chinnery，D.G.，Weber，S.J.，Keutzer，K.：一种功能验证技术：基于观测覆盖的偏差随机模拟。收录于：《2001年国际计算机设计会议论文集》，第82\u201388（2001）页，“DOI”：“10.1109\/ICCD.2001.955007”}，{“issue”：“6”，“key”：“11_CR6”，”DOI-asserted-by“：”publisher“，“first page”：”1126“，”DOI“：”10.1109\/TCAD.2006.884494“，”volume“：”26“，”author“：”I.Wagner“，”year“：”2007“，”unstructured“：”Wagner，I.、Bertaco，V.、Austin，T.：通过反馈调整的马尔可夫模型进行微处理器验证。IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a026（6），1126\u20131138（2007）“，“journal-title”：“IEEE Translations on Computer-Aided Design for Integrated Circuits&Systems”}，{“key”：“11_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Bose，M.，Shin，J.，Rudnick，E.M.，Dukes，T.，Abadir，M.：有偏随机指令生成的自动偏差生成的遗传方法。摘自：《2001年进化计算大会论文集》，CEC2001，第442页\u2013448（2001）“，“DOI”：“10.1109\/CEC.2001.934425”}，{“key”：“11_CR8”，“unstructured”：“Hsiou-Wen，H.，Eder，K.：使用归纳逻辑编程为函数覆盖闭包生成测试指令。摘自：《高层设计验证与测试研讨会论文集》，第11\u201318页（2006）“}，{“key”：“11_CR9”，“volume-title”：“功能验证覆盖测量与分析”，“author”：“A.Piziali”，“year”：“2004”，“unstructured”：“Piziali.，A.：功能验证覆盖度量与分析.Springer，Heidelberg（2004）”}11_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Yang，C.H.，Dill，D.L.：状态空间引导搜索验证。摘自：《第35届设计自动化会议论文集》，第599\u2013604（1998）页“，”DOI“：”10.1145\/277044.277201“}，{”key“：”11_CR11“，”DOI-asserted-by“：”crossref“，”unstructured“：”Ur，S.，Yadin，Y.：“微体系结构覆盖定向生成测试程序。摘自：第36届设计自动化大会论文集，第175\u2013180（1999）页“DOI“：”10.1145\/309847.309909“}，{“key”：“11_CR12”，“volume-title”：“智能系统中的概率推理：似然推理网络”，“author”：“J.Pearl”，“year”：“1988”，“unstructured”：“Pearl，J.：智能系统中概率推理：可信性推理网络。Morgan Kaufmann，San Francisco（1988）”}“volume-title”：“实验设计质量”，“author”：“T.Barker”，“year”：“1994”，“unstructured”：“Barker，T.：实验设计质量。CRC，Boca Raton（1994）“}，{“key”：“11_CR14”，“doi-asserted-by”：“crossref”，“doi”：“10.1002\/0471200611”，“volume-title”：“信息理论的要素”，“author”：“T.M.Cover”，“year”：“1991”，“unstructured”：“Cover，T.M.，Thomas，J.A.：信息理论的元素。John Wiley，New York（1991）”}]，“container-title“：[”硬件和软件：验证和测试”，“计算机科学课堂笔记”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-77966-7_11.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[2021,4,27]]，“date-time”：“2021-04-27T10:57:23Z”，“timestamp”：1619521043000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/978-3-540-77966-7_11”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[[null]}”，“ISBN”：[“9783540779643”，“9783540779667”]，“references-count”：14，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-77966-7_11“，”关系“：{}，”主题“：[]}}