네트워크 흐름 기반 동시 리타이밍 및 슬랙 예산 최적화

초록

본 논문은 리타이밍과 슬랙 예산을 동시에 고려한 전력 최소화 문제를 정수선형계획(ILP)으로 모델링하고, 이를 볼록 비용 이중 네트워크 흐름 형태로 변환한다. 변환 과정에서 제약을 완화하고 라그랑주 이완을 적용해 최소 비용 흐름 문제로 전환함으로써, 기존 방법에 비해 전력 감소 8.9%와 실행 시간 500배 향상을 달성하였다.

상세 분석

논문은 먼저 순차 회로를 정점이 논리 게이트, 간선이 신호 전송을 나타내는 유향 그래프 G(V,E,d,w) 로 모델링한다. 각 정점 i 에는 지연 d_i 와 슬랙 s_i 가 정의되고, 슬랙은 최신 도착 시간 a_i 와 요구 시간 γ_i 의 차이로 계산된다. 리타이밍은 정점 라벨 r_i 로 표현되며, 간선 (i,j) 위의 플립플롭 수는 w_{ij}+r_j−r_i 로 변환된다. 전력‑슬랙 곡선은 이산적인 k 단계의 볼록 감소 함수로 가정하고, 목표는 전체 전력을 최소화하면서 클럭 주기 T 를 만족하도록 r_i 와 s_i 를 선택하는 것이다.

이를 ILP 형태(I) 로 기술한 뒤, 제약식 (IIh) 를 제거하고 페널티 함수 P(t_{ij}) 를 도입해 단순화된 모델(III) 로 전환한다. 이후 정리 과정을 통해 (III) 의 제약 중 R_i−r_i ≤ T 를 불필요함을 증명하고, 모든 제약을 등식 형태로 바꾸어 문제를 네트워크 흐름 형태로 재구성한다. 구체적으로 각 정점 i 를 두 개의 노드 r̂_i 와 R̂_i 로 분리하고, 이들 사이와 인접 정점 사이에 세 종류의 간선을 추가해 흐름 변수 μ_i 와 슬랙 변수 s_{ij} 로 표현한다.

제약을 완전히 없애기 위해 비용 함수에 큰 상수 M 을 이용한 페널티를 삽입하고, 라그랑주 이완을 적용해 Lagrangian 서브문제(L) 를 만든다. 이 서브문제는 각 간선에 대해 H_{ij}(x_{ij}) = min_{s_{ij}}{P_{ij}(s_{ij}) + x_{ij}s_{ij}} 형태의 볼록/오목 함수로 변환된다. H_{ij} 는 구간별 선형 구간의 기울기로 표현되며, 이를 −H_{ij}=C_{ij} 로 바꾸면 전체 목표는 최소 비용 흐름(min‑cost‑flow) 문제로 귀결된다.

마지막으로 확장 네트워크 G’ 를 구성해 모든 간선을 비용 C_{ij}(x_{ij}) 와 용량 제한을 부여하고, 기존의 비용 스케일링 알고리즘을 적용해 최적 흐름을 계산한다. 이 과정은 다항 시간에 해결 가능하므로, 원래 NP‑hard인 ILP 문제를 근사적으로지만 거의 최적에 가깝게 풀 수 있다. 실험에서는 ISCAS’89 및 대형 벤치마크 회로에 적용해 전력 감소 8.9%와 기존 최적화 도구 대비 500배 빠른 실행 시간을 보고하였다.

핵심 기여는 (1) 리타이밍과 슬랙 예산을 하나의 통합 모델로 수학화, (2) 볼록 비용 이중 네트워크 흐름으로 변환해 다항 시간 알고리즘 적용, (3) 제약 완화와 라그랑주 이완을 통한 근사 정확도 유지, (4) 실제 설계 흐름에 적용 가능한 높은 효율성 입증이다.