상위수준 합성 후에 등가의 테스트 벤치로 RTL 기능 검증 달성
지멘스 디지털 인더스트리 소프트웨어 지멘스 EDA 사업부는 7일 오키 아이디에스(OKI IDS)가 자사 설계 및 검증 서비스의 HLS(상위 수준 합성)와 HLV(상위 수준 검증)을 위해 자사의 설계 검증 솔루션인 '캐타펄트 소프트웨어'를 채택했다고 발표했다.
OKI IDS는 정보통신, 의료 전자공학 및 자율주행 지원 분야에서 첨단 설계 서비스를 제공한다. 이 회사는 통상적인 HLS 흐름 상에서 HLS 이후, 시뮬레이션을 통해 C/C++과 RTL 코드를 사용하는 상위수준 모델과 알고리즘 모델의 등가성을 효율적으로 검증하는데 어려움을 겪고 있었다.
OKI IDS 설계 및 검증 서비스는 HLS 및 HLV 흐름을 캐타펄트 내로 통합함으로써 HLS C/C++를 사용하는 상위 수준 모델과 알고리즘 모델을 검증하는 테스트벤치의 RTL 기능 검증용 테스트벤치로의 자동 변환이 가능해졌으며, 이에 상위 수준 모델과 동등한 테스트벤치에서 RTL 기능 검증이 가능해졌다.
따라서, 상위수준 합성 후에 RTL 기능 검증을 위한 새로운 테스트 벤치를 개발할 필요가 없어졌다. 또한, C/C++을 실행 사양으로 사용해 상위수준 코드 및 알고리즘을 검증하는 기능을 이제는 RTL 기능 검증에 활용할 수 있게 됨으로써 설계 품질을 크게 향상시킬 수 있게 됐다.
OKI IDS의 비즈니스 부문 집행임원인 야쓰오 야마모토(Yasuo Yamamoto)는 “캐타펄트를 채택한 결과, 이제는 고객이 제공하는 C/C++ 코드로 된 실행 사양을 철저히 검증해 상위수준 합성 후에 등가의 테스트 벤치로 RTL 기능 검증을 달성하게 됐다”고 말했다.
이어 그는 “이를 통해 사양에 문제가 있을 경우 이를 객관적으로 보여주거나, 우리의 디자인 아티팩트가 고객의 사양을 충족시킨다는 것을 보여준다. 문제를 상위수준 설계 단계에서 상위수준 검증을 통해 해결함으로써 상위수준 설계의 결과 품질을 개선하고 RTL 기능검증의 효율성을 크게 향상시킨다. 덕분에 납품 기간을 20% 이상 단축할 것으로 추정된다”고 말했다.
캐타펄트 HLS 및 HLV 플랫폼은 업계 최고 수준의 첨단 상위수준 검증 기능을 제공하는데, 그 중에서도 SCVerify와 같은 형식검증 앱 및 기능은 C/C++ 방식의 상위수준 모델 검증 환경을 RTL 검증 환경으로 자동변환한다. 캐타펄트의 설계검사 기능은 HLS에서 C/C++ 코드에 대한 구문 검사 기능을 수행한다. 이러한 기능은 상위수준 검증을 위한 것이다.
지멘스 EDA의 프론트엔드 설계 솔루션 사업부 제너럴 매니저인 모 모바헤드(Mo Movahed)는 “OKI IDS가 이제는 캐타펄트 환경의 상위수준 합성 및 검증 기능을 사용해 서비스를 제공하게 된 것을 기쁘게 생각한다”며, “OKI IDS와의 협업을 통해 캐타펄트를 이용한 HLS 상위수준 설계 및 검증 서비스로 고객 만족도를 높일 것으로 기대한다”고 말했다.
헬로티 서재창 기자 |
