반도체 전문 온라인 매거진 - 올포칩

지멘스 EDA 사업부 (http://www.siemens.com/eda )는 오키 아이디에스(OKI IDS)사가 자사 설계 및 검증 서비스의 HLS(상위 수준 합성, High-Level Synthesis)와 HLV(상위 수준 검증, High-Level Verification)을 위해, 지멘스의 설계 검증 솔루션인 캐타펄트(Siemens Catapult) 소프트웨어를 채택했다고 발표했다. 

OKI IDS사는 정보통신, 의료 전자공학 및 자율주행 지원 분야에서 첨단 설계 서비스를 제공하고 있다. 이 회사는 통상적인HLS 흐름상에서, HLS(상위 수준 합성) 이후, 시뮬레이션을 통해 C/C++ 과 RTL(Register Transfer Level) 코드를 사용하는 상위수준 모델과 알고리즘 모델의 등가성을 효율적으로 검증하는데 어려움을 겪고 있었다. 

HLS 및 HLV 흐름을 Catapult 내로 통합함으로써 OKI IDS 설계 및 검증 서비스는 HLS C/C++를 사용하는 상위 수준 모델과 알고리즘 모델을 검증하는 테스트벤치의 RTL 기능 검증용 테스트벤치로의 자동 변환이 가능해 졌으며, 이에 통해 상위 수준 모델과 동등한 테스트벤치에서RTL 기능 검증이 가능하게 되었다. 

따라서, 상위수준 합성 후에 RTL 기능 검증을 위한 새로운 테스트 벤치를 개발할 필요가 없어졌다. 또한 C/C++을 실행 사양으로 사용해 상위수준 코드 및 알고리즘을 검증하는 기능을 이제는 RTL 기능 검증에 활용할 수 있게 됨으로써 설계 품질을 크게 향상시킬 수 있게 되었다. 

OKI IDS의 비즈니스 부문(Business Division) 집행임원인 야쓰오 야마모토(Yasuo Yamamoto)는 “업계 유일의 상위수준 합성 및 검증 통합 환경인 Catapult를 채택한 결과, 이제는 고객이 제공하는 C/C++ 코드로 된 실행 사양을 철저히 검증하여 상위수준 합성 후에 등가의 테스트 벤치로 RTL 기능 검증을 달성할 수 있게 되었다”라고 말하며, “이를 통해 사양에 문제가 있을 경우 이를 객관적으로 보여주거나, 우리의 디자인 아티팩트(design artifacts)가 고객의 사양을 충족시킨다는 것을 보여줄 수 있다. 문제를 상위수준 설계 단계에서 상위수준 검증을 통해 해결함으로써 상위수준 설계의 결과품질(QoR)을 개선하고 RTL 기능검증의 효율성을 크게 향상시킬 수 있다. 덕분에 납품 기간을 20퍼센트 이상 단축할 수 있을 것으로 추정된다”라고 말했다. 

Catapult HLS 및 HLV 플랫폼은 업계 최고 수준의 첨단 상위수준 검증 기능을 제공하는데, 그 중에서도 SCVerify와 같은 형식검증 앱 및 기능은 C/C++ 방식의 상위수준 모델 검증 환경을 RTL 검증 환경으로 자동변환하며, Catapult의 설계검사 기능은 HLS에서 C/C++ 코드에 대한 구문 검사 기능을 수행한다. 이러한 기능들은 상위수준 검증을 위한 독보적이고 강력한 기능으로서, 업계의 다른 어느 곳에서도 제공되고 있지 않다. 

지멘스 EDA의 프론트엔드 설계 솔루션 사업부 제너럴 매니저인 모 모바헤드(Mo Movahed)는 “일본 최고의 설계 서비스 회사 중 하나인 OKI IDS가 이제는 Catapult 환경의 상위수준 합성 및 검증 기능을 사용해 서비스를 제공하게 된 것을 기쁘게 생각한다”라고 말하며, “OKI IDS와의 협업을 통해 Catapult를 이용한 HLS 상위수준 설계 및 검증 서비스로 고객 만족도를 더욱 높일 수 있을 것으로 기대한다”라고 말했다.