상위 수준 모델과 동등한 테스트벤치에서 RTL 기능 검증
오키 아이디에스(OKI IDS)사가 자사 설계 및 검증 서비스의 HLS(상위 수준 합성, High-Level Synthesis)와 HLV(상위 수준 검증, High-Level Verification)을 위해 지멘스 캐타펄트(Siemens Catapult™) 설계 검증 솔루션 소프트웨어를 채택했다.
지멘스 디지털 인더스트리 소프트웨어, 지멘스 EDA 사업부는 일본 최고의 설계 서비스 회사 중 하나인 OKI IDS가 지멘스 캐타펄트(Catapult) 환경에서 상위수준 합성 및 검증 기능을 사용하게 됐다고 밝혔다.
정보통신, 의료 전자공학 및 자율주행 지원 분야에서 첨단 설계 서비스를 제공하는 일본 기업인 OKI IDS사는 통상적인 HLS 흐름상에서 HLS(상위 수준 합성) 이후 시뮬레이션을 통해 C/C++ 과 RTL(Register Transfer Level) 코드를 사용하는 상위 수준 모델과 알고리즘 모델의 등가성을 효율적으로 검증하는 문제를 해결하게 됐다.
지멘스 EDA는 “HLS 및 HLV 흐름을 지멘스 Catapult 내로 통합함으로써 OKI IDS 설계 및 검증 서비스는 HLS C/C++를 사용하는 상위 수준 모델과 알고리즘 모델을 검증하는 테스트벤치의 RTL 기능 검증용 테스트벤치로의 자동 변환이 가능해 졌다. 이에 통해 상위 수준 모델과 동등한 테스트벤치에서 RTL 기능 검증이 가능해 졌다.”고 설명했다.
따라서, C/C++을 실행 사양으로 사용해 상위수준 코드 및 알고리즘을 검증하는 기능을 이제는 RTL 기능 검증에 활용할 수 있게 됨으로써 설계 품질을 크게 향상시킬 수 있게 되었다는 것.
OKI IDS의 비즈니스 부문(Business Division) 집행임원인 야쓰오 야마모토(Yasuo Yamamoto)는 “상위 수준 합성 및 검증 통합 환경인 Catapult를 채택으로 이제는 고객이 제공하는 C/C++ 코드로 된 실행 사양을 철저히 검증해 상위 수준 합성 후에 등가의 테스트 벤치로 RTL 기능 검증을 달성할 수 있게 되었다”고 말했다.
또한, 이를 통해 상위수준 설계의 결과품질(QoR)을 개선하고 RTL 기능검증의 효율성을 크게 향상시킨 것은 물론, 납품 기간을 20퍼센트 이상 단축하는 성과를 거뒀다.
