온디맨드 웨비나

High-Level Synthesis Verification Technologies and Techniques

예상 소요 시간: 17분

공유

Picture of session's intro slide

When designing with High-Level Synthesis (HLS) many have questions regarding verification. Waiting to verify until you have post-HLS RTL is too late and too inefficient. 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.

발표자 소개

Siemens EDA

David Aerne

Verification Technologist

Dave Aerne is a Verification Technologist within the Calypto Systems Division, focusing on HLV (High-Level Verification) solutions. His particular areas of expertise are the UVM and Verification IP. Prior to joining the EDA industry, he gained over 18 years of SoC Design and Verification experience in various roles at semiconductor companies and fabless startups. Dave received a BSCompE from the University of Illinois at Urbana-Champaign and a MSCompE from National Technological University in Fort Collins, Colorado.

관련 자료

2030년의 해양 산업: 스마트 선박 제작
Analyst Report

2030년의 해양 산업: 스마트 선박 제작

해양 분석 및 해양 IoT는 조선업체를 위한 무한한 가능성을 이끌어 나가고 있습니다. 스마트 선박이 오늘날의 불확실한 해양 경제를 헤쳐 나가는 데 어떻게 도움이 되는지 알아보십시오.

해양 분야에 디지털 트윈 적용
Solution Brief

해양 분야에 디지털 트윈 적용

해운업계는 난항을 겪고 있습니다. 경제적 불확실성이 포화 상태의 해운 시장에 계속해서 영향을 미치는 가운데, 선주와 운영자는 운영 가용성을 개선하고 운영 비용을 절감하여 이윤을 극대화해야 합니다. 동시에 정보 통신 기술(ICT)이 부상하면서 데이터 수집, 교환 및 분석 기술이 전례 없는 수준으로 향상되어 해운 회사와 조선소에 새로운 지평이 열리고 있습니다. 그렇다면, 해양 산업에서는 새롭게 다가오는 이...

2030년의 해양 산업: 디지털 선단의 모색
Analyst Report

2030년의 해양 산업: 디지털 선단의 모색

최고의 업계 분석가가 디지털 트윈 및 스마트 기술을 활용하여 선단 운영 최적화에 도움이 되는 통찰력을 확보할 수 있는 방법을 설명합니다.