{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T11:51:32Z”，“时间戳”：1725623492098}，“发布者位置”：“美国纽约州纽约市”，“引用计数”：22，“发布商”：“ACM”，“内容域”：[“dl.ACM.org”]，“交叉标记-re striction“：true}，”short-container-title“（限制）：[]，“已发布的印刷品”：｛“日期部分”：[[2012,10,23]]｝，“DOI”：“10.1145\/24016032401688”，“类型”：“议事录文章”，“已创建”：｛“日期部分”：[[2012,11,27]，“日期时间”：“2012-11-27T09:28:59Z”，“时间戳”：1354008539000｝，“页面”：“389-394”，“更新策略”：“http:\/\/dx.DOI.org/10.1145\/crosmark policy”，“来源”：“Crossref”，被引用按计数“：0，“title”：[“通用可重构逻辑门的符号建模及其在电路综合中的应用”]，“前缀”：“10.1145”，“卷”：“6”，“作者”：[{“给定”：“保罗”，“家族”：“塔劳”，“序列”：“第一”，“从属”：[}“名称”：“北德克萨斯大学”}]}：“Texas Instruments Inc.”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2012,10,23]]}，“reference”：[{“key”：“e_1_3_2_1_2_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/S1383-7621（03）00073-0“}，{“volume-title”：“Braga”，“year”：“2007”，“author”：“Claessen K.”，“key“_3_1“，“非结构化”：“K.Claessen和G。步伐。嵌入式硬件描述语言：探索设计空间。硬件设计和函数语言（HFL’07），葡萄牙布拉加，2007年。K.Claessen和G.Pace。嵌入式硬件描述语言：探索设计空间。硬件设计和函数语言（HFL'07），葡萄牙布拉加，2007年。“}，{“volume-title”：“使用函数语言进行硬件描述的过程”，“年份”：“2009年”，“作者”：“Claessen K.”，“键”：“e_1_3_2_1_4_1”，“非结构化”：“K.Claessen，C.Seger，M.Sheeran，e.Shriver，and W。斯维尔斯特拉。用于早期评估功率和性能的高级架构建模。程序中。《使用函数语言（HFL）进行硬件描述》，2009年3月。K.Claessen、C.Seger、M.Sheeran、E.Shriver和W.Swierstra。用于早期评估功率和性能的高级架构建模。程序中。《使用函数语言（HFL）进行硬件描述》，2009年3月。“}，{”key“：”e_1_3_2_1_5_1“，”first page“：“151”，”volume-title“：”计算的基石“，”author“：”Claessen K.“，”year“：”2003“，”unstructured“：”K.Claessen，M.Sheeran，and S。辛格。Lava中的功能硬件描述。《编程的乐趣，计算的基石》，第151-176页。帕尔格雷夫，2003年。K.Claessen、M.Sheeran和S.Singh。Lava中的功能硬件描述。《编程的乐趣，计算的基石》，第151-176页。Palgrave，2003.“}，{”volume-title“：”IEEE Computer“，”year“：”2000“，”author“：”Compton K.“，”key“：”e_1_3_2_1_6_1“，“unstructured”：“”K.Compton and S.Hauck.An introduction to reconfigurable computing“。IEEE Compute，Apr，2000。“doi-asserted-by“：”publisher“，”doi“：”10.1109\/TC.1979.1675229“}，{”issue“：”4“，”key“：”e_1_3_2_1_8_1“，“first page”：“265”，”article-title“：”三变量的切换函数“，”volume“：“6”，”author“：”Davies D.W.“，”year“：”1957“，”unstructured“：”D.W.Davies.三变量的转换函数。Trans.Inst.Radio Engineers，6（4）: 265 -- 275 , 1957 . D.W.戴维斯。三个变量的切换函数。事务处理。无线电工程师学会，6（4）：265--2751957。无线电工程师学会“}，{“volume-title”：“精确电路合成。在逻辑合成国际研讨会上”，“年份”：“1998年”，“作者”：“Drechsler R.”，“键”：“e_1_3_2_1_9_1”，《非结构化》：“R.Drechsle和W.Gunther.精确电路合成.在逻辑合成的国际研讨会上，1998年。R.Drenchsler和W。冈瑟。精确电路合成。在逻辑合成国际研讨会上，1998年。nuth D.e.“，”键“：”e_1_3_2_12_1“，”非结构化”：“D.E.Knuth。《计算机编程艺术》第4卷第1分册：比特技巧；二进制决策图。Addison-Wesley Professional，2009年。D.E.Knuth。《计算机编程艺术》第4卷第1分册：比特技巧；二进制决策图。Addison-Wesley Professional，2009.“}，{“key”：“e_1_3_2_1_13_1”，“doi断言者”：“publisher”，“doi”：“10.1109\/TC.1987.1676878”}，{“key”：“e_1_3_2_1_14_1”，“doi断言者”：“publisher”，“doi”：“10.1023\/A:1008189221436”}，{“卷标题”：“国际逻辑合成研讨会”，“年份”：“2002”，“作者”：“Mishchenko A.”，“key”：“e_1_3_2_1_15_1“，”非结构化”：A.Mishchenko和T.Sasao。布尔函数的编码及其在LUT级联综合中的应用。2002年逻辑综合国际研讨会。A.Mishchenko和T.Sasao。布尔函数的编码及其在LUT级联综合中的应用。在逻辑综合国际研讨会上，2002年。“}，{”key“：”e_1_3_2_16_1“，”first page“：“363”，”volume-title“：”IFIP第八届计算机硬件描述语言及其应用国际研讨会论文集“，”author“：”O'Donnell J.“，“year”：“1987”，”unstructured“：”J。奥唐纳。硬件描述与递归方程。在IFIP第八届计算机硬件描述语言及其应用国际研讨会论文集，第363-382页。北荷兰，1987年4月。J·奥唐纳。硬件描述与递归方程。第八届国际计算机硬件描述语言及其应用研讨会论文集，第363-382页。北荷兰，1987年4月。“}，{”key“：”e_1_3_2_1_17_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/367766.367776”}，“key”：“e_1_ 3_2_18_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/ISMVL.2010.53“}”，{“volume-title”：“数字集成电路：设计视角”，“年份”：“2003”，“作者”：“Rabaey J.”，“：”e_1_3_2_19_1“，”非结构化“：”J。Rabaey、A.Chandrakasan和B.Nikolic。数字集成电路：设计观点。普伦蒂斯·霍尔，2003年。J.Rabaey、A.Chandrakasan和B.Nikolic。数字集成电路：设计观点。Prentice Hall，2003.“}，{”key“：”e_1_3_2_1_21_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-32003-6_19“}”{”volume-title“：”collected papers“，”year“：”1993“，”author“：”Shannon C.e.“，”key：“e_1_ 3_2_1_2 2_1”，”unstructured“：”C.e.Shannon。Claude Elwood Shannon:collecteds papers.IEEE Press，Piscataway，NJ，USA，1993。C.e。香农。克劳德·埃尔伍德·香农：论文集。IEEE Press，Piscataway，NJ，USA，1993。“}，{”key“：”e_1_3_2_1_23_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1778180.1778197”}，“key”：“e_1_ 3_2_1_2 4_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1366230.1366263“}]，“event”：{”name“：”RACS'12:Research in Applied Computation Symposium“，”赞助商“：[”ACCT聚合计算技术协会”，“SIGAPP ACM应用计算特别兴趣小组”]，“位置”：“San Antonio Texas”，“缩写词”：“RACS‘12”}，“container-title”：[“2012 ACM应用计算机研究研讨会论文集”]，”原文标题“：[]，“链接”：[{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2401603.2401688“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,14]，”date-time“：“2023-01-14T12:03:56Z”，”timestamp“：1673697836000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2401603.2401688“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2012,10,23]]}，“引用计数”：22，“alternative-id”：[“10.1145\/24011603.2401689”，“10.1145\/24011603”]，“URL”：“http://\/dx.doi.org\/10.145\/2401603.240168”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2012,10,23]]}，”断言“：[{”value“：”2012-10-23“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}}