×

根据真值表设计一个在线可测试的三值电路。 (英语) Zbl 1451.68106号

Glück,Robert(编辑)等人,《可逆计算》。2012年7月2日至3日,第四届国际研讨会,RC 2012,丹麦哥本哈根。修改后的文件。柏林:斯普林格。莱克特。注释计算。科学。7581, 152-159 (2013).
摘要:本文提出了一种将真值表实现的三值可逆电路转换为在线可测试电路的新方法。我们的方法在给定电路中增加了三条额外的线路,插入了费曼门和M-S门,并用TKP-((M)+1)门替换了三值Toffoli门(KP-(M)门)。我们的方法只适用于(2{times}2)门和(1{times{1)门,并且涵盖了更多可检测的错误。初步工作表明,将该方法应用于可测试的三值半加法器时,故障覆盖率为84.89%。
关于整个系列,请参见[Zbl 1322.68013号].

MSC公司:

2006年第68季度 作为计算模型的网络和电路;电路复杂性
2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
81第65页 量子门
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。