실리콘에서 전력, 성능 및 면적(PPA)에 최적화한 하드웨어 설계를 변환 및 최적화 지멘스 디지털 인더스트리 소프트웨어 지멘스 EDA 사업부(이하 지멘스)는 오늘 애플리케이션별 집적 회로(ASIC) 및 시스템 온 칩(SoC)에서 신경망 가속기의 상위수준합성(HLS) 솔루션인 캐터펄트 AI NN을 발표했다. Catapult AI NN은 AI 프레임워크에서 신경망 기술에서 시작해 C++로 변환하고, 이를 반도체칩 설계의 프로그램 언어인 베릴로그 또는 VHDL의 RTL 가속기로 합성해 실리콘에서 전력, 성능 및 면적(PPA)에 최적화한 하드웨어 설계를 변환 및 최적화시켜 구현하도록 지원하는 솔루션이다. Catapult AI NN은 머신러닝 하드웨어 가속을 위한 오픈 소스 패키지인 hls4ml과 상위수준합성(HLS)을 위한 Siemens의 Catapult HLS 소프트웨어를 결합시켰다. Catapult AI NN은 미국 에너지부 산하 연구소인 페르미연구소 및 기타 hls4ml의 주요 기여자들과 긴밀히 협력해 개발됐으며, 맞춤형 실리콘의 전력, 성능 및 면적에 대한 머신 러닝 가속기 설계의 고유한 요구 사항을 해결한다. 지멘스 디지털 인더스트리 소프트웨어의 상위수준설
상위수준 합성 후에 등가의 테스트 벤치로 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++을 실행 사양으로 사용해 상위수