High-Level Synthesis Verification Technologies and Techniques
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.
Conoce al invitado
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.
Recursos relacionados
Vídeo: Enterprise Recipe Management para bienes de consumo envasados: optimización del proceso de desarrollo de recetas
Transforma y amplía tus recetas en cuestión de minutos con Siemens Enterprise Recipe Management. Optimiza la producción y reduce los tiempos de prueba. Nuestro vídeo muestra cómo revolucionar tu proceso de desarrollo de recetas.
Software de gestión de recetas y transformación digital para impulsar la innovación en la industria de bienes de consumo envasados
El software de gestión de recetas aumenta el potencial de I+D y te permite crear productos complejos. Más información.
Optimiza el desarrollo de fórmulas en la fabricación de bienes de consumo envasados
Descubre cómo impulsar la innovación en la fabricación de bienes de consumo envasados con este webinar sobre la optimización del desarrollo de fórmulas.