불안정성을 포함한 덧셈을 위한 복구 가능한 코드

초록

본 논문은 메타스테이빌리티(불안정) 비트를 포함한 입력값을 구간 형태로 표현하고, 그 구간의 불확실성을 증폭시키지 않는 인코딩과 덧셈 회로를 설계한다. ‘보존 가능’ 및 ‘복구 가능’ 코드를 정의하고, 주어진 불확실성 한계에 대한 코드율 상한을 증명한다. 이후 ℓ‑정밀도를 유지하는 (n+ℓ) 비트 하이브리드 코드를 제시하고, 해당 코드를 위한 메타스테이빌리티‑포함(adder) 회로를 설계한다. 제안된 코드는 기존 유니터리 코드 대비 높은 전송율을 가지면서도 메타스테이빌리티에 강인한 연산을 가능하게 한다.

상세 분석

이 논문은 메타스테이빌리티가 발생한 디지털 신호를 어떻게 효율적으로 처리할 것인가라는 근본적인 문제에 접근한다. 기존의 바이너리 인코딩은 하나의 메타스테이빌리티 비트가 전파될 경우 출력 비트 전체가 불안정해지는 현상을 보여준다(표 1). 이는 ‘불확실성 증폭’이라고 부를 수 있으며, 메타스테이빌리티‑포함 회로가 설계되더라도 근본적인 정보 손실을 막지 못한다. 반면, 유니터리(thermometer) 코드는 각 비트가 직접적인 카운트 역할을 하여 불확실성을 그대로 유지하지만, n 비트당 표현 가능한 값의 범위가 O(n)으로 제한돼 전송율이 매우 낮다.

논문은 이러한 트레이드오프를 정량화하기 위해 ‘보존 가능(preserving)’과 ‘복구 가능(recoverable)’이라는 두 가지 코드 특성을 정의한다. 보존 가능 코드는 메타스테이빌리티가 해결된 후 출력 구간이 입력 구간들의 합과 정확히 일치함을 의미한다. 복구 가능 코드는 모든 비코드워드(비정상 문자열)를 적절한 매핑을 통해 코드워드로 변환했을 때, 메타스테이빌리티가 해소된 후에도 여전히 보존 가능한 구간에 속하도록 보장한다.

주요 이론적 결과는 ℓ‑정밀도(입력 구간의 최대 크기 ℓ)에 대해 코드율의 상한이 O(2^{n‑ℓ}·ℓ/n)임을 증명한 것이다. 이는 불확실성을 제한적으로 허용하더라도 일정량의 중복 비트가 필수임을 의미한다. 이 한계에 근접하는 구성으로 (n+ℓ) 비트 하이브리드 코드를 제안한다. 이 코드는 앞쪽 n 비트를 반사 그레이 코드(BRGC)로, 뒤쪽 ℓ 비트를 유니터리 서브코드로 구성한다. BRGC는 인접한 정수를 한 비트 차이로 표현하므로 큰 범위의 값을 압축하고, 유니터리 파트는 작은 구간 내에서 정밀도를 보존한다. 결과적으로 전체 코드율은 1‑O(ℓ/n)으로, ℓ이 상수일 경우 거의 최적에 가깝다.

덧셈 회로 설계에서는 먼저 안정된 코드워드에 대해 전통적인 병렬/시리얼 가산기를 적용하고, 그 결과를 메타스테이빌리티‑포함 회로로 변환한다. 비코드워드 매핑 단계는 단순히 가장 가까운 유효 코드워드로 라운딩하는 방식으로 구현 가능하며, 이는 회로 복잡도에 큰 영향을 주지 않는다. 메타스테이빌리티‑포함 구현은 기존의 마스킹 레지스터 기법을 활용해 O((n+ℓ)·ℓ) 크기와 O(ℓ·log n) 깊이의 회로를 얻는다. 마스킹 레지스터를 이용하면 메타스테이빌리티 비트가 전파될 경우 출력이 늦게 전이되도록 강제함으로써, 최악의 경우에도 출력 구간이 입력 구간의 합과 일치하도록 보장한다.

또한 논문은 이 설계가 실제 시스템, 예를 들어 Lynch‑Welch 기반의 클럭 동기화 알고리즘에 바로 적용될 수 있음을 보여준다. 해당 알고리즘에서는 TDC가 생성하는 위상 측정값이 최대 하나의 메타스테이빌리티 비트를 포함하고, 두 측정값을 합산한 뒤 2로 나누는 연산이 필요하다. 제안된 하이브리드 코드는 이러한 상황에서 k=2(두 비트) 정도의 불확실성을 충분히 커버하면서도 추가적인 동기화 지연 없이 연산을 수행하게 한다.

전체적으로 이 연구는 메타스테이빌리티가 불가피한 현대 고속 디지털 설계에서, 정보 손실을 최소화하고 회로 효율성을 유지할 수 있는 코딩‑연산 프레임워크를 제공한다. 기존의 단순 동기화 방식이나 완전 유니터리 기반 설계보다 훨씬 높은 전송율과 낮은 지연을 달성하면서도, 메타스테이빌리티에 대한 정량적 보장을 제공한다는 점이 가장 큰 공헌이다.