{"id":60,"date":"2021-06-17T11:12:00","date_gmt":"2021-06-17T15:12:00","guid":{"rendered":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/?p=60"},"modified":"2026-03-26T15:59:58","modified_gmt":"2026-03-26T19:59:58","slug":"ai-ml-accelerator-tutorial-c-level-design-verification-using-hls-virtual-seminar","status":"publish","type":"post","link":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/2021\/06\/17\/ai-ml-accelerator-tutorial-c-level-design-verification-using-hls-virtual-seminar\/","title":{"rendered":"AI\/ML Accelerator Tutorial: C-level Design &#038; Verification Using HLS | Virtual Seminar"},"content":{"rendered":"\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<p class=\"has-normal-font-size\">Catapult HLS (High-Level Synthesis) and C-level design and verification are reducing entire project development times by half or more in today\u2019s ASIC and FPGA designs. It is being used to create production-quality HW Accelerators for multiple applications such as 5G and Communication, Image and Video Processing, Automotive, and AI\/ML much faster than hand-coded RTL with equivalent power, performance and area. Many new to HLS, however, have questions about how to take advantage of the productivity benefits of moving up in abstraction and still have the verification closure and confidence that they have with their current methodology.<\/p>\n\n\n\n<p class=\"has-normal-font-size\">This technical seminar will be a case study of an AI\/ML accelerator design in an AMBA AXI-based subsystem. It will go step-by-step from an algorithm through C-based design and system-level performance validation, HW\/SW integration, and then comprehensive verification through RTL coverage closure showing both tools and methodology.&nbsp;<\/p>\n\n\n\n<p class=\"has-normal-font-size\">To deliver high-quality technical content and more personal interaction, we have split the seminar to run over 2-days with approx. 3 hrs each day; the first day more heavily weighted for design and the second for verification. We have added interactive breakout sessions, live Q&amp;A with the experts in addition to open-source examples and free On-Demand training that you can try on your own when the seminar is complete. Save your place by registering below and we look forward to seeing you live on the day.<\/p>\n<\/div><\/div>\n<\/div><\/div>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link\" href=\"https:\/\/event.on24.com\/wcc\/r\/3180279\/CF8C059AAA53EDB4CF0064A4A0FA1B83?partnerref=blog\" target=\"_blank\" rel=\"noreferrer noopener\">Register for North America<\/a><\/div>\n<\/div>\n\n\n\n<p class=\"has-normal-font-size\"><strong>North America Dates:<\/strong>&nbsp;June 22 &amp; 24, 9AM-12:30PM Pacific Time<\/p>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link\" href=\"https:\/\/event.on24.com\/wcc\/r\/3187802\/BF0CAE586A768CDB1314C956F64ABA35?partnerref=blog\" target=\"_blank\" rel=\"noreferrer noopener\">Register for Europe<\/a><\/div>\n<\/div>\n\n\n\n<p class=\"has-normal-font-size\"><strong>Europe Dates<\/strong>: June 29 &amp; July 1, 15:00-18:30 Central European Time<\/p>\n\n\n\n<p><\/p>\n<\/div><\/div>\n\n\n\n<style type=\"text\/css\">\/*\n CSS for the main interaction\n*\/\n.accordion > input[type=\"checkbox\"] {\n  position: absolute;\n  left: -100vw;\n}\n.accordion .content {\n  overflow-y: hidden;\n  height: 0;\n  transition: height 0.3s ease;\n}\n.accordion > input[type=\"checkbox\"]:checked ~ .content {\n  height: auto;\n  overflow: visible;\n}\n.accordion label {\n  display: block;\n}\n\/*\n Styling\n*\/\nbody {\n  font: 16px\/1.7em \"Overpass\", \"Open Sans\", Helvetica, sans-serif;\n  color: #333;\n  font-weight: 400;\n}\n.accordion {\n  margin-bottom: 1em;\n}\n.accordion > input[type=\"checkbox\"]:checked ~ .content {\n  padding: 10px;\n  border: 1px solid #e8e8e8;\n  border-top: 0;\n}\n.accordion .handle {\n  margin: 0;\n  font-size: 1.2em;\n  line-height: 1.1em;\n}\n.accordion label {\n  color: #333;\n  cursor: pointer;\n  font-weight: normal;\n  padding: 15px;\n  background: #e8e8e8;\n}\n.accordion label:hover,\n.accordion label:focus {\n  background: #d8d8d8;\n}\n.accordion .handle label:after {\n  font-family: 'fontawesome';\n  content: \"\\f054\";\n  display: inline-block;\n  margin-right: 10px;\n  font-size: .56em;\n  line-height: 1.556em;\n  vertical-align: middle;\n}\n.accordion > input[type=\"checkbox\"]:checked ~ .handle label:after {\n  content: \"\\f078\";\n}\n\/*\n Demo purposes only\n*\/\n*,\n*:before,\n*:after {\n  box-sizing: border-box;\n}\nbody {\n  padding: 10px;\n}\na {\n  color: #06c;\n}\np {\n  margin: 0 0 1em;\n}\nh1 {\n  margin: 0 0 1.5em;\n  font-weight: 600;\n  font-size: 1.5em;\n}\nh2 {\n  margin: 0 0 1.5em;\n  font-weight: 400;\n  font-size: 1em;\n}\nh3 {\n  font-weight: 400;\n  font-size: 1em;\n}\n.accordion {\n  max-width: 65em;\n}\n.accordion p:last-child {\n  margin-bottom: 0;\n}\n<\/style>\n<h1>Agenda Day 1<\/h1>\n\n<section class=\"accordion\"><input id=\"handle1\" name=\"collapse1\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle1\">30 min &#8211; Seminar Introduction and Customer Case Studies&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>This session will give an overview of the seminar and what you will learn. It will also present a high level introduction of the status of Catapult HLS capabilities today, high-level vision and roadmap and several customer case-studies from companies like NVIDIA, Google, Facebook, Microsoft, Horizon Robotics and more.<\/h3>\n<\/div>\n<\/section><br>\n\n<section class=\"accordion\"><input id=\"handle2\" name=\"collapse2\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle2\">30 min &#8211; High-Level Synthesis Design Intro and Benefits&nbsp; <\/label><\/h2>\n<div class=\"content\">\n<h3>HLS enables designers to rapidly go from a high-level description in C++\/SystemC to optimized RTL. This introduction session will show the basics around how high-level synthesis and Catapult HLS can be used to synthesize to optimal RTL for a production design flow.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle3\" name=\"collapse3\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle3\">30 min &#8211; Intro to Modeling Performance and Verification with Synthesizable MatchLib&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>MatchLib is a new open-source library written in SystemC and C++, originally created by NVIDIA, that enables much faster design and verification of SOCs using HLS. One of the primary objectives of MatchLib is easier performance accurate modeling of SOCs which enables designers to find system-level performance bottlenecks far sooner in their design cycle. This session will introduce MatchLib, and show how it enables designers to identify and resolve issues such as bus and memory contention, arbitration strategies, and optimal interconnect structure at a much higher level of abstraction than RTL.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle13\" name=\"collapse13\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle13\">15 min &#8211; Break&nbsp;<\/label><\/h2>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle4\" name=\"collapse4\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle4\">30 min &#8211; Automating High-Level Design Creation&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>In this session you will learn how to create a MatchLib-based submodule using the COSIDE module editor and integrate it into a larger processor\/memory subsystem. It will demonstrate how modules can be composed using the schematic editor and how a template for a testbench and stimuli can be generated. This session will also show how the design, including the MatchLib-based accelerator, can be simulated, analyzed, and debugged at an abstract level.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle5\" name=\"collapse5\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle5\">60 min &#8211; Early Performance Analysis and Architectural Optimization of a Machine Learning Accelerator Using MatchLib&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>This session focuses on the design and optimization of a machine learning HW accelerator using MatchLib. The accelerator is designed to be part of a larger system, including a CPU, and uses MatchLib AXI4 master and slave interfaces to connect to the system bus. MatchLib and SystemC simulation is used to demonstrate how modelling performance early lets designers easily, and accurately, optimize and refine their hardware architecture prior to running synthesis.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle14\" name=\"collapse14\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle14\">10 min &#8211; Day 1 summary and highlights for Day 2&nbsp;<\/label><\/h2>\n<\/section><br>\n<h1>Agenda Day 2<\/h1><br>\n<section class=\"accordion\"><input id=\"handle6\" name=\"collapse6\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle6\">20 min &#8211; Day 1 Recap and High-Level Verification Introduction for day 2&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>This session will give a brief summary of what we learned in Day1 (recordings will be available if you are unable to attend). It will then give an introduction to some of the verification benefits, concepts, choices and methodologies that can be used when your design is described in synthesizable HLS code written in C++\/SystemC along with an introduction of the methodology and sessions for Day2.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle7\" name=\"collapse7\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle7\">30 min &#8211; System Integration and Programming&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>This session will show the final AI\/ML accelerator being integrated into an ARM processor based platform using COSEDA Technology\u2019s COSIDE development environment. It will include programming the accelerator from an application running on the ARM core, and measuring end-to-end inference performance as well as the co-simulation of abstract TLM based models with the RTL models of the HLS synthesized modules. Coseda\u2019s COSIDE permits a fast and easy setup and simulation of complex virtual platforms as well as a gradual refinement towards implementation.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle8\" name=\"collapse8\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle8\">20 min &#8211; Intro to Questa Verification Management&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>This session will give an introduction to the concepts needed to manage today&#8217;s verification process from build and regression management through coverage and results analysis and tracing and tracking against specification and a plan. It will highlight the Questa Verification Management suite of tools, methodology and Unified Coverage Database technology and roadmap that can deliver comprehensive solutions from C to RTL and desktop to cloud.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle9\" name=\"collapse9\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle9\">40 min &#8211; High-Level Verification Benefits, Tools and Methodology&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>In conjunction with HLS, High-Level Verification (HLV) allows verification teams to verify designs sooner, at a higher level of abstraction, and in a more efficient manner than traditional RTL flows. Yet HLV is accomplished using known and trusted RTL verification techniques. This session will show the benefits of using high-level verification and introduce a family of Catapult HLV tools to verify HLS designs at the C-level.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle15\" name=\"collapse15\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle15\">15 min &#8211; Break&nbsp;<\/label><\/h2>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle10\" name=\"collapse10\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle10\">45 min &#8211; Achieving Verification Signoff within an HLS Flow&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>Even with HLS, verification signoff still occurs at the RTL level. This session will demonstrate efficient re-use of the HLV flow highlighted in the previous session. This flow, when used along with a few additional approaches, will be used to quickly and deterministically achieve verification signoff requirements, including code and functional coverage closure, on the post-HLS RTL.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle11\" name=\"collapse11\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle11\">30 min &#8211; Leveraging Formal Techniques to Help Verify HLS Models&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>Formal techniques can be used in new and innovative ways to help speed verification of HLS models. This session will describe some new approaches to use formal techniques to help automate verification closure for HLS models.<\/h3>\n<\/div>\n<\/section><br>\n<section class=\"accordion\"><input id=\"handle12\" name=\"collapse12\" type=\"checkbox\">\n<h2 class=\"handle\"><label for=\"handle12\">10 min &#8211; Seminar Close\/Prize&nbsp;<\/label><\/h2>\n<div class=\"content\">\n<h3>Summary, what we learned, where to get more help, and the prize drawing.<\/h3>\n<\/div>\n<\/section>\n","protected":false},"excerpt":{"rendered":"<p>Catapult HLS (High-Level Synthesis) and C-level design and verification are reducing entire project development times by half or more in&#8230;<\/p>\n","protected":false},"author":69986,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":true,"template":"","format":"standard","meta":{"spanish_translation":"","french_translation":"","german_translation":"","italian_translation":"","polish_translation":"","japanese_translation":"","chinese_translation":"","footnotes":""},"categories":[5],"tags":[323,305,306,324],"industry":[13,20,34],"product":[84,85,233],"coauthors":[337],"class_list":["post-60","post","type-post","status-publish","format-standard","hentry","category-events","tag-ai","tag-asic","tag-fpga","tag-ml","industry-aerospace-defense","industry-automotive-transportation","industry-electronics-semiconductors","product-catapult","product-catapult-coverage","product-slec"],"_links":{"self":[{"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/posts\/60","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/users\/69986"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/comments?post=60"}],"version-history":[{"count":5,"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/posts\/60\/revisions"}],"predecessor-version":[{"id":241,"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/posts\/60\/revisions\/241"}],"wp:attachment":[{"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/media?parent=60"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/categories?post=60"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/tags?post=60"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/industry?post=60"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/product?post=60"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.sw.siemens.com\/hlsdesign-verification\/wp-json\/wp\/v2\/coauthors?post=60"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}