可逆逻辑电路多余门错误的检测

摘要

确保可逆电路的正确性与可靠性,电路错误检测是必不可少的。多余门错误模型还未被深入研究。针对可逆逻辑电路单个多余门错误,本文为检测所有的错误可能而生成了完备的检测向量集合。本文先是提出了多余门错误模型,然后分析了多余门错误性质,并指出了针对可逆逻辑电路单个多余门错误的检测向量集是否完备的充要条件。随后本文给出了可逆逻辑电路单个多余门错误的完备检测集的生成算法,并对标准电路做了模拟,再将结果与传统方法作比较。对于大型电路,可大大减少应检测的输入输出对,缩短了针对多余门错误的电路检测所花费的时间。