[논문 리뷰] Testing of Bridging Faults in AND-EXOR based Reversible Logic Circuits

Avik Chakraborty|arXiv (Cornell University)|2010. 09. 26.

Quantum Computing Algorithms and Architecture참고 문헌 6인용 수 5

한 줄 요약

이 논문은 k-CNOT 게이트를 비가역적 AND 및 EXOR 게이트로 실현한 AND-EXOR 기반의 가역 논리 회로에서 단일 다리 결함(SBF)을 탐지하기 위한 테스트 셋 생성 방법을 제안한다. (n+p)-입력 회로에서 p개의 관측 가능한 출력을 갖는 경우, SBF에 대해 완전히 테스트할 수 있도록 (3n + ⌈log₂p⌉ + 2)개의 테스트 벡터를 사용할 수 있음을 증명하며, 이는 이 종류의 가역 회로에 대해 결정론적이고 효율적인 테스트 가능성 프레임워크를 제공한다.

ABSTRACT

Reversible circuits find applications in many areas of Computer Science including Quantum Computation. This paper examines the testability of an important subclass of reversible logic circuits that are composed of k-wire controlled NOT (k-CNOT with k >/- 1) gates. A reversible k-CNOT gate can be implemented using an irreversible k-input AND gate and an EXOR gate. A reversible k-CNOT circuit where each k-CNOT gate is realized using irreversible k-input AND and EXOR gate, has been considered. One of the most commonly used Single Bridging Fault model (both wired-AND and wired-OR) has been assumed to be type of fault for such circuits. It has been shown that an (n+p)-input AND-EXOR based reversible logic circuit with p observable outputs, can be tested for single bridging faults (SBF) using (3n + \lefthalfcap log2p ighthalfcap + 2) tests.

연구 동기 및 목표

• 가상 계산 및 저전력 설계에 핵심적인 역할을 하는 가역 논리 회로에서 다리 결함을 테스트하는 데 도전하는 문제를 해결하기 위해.
• AND-EXOR 기반의 가역 회로에서 k-CNOT 게이트가 비가역적 AND 및 EXOR 게이트로 실현된 경우의 테스트 가능성 분석을 위해.
• 와이어드-AND 및 와이어드-OR 결함 모델 모두에서 단일 다리 결함(SBF)을 탐지할 수 있는 체계적인 테스트 셋 생성 방법을 개발하기 위해.
• 이러한 회로 유형에서 전체 SBF 탐지를 위해 필요한 테스트 벡터 수의 이론적 상한을 설정하기 위해.

제안 방법

• 단일 다리 결함을 두 신호선 간의 단락으로 모델링하며, 와이어드-AND 및 와이어드-OR 결함 유형을 모두 고려한다.
• k-CNOT 게이트를 k입력 AND 및 EXOR 게이트로 분해하여 장애 전파 및 탐지 가능성 분석을 수행한다.
• 입력 및 출력의 구조적 특성을 기반으로 한 테스트 셋 생성 전략을 개발하며, 주로 관측 가능한 출력과 입력 민감도에 중점을 둔다.
• 필요한 최소 테스트 벡터 수에 대한 닫힌 형태의 수식을 유도한다: (3n + ⌈log₂p⌉ + 2), 여기서 n은 입력 수이고 p는 관측 가능한 출력 수이다.
• 모든 단일 다리 결함이 체계적으로 커버되도록 중요한 신호 경로와 게이트 수준 민감도를 모두 포함함으로써, 모든 결함 탐지 가능성을 보장한다.
• 이론적 분석을 통해 유도된 테스트 셋이 주어진 회로 유형에서 전체 SBF 커버리지에 대해 필수적이고 충분함을 확인한다.

실험 결과

연구 질문

• RQ1 AND-EXOR 기반의 가역 회로에서 모든 단일 다리 결함을 탐지하기 위해 필요한 최소 테스트 벡터 수는 얼마인가?
• RQ2 AND 및 EXOR 게이트로 실현된 k-CNOT 게이트의 구조가 장애 탐지 가능성에 어떤 영향을 미치는가?
• RQ3 관측 가능한 출력을 가진 가역 회로에서 SBF 탐지를 위한 결정론적이고 컴팩트한 테스트 셋을 구성할 수 있는가?
• RQ4 입력 수(n)와 관측 가능한 출력 수(p)가 이러한 회로에서 테스트 셋 크기에 어떤 영향을 미치는가?
• RQ5 제안된 테스트 셋이 표준 다리 결함 모델 하에서 전체 SBF 커버리지에 충분하고 필수적인가?

주요 결과

• 제안된 테스트 셋 크기는 (3n + ⌈log₂p⌉ + 2)개의 테스트 벡터이며, 이는 (n+p)-입력 AND-EXOR 기반의 가역 회로에서 모든 단일 다리 결함을 탐지하기 위해 필수적이고 충분하다.
• 이 방법은 와이어드-AND 및 와이어드-OR 결함 모델 모두에서 단일 다리 결함의 완전한 커버리지를 보장한다.
• 테스트 셋은 입력 민감도와 출력 관측 가능성에 기반하여 구성되어 있어, 전수 시뮬레이션 없이도 효율적인 장애 탐지가 가능하다.
• p에 대한 상용 로그 항(⌈log₂p⌉)의 존재는 테스트 셋 크기가 관측 가능한 출력 수에 따라 느리게 증가함을 시사한다.
• 이론적 상한은 k-CNOT 기반 회로의 게이트 수준 장애 전파의 구조적 분석에서 유도되었으며, 매우 날카롭게 조밀한 경계를 형성한다.
• 이 접근법은 양자 컴퓨팅 및 저전력 컴퓨팅에 사용되는 가역 논리 회로의 테스팅을 위한 확장 가능하고 결정론적인 솔루션을 제공한다.