백서
디지털 인증 관리
초소형 글라이더와 헬리콥터부터 초대형 민항기 및 군용 제트기에 이르는 모든 항공기는 설계와 시제품의 감항성을 검증받고 확보해야 합니다. 감항성 인증으로 알려진 이 프로세스는 제조사, 소유주, 운영업체 및 항공기 수명 전반에 관여하는 모든 이해관계자에 적용됩니다.
관련 자료
Fact Sheet
Korean Catapult High-Level Synthesis and Verification
Korean Verification (HLV) tools and methodologies that enable designers to complete their verification signoff at the C++ level with fast closure for RTL.
Webinar
High-Level Synthesis Verification Technologies and Techniques
This session will describe applying known and trusted static, formal and dynamic approaches to verification performed at the C++ or SystemC HLS level of abstraction.