{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,3]]，“日期时间”：“2024-04-03T06:29:19Z”，“时间戳”：1712125759280}，“引用-计数”：35，“发布者”：“IEEE”，“内容域”：{-“域”：[]，“交叉标记-限制”：false}，”短容器-时间“：[]”，“发布-打印”：{“日期部分”：[[2012,10]]}，“DOI”：“10.1109 \/issoc.2012.6376356”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2012,18]]，“date-time”：“2012-12-18T18:46:48Z”，“timestamp”：1355856408000}，“source”：”Crossref“，”is-referenced-by-count“：23，”title“：[”CRAVE:SystemC的高级约束随机验证环境“]，”前缀“：”10.1109“，“author”：[{“给定”：“Finn”，“family”：“Haedicke”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Hoang M.”，”family“：”Le“，”sequence“：”additional“，”affiliance“：[]{，”given“：”Daniel“，“，”引用“：[{”键“：”19“，”首页“：”130“，“article-title”：“基于约束的随机模拟的矛盾分析”，“author”：“gro\uffde”，“year”：“2008”，“journal-title:“FDL”}，{“key”：“35”，“first-page:”223“，”article-title“：”SystemC模型在不同抽象层次上的基于模拟的等价性检查“，”author“：”gro\unffde“，”year“：”2011“，”journal-title：“ACM大湖区VLSI研讨会”}，{“key”：“17”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2380445.2380497”}“新闻标题”：“ACM大湖区VLSI研讨会”}，{“key”：“33”，“year”：“2003”，“journal-title”：“IA-32架构软件开发人员手册”}：“Digitaltechnik eine Praxisnahe Einfu？hrung”｝，｛“key”：“16”，“doi断言者”：“publisher”，“doi”：“10.1109\/TC.1986.1676819”｝，｛“key”：“13”，“year”：“2003”，“期刊标题”：“SystemC验证标准规范第10e版”｝，｛“key”：“14”，“author”：“rose”，“year”：“2003”，“期刊标题”：“SCV随机化”｝，｛“key”：“11”，“doi断言者”：“publisher””，“DOI”：“10.1007\/0387-31275-7”}，｛“key”：“12”，“author”：“yuan”，“year”：“2006”，“期刊标题”：“基于约束的验证”}，｛“key”：“21”，“year”：“2011”，“期刊标题”：“Accellera Systems Initiative通用验证方法1 1”｝，｛“key”：“20”，“首页”：“1”，“文章标题”：“SystemC验证库中基于SMT的刺激生成”，“author”：“wille”，“year”：“2009”，“journal-title”：“FDL”}，{“key”：“22”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/ICCAD.2007.4397275“}，”{“密钥”：“23”，”doi-assert-by“：”publisher作者：“kim”，“年份”：“2008”，“journal-title”：“CAV”}，{“key”：“25”，“first-page”：“22”，“article-title“：“MetaSMT：关注应用程序，而不是求解器集成”，“author”：“haedicke”，“year”：“2011”，“johnal-tittle”：《DIFTS’11第一届正式工具和系统设计与实现国际研讨会》}，}，“key“：”26“，”doi-asserted-by“：”publisher“，”doi“：“10.1109\/VLSISOC.2007.4402478”}，{“key”：“27”，“first page”：：“337”，“article-title”：“Z3:高效SMT解算器”，“author”：“de moura”，“year”：“2008”，“journal-title“：”TACAS“}，”{“密钥”：“28”，“首页”：“174”，”article-title“Boolector：位向量和数组的高效SMT求解器”，”author“：”brummayer“，”year“：”2009“，”journal al-title“：”TACAS“}，{”键“：“29”，“首页”：“502”，“文章标题”：“可扩展SAT解决方案”，“作者”：“ee？n”，“年份”：“2003”，“日志标题”：”SAT“}，{“key”：“3”，“作家”：“gro？tker”，“年”：“2002”，“日记标题”：by“：”publisher“，”doi“：”10.1109\/54.936247“}，{”key“：”1“，“author”：“bailey”，“year”：“2007”，“journal-title”：“ESL设计与验证电子系统级方法的处方”}，{“key”：“30”，“first page”：”75“，“article-title“：”Picosat essentials“，”volume“：”4“，”author“：”biere“，”year“：”2008“，”journal-title“:”JSAT“}，”{“密钥”：“7”，“首页”：“19”，“au作者”：“cai”，“年份”：“2003”，“journal”al标题“：“事务级建模概述”}，{“key”：“6”，“year”：“2005”，“journal-title”：“IEEE Standard SystemC Language Reference Manual”}，“新闻标题”：“CUDD CU决策图包版本2 4 1科罗拉多大学博尔德分校”}，{“key”：“4”，“author”：“black”，“year”：“2005”，“journal-title”：“System C From the Ground Up”}、{“key”：”9“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-1-4419-9228-4：“嵌入式系统用SystemC TLM概念和应用的事务级建模”}]，“事件”：{“名称”：“2012年系统芯片SOC国际研讨会”，“位置”：“芬兰坦佩雷”，“开始”：{-“日期部分”：[[2012,10,10]]}，“结束”：{-date-parts“：[[2012-10,12]}}，”container-title“：[“2012年芯片系统国际研讨会（SOC）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/6362324\/6376356.pdf？arnumber=6376356”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期部分”：[2022,3]]，“日期时间”：“2022-02-03T18:06:03Z”，“时间戳“：1643911563000}，”分数“：1，”资源“用法：{“primary”:{“URL”：“http://\/ieeexplore.iee.org\/document\/6376356\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{日期部分：[[2012,10]]}，”references-count“：35，”URL“：”http://\/dx.doi.org\/10.109\/issoc.2012.63636356“，”relation“：{}，“：[[2012,10]]}}}”