,

BDD를 이용한 ECO 자동화

,

효율적인 동적 온도 관리를 위한 전력 계산기 설계

,

클록 게이팅 기반 상위 수준 전력 분석 사례

,

실시간 동작 인식 알고리즘의 상위수준 설계 분석 및 잡음 제거 하드웨어의 집적 회로 구현

,

설계변경 (ECO) 자동화