일반뉴스 지멘스, OKI IDS에 설계 검증 위한 캐타펄트 소프트웨어 공급

상위수준 합성 후에 등가의 테스트 벤치로 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++을 실행 사양으로 사용해 상위수

• 서재창 기자
• 2023-07-07 13:34