webinaire à la demande

High-Level Synthesis Verification Technologies and Techniques

Durée estimée : 17 minutes

Partager

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.

À propos de l'intervenant

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.

Ressources associées

Stratégies de rationalisation de l’innovation produit avec les meilleurs outils de gestion des exigences produit.
Webinar

Stratégies de rationalisation de l’innovation produit avec les meilleurs outils de gestion des exigences produit.

Découvrez le rôle stratégique des exigences connectées pour promouv...

Passez à la vitesse supérieure avec Teamcenter X
Video

Passez à la vitesse supérieure avec Teamcenter X

Découvrez Teamcenter X, une solution de gestion du cycle de vie des produits (PLM) SaaS (Software-as-a-Service) simple à utiliser et facile d'accès.

Pourquoi vous devriez choisir un PLM sur le cloud.
Infographic

Pourquoi vous devriez choisir un PLM sur le cloud.

Qu’est-ce que le PLM ? Découvrez comment accélérer la commercialisation de produits innovants grâce à Teamcenter X sur le cloud. En savoir plus.