{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:25Z”，“时间戳”：1725558985828}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540253334“}，{”类型“：“electronic”，“value”：“9783540319801”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_27“，”type“：”book-capter“，”created“：{”date-ports“：[2010,7,11]]，”date-time“：”2010-07-11T22:44:55 9Z“，”时间戳“：1278888299000}，”页面“：”413-428“，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“On Some Transformation Invariants Under Retiming and Resynhesis”]，“prefix”：“10.1007”，”author“：[{”given“：”Jie-Hong R.“，”family“：”Jiang“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“reference”：[{“key”：”27_CR1“，“doi-asserted-by”：“publisher”，《首页》：“63”，“doi”：“10.1109 \/43.62792”，“volume”：“10”，“author”：“G.Micheli De”，“year”：“1991”，“unstructured”：“De Micheri，G.：同步逻辑合成：周期时间最小化算法。IEEE Trans.on Computer-Aided Design \u00a010，63\u201373（1991）”，“journal-title”：“IEEE Trans.on Computer-Aided Design”}，{“key”：《27_CR2》，“doi-asserted-by”：“publisher”，《首页》：“528”，“doi”：“10.1109\/43.631217”，“volume”：“16”，“author”：“A.El-Maleh”，“year”：“1997”，“unstructured”：“El-Maleh-A.，Marchok，T.E.，Rajski，J.，Maly，W.：重定时转换下的行为和可测试性保护。IEEE Trans.on Computer-Aided Design \u00a016，528\u2013543（1997）”，“journal title”：“IEEE Trans on Computer-Aided Design”}，{“key”：“27_CR3”，“doi-asserted-by”：“publisher”，“first page”：“348”，“doi”：“10.1109\/43.48105”，“volume”：：“15”，“author”：“G.Even”，“year”：“1996”，“unstructured”：“Even，G.，Spillinger，I.Y.，Stok，L.：重新计时并反转。IEEE Trans.on Computer-Aided Design \u00a015，348\u2013357（1996）”，“journal title”：“IEEE Trans.on Computer-Aided Design”}，{“键”：“27_CR4”，“doi-asserted-by”：“publisher”，“first page”：“935”，“doi”：“10.1137\/0217058”，“volume”：：“17”，“author”：“N.Immerman”，“year”：“1988”，“unstructured”：“Immerman，N.：非确定性空间在互补下闭合。SIAM Journal on Computing \u00a017，935\u2013938（1988）”，“Journal title”：“SIAM Joint on Computinging”}，{“key”：”27_CR5“，“doi-asserted-by”：“publisher”，“first-page”：“68”，“doi”：“10.1016\/S0022-0000（75）80050-X”，“volume”：“11”，“author”：“N.Jones”，“year”：“1975”，“unstructured”：“Jones，N.：组合问题中的空间边界可约性。《计算机与系统科学杂志》（Journal of Computer and System Sciences）\u00a011，68\u201385（1975）”，“Journal-title”：“计算机与系统学杂志”}，{“volume-title”：“切换与有限自动机理论”，“year”：“1978”，“author”：“Z.Kohavi”，“key”：“27_CR6”，“unstructured”：“Kohavi，Z.：切换与有限自动机理论。McGraw-Hill，New York（1978）”}，{“issue”：“1”，“密钥”：“27 _CR7”，“first page”：《41》，“volume”：”1“author:“C.E.Leiserson”，“年份”：“1983”，“非结构化”：“Leiserson，C.E.，Saxe，J.B.：优化同步系统。VLSI和计算机系统杂志\u00a01（1），41\u201367（1983）（Spring）”，“期刊标题”：“VLSI和计算系统杂志”}，{“key”：“27_CR8”，“doi-asserted-by”：“publisher”，“first page”：”5“，”doi“：”10.1007\/BF01759032“，”卷“：”6“作者”：“C.E.Leisersson”，“年份”：“1991”，“非结构化”：“Leiserson，C.E.，Saxe，J.B.：重新定时同步电路。Algorithmica\u00a06，5\u201335（1991）”，“日志标题”：“Algorithymica”}，{“key”：“27_CR9”，“非结构”：“Malik，S.：顺序逻辑合成中的组合逻辑优化技术。加州大学伯克利分校博士论文（1990）”}，“doi-asserted-by”：“publisher”，“first page”：“74”，“doi”：“10.1109\/43.62793”，“volume”：”10“，“author”：“S.Malik”，“year”：“1991”，“unstructured”：“Malik，S.，Sentovich，E.M.，Brayton，R.K.，Sangiovanni-Vincentelli，A.：重新定时和重新合成：使用组合技术优化顺序网络。IEEE Trans.Computer-Aided Design \u00a010，74\u201384（1991）”，“期刊标题”：“IEEE Trans.Computer-Aded Design”}，{“key”：“27_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Mneimneh，M.N.，Sakalah，K.A.，Moondanos，J.：重定时后保留时序电路的同步序列。In：Proc.ASP-DAC（2004年1月）”，“DOI”：“10.1109\/ASPDAC.2004.1337658”｝，｛“卷标题”：“计算复杂性”，“年份”：“1994”，“作者”：“C.H.Papadimitriou”，“密钥”：“27_CR12”，“非结构化”：“Papadimitriou，C.H.：计算复杂性。Addison-Wesley，Reading（1994）”}，{“key”：“27_CR13”，“doi-asserted-by”：“publisher”，“first-page”：“1469”，“doi”：“10.1109 \/43.180261”，“volume”：”11“author”：“C.Pixley”，“year”：“1992”，“unstructured”：“Pixley，C.：时序硬件等效的理论与实现。IEEE Trans.Computer-Aided Design \u00a011，1469\u20131478（1992）”，“journal-title”：“IEEE Trans.Computer-Aded Design”}，{“key”：“27_CR14”，“unstructured”：“Ranjan，R.K.：有限状态系统的设计与实现验证。加州大学伯克利分校博士论文（1997）”，{“key”：“27_CR15”，“doi断言由”：“crossref”，“非结构化”：“Ranjan，R.K.，Singhal，V.，Somenzi，F.，Brayton，R.K.:关于重定时和重新合成转换的优化能力。摘自：Proc.Int\u2019l Computer-Aided Design Conf.，pp.402\u2013407（1998年11月）”，“DOI”：“10.1145\/288548.289061”}，{“key”：“27_CR16”，“DOI-asserted-by”：“publisher”，“first-page”：“177”，”DOI“10.1016\/S0022-0000（70）80006-X“，“volume”：“4”，“author”：“W.Savitch”，“year”：“1970”，“unstructured”：“Savitch，W.：非确定性和确定性磁带复杂性之间的关系。《计算机与系统科学杂志》（Journal of Computer and System Sciences）\u00a04，177\u2013192（1970）“，“Journal-title”：《计算机与体系科学杂志》}，{“key”：“27_CR17”，“unstructured”：“Singhal，V.，Malik，S.，Brayton，R.K.：显式重置电路重定时的案例。In:Proc.Int\u2019l Conf.on Computer-Aided Design，pp.618\u2013625（1996）”}，}，“key“doi-asserted-by“：”crossref“，”unstructured“：”Singhal，V.，Pixley，C.，Rudell，R.L.，Brayton，R.K.：重定时时序电路的有效性。In：程序。设计自动化会议，pp.316\u2013321（1995）“，”DOI“：”10.1145\/217474.217548“}，{”key“：”27_CR19“，”DOI-asserted-by“：”publisher“，”first page“：“157”，”DOI:“10.1109\/43.184852”，“volume”：“12”，“author”：“H.J.Touati”，“year”：“1993”，“unstructured”：“Touati，H.J.，Brayton，R.K.：计算重定时电路的初始状态。IEEE传输。计算机辅助设计\u00a012，157\u2013162（1993）“，”期刊标题“：”IEEE Trans。关于计算机辅助设计“}，{“key”：“27_CR20”，“unstructured”：“Zhou，H.，Singhal，V.，Aziz，A.：重定时有多强大？In:Proc.IWLS（1998）”}]，“container-title”：[“计算机科学讲义”，“系统构建和分析的工具和算法”]，“original-title“：[]，”链接“：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-40-31980-1_27.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,11,19]]，”date-time“：“2020-11-19T04:32:46Z”，”timestamp“：1605760366000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-540-31980-1_27“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2005]]}，“ISBN”：[“9783540253334”，”9783540319801“]，”引用计数“：20，”URL“：”http://\/dx.doi.org\/10.1007\/978-2340-31980-1_27“，”关系“：{}”，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2005]]}}