{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T20:31:16Z”，“时间戳”：1714249876083}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540755951”，“类型”：“打印”}]，“内容域”用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/978-3-540-75596-8_11”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,3]]，“date-time”：“2007-11-03T14:03:37Z”，“timestamp”：1194098617000}，”page“129-144”，“source”：”Crossref“，”is-referenced-by-count“：9，”title“”：[“系统级和RTL描述的顺序等价性检查的自动合并点检测”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Bijan”，“family”：“Alizadeh”，“sequence”：“first”，“affiliation”：[]}，{“赋值”：“Masahiro”，“家族”：“Fujita”，“序列”：“additional”，“从属关系”：[]}，“成员”：“297”，“引用”：[}“key”：“11_CR1”，“非结构化”：“Alizadeh，B.，Fujita，M.：LTED：作为硬件/软件协同设计的形式化模型的规范和紧凑混合词库表示法。In:CFV 2007。第四次形式验证约束研讨会，第15页\u201329（2007）“}，{“key”：“11_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Vasudevan，S.，Viswanath，V.，Abraham，J.，Tu，J.:系统级和RTL描述的顺序等价性检查的自动分解。in:MemoCode 2006。《协同设计的形式方法和模型学报》，第71页，201380（2006）“，“DOI”：“10.1109”：“MEMCOD.2006.1695903”}，{“key”：《11_CR3》，“DOI-asserted-by”：“crossref”，“unstructured”：“Feng，X.，Hu，A.：高层软件的早期切入点插入vs.RTL形式组合等价性验证。In:DAC 2006。第43届设计自动化会议论文集，pp.1063\u20131068（2006）“，“DOI”：“10.1145\/114609.1147178”}，{“key”：“11_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“Matsumoto，T.，Saito，H.，Fujita，M.：通过对依赖图进行局部符号模拟对C程序进行等价性检查。In:ISQED 2006。第七届国际质量电子设计研讨会论文集，第370\u2013375页（2006）“，“DOI”：“10.1109\/ISQED.2006.61”}，{“key”：“11_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Koelbl，A.，Lu，Y.，Mathur，A.：嵌入式教程：系统级模型和RTL之间的形式等价性检查。摘自：《ICCAD 2005年会议录》，第965\u2013971页（2005）“，“DOI”：“10.1109\/ICCAD.2005.1560201”}，{“key”：“11_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kroening，D.，Clarke，E.，Yorav，K.：使用有界模型检查的C和Verilog程序的行为一致性。摘自：DAC 2003。第40届设计自动化会议论文集，第368\u2013371页（2003）“，“DOI”：“10.1145\/775832.775928”}，{“key”：“11_CR7”，“DOI-asserted-by”：“crossref”，“unstructured”：“Karfa，C.，Mandal，C.，Sarkar，D.，Pentakota，S.R.，Reade，C.：高级合成中调度的形式验证方法。in:ISQED 2006。第七届国际质量电子设计研讨会论文集，第71\u201378页（2006）“，“DOI”：“10.1109\/ISQED.2006.10”}，{“key”：“11_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Fallah，F.，Devadas，S.，Keutzer，K.：使用线性规划和3-可满足性为HDL模型生成函数向量。In:DAC 1998。第35届设计自动化会议论文集，pp.528\u2013533（1998）“，“DOI”：“10.1145\/277044.277187”}，{“key”：“11_CR9”，“unstructured”：“Alizadeh，B.，Fujita，M.：系统级和RTL描述之间等价性检查的混合方法。In:IWLS 2007。第16届逻辑与合成国际研讨会，pp.298\u2013304（2007）“}，{“key”：“11_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Horeth，S.，Drechsler，R.：单词级规范的形式验证。In:DATE 1999。《欧洲设计自动化与测试论文集》，第52\u201358页（1999），“DOI”：“10.1145\/307418.307447”，｛“issue”：“5”，“key”：“11_CR11”，“DOI断言者”：“publisher”，“首页”：“356”，“DOI”：“10.1049\/ip cdt:20041046”，“volume”：“151”，“author”：“B.Alizadeh”，“year”：“2004”，“nonstructured”：“Alizadeh，B.，Navabi，Z.：处理器验证中的字级符号模拟。IEE Proceedings Computers and Digital Techniques Journal \u00a0151（5），356\u2013366（2004）“，”Journal-title“：”IEE Processes Computers and-Digital Technologies Journal“}，{“key”：“11_CR12”，“doi-asserted-by”：“publisher”，“first-pages”：“48”，“doi”：“10.1109\/98.972168”，“volume”：”8“author”：“E.Grass”，“year”：“2001”，“unstructured”：“”Grass，E.、Tittelbach，K.、Jagdhold，U.、Troya，A.、Lippert，G.、Krueger，O.、Lehmann，J.、Maharatna，K.和Fiebig，N.、Dombrowski，K.，Kraemer，R.、Aehoenen，P.：关于Hiperlan\/2和支持IEEE802.11a的调制解调器的单芯片实现。IEEE个人通讯。\u00a08，48\u201357（2001）“，”期刊标题“：”IEEE Pers.Commun。“}]，”container-title“：[”验证和分析自动化技术“，”计算机科学课堂讲稿“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-75596-8_11.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“deposed“：{“date-parts”：[[2021,4,27]]，“date-time”：“2021-04-27T10:25:20Z”，“timestamp”：1619519120000}，“score”：1，“resource”：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-75596-8_11”}，”副标题“：[]，”短标题“：[]，“issued”：{-“date-parts”：[null]}，‘ISBN’：[”9783540 755951“]，”references-count“：12，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_11“，”关系“：{}，”主题“：[]}}