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.
Vorstellung des Referenten
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.
Verwandte Ressourcen
Die Zukunft gestalten: Die wichtigsten Trends in der Industriemaschinenbranche
Entdecken Sie die neuesten Trends, die die Zukunft der industriellen Konstruktion prägen und erfahren Sie, welche zentrale Rolle virtuelle Konstruktionsvalidierungstests dabei spielen.
Der digitale Zwilling in der Fertigung: Die nächste Generation der Maschinenkonstruktion
Siemens ist führend im Maschinenbau-Segment und bietet revolutionäre Konstruktionslösungen, die die Grenzen der Branche erweitern. Entdecken Sie die nächste Stufe der Maschinenkonstruktion und beteiligen Sie sich am Umbruch.
Produktionsoptimierung: STiMA – Anwenderbericht
Verfolgen Sie dieses Video zum Anwenderbericht über die Produktionsoptimierung bei STiMA.