8.8 Model Based Design and Verification Day - Tutorial: An Industry Approach to FPGA/ARM System Development and Verification

Date: Wednesday 16 March 2016
Time: 17:00 - 18:30
Location / Room: Exhibition Theatre

Moderator:
John Zhao, MathWorks Inc., US

With its special "Model Based Design and Verification Day" DATE 2016 for the first time combines a visionary keynote from an industrial leader, application talks of experienced users and an industrial tutorial with two sessions of the DATE conference Technical Program on latest research results in the field. This gives attendees the opportunity to get a comprehensive overview on start-of-the-art in model based design and test, ranging from industrial application to academic research.

This session concludes the day with an industrial tutorial on FPGA/ARM System Development and Verification. The previous sessions of this day were Exhibition Theatre session 5.8 with an Exhibition Keynote given by Jim Tung, MathWorks Fellow at MathWorks Inc., and an Application Talk given by Robert Stewart, MathWorks Professor at University of Strathclyde, followed by the Technical Program sessions 6.6 and 7.6 covering research work on modelling and control of cyber-physical systems and techniques for the analysis and testing of embedded software, respectively.

Click here to download The MathWorks "Model Based Design and Verification Day" flyer.

Time	Label	Presentation Title Authors
17:00	8.8.1	TUTORIAL: AN INDUSTRY APPROACH TO FPGA/ARM SYSTEM DEVELOPMENT AND VERIFICATION Speaker: John Zhao, MathWorks Inc., US Abstract MATLAB and Simulink provide a rich environment for embedded-system development, with libraries of proven, specialized algorithms ready to use for specific applications. The environment enables a model-based design workflow for fast prototyping and implementation of the algorithms on heterogeneous embedded targets, such as MPSoC. A system-level design approach enables architectural exploration and partitioning, as well as coordination between SW and HW development workflows. Functional verification throughout the design process improves coverage and test-case generation while reducing the time and resources required. In this set of tutorial sessions, you will learn How to implement an application that leverages the FPGA and ARM core of a Zynq SOC The flexibility and diversity of the approach through examples that include prototyping a motor control algorithm and a video-processing algorithm. A HW/SW co-design workflow that combines system level design and simulation with automatic code generation Successful use of the HW/SW co-design workflow in commercial development Functional verification using MATLAB and Simulink in a SystemVerilog workflow illustrated by a detailed example Subsessions: "A HARDWARE / SOFTWARE CO-DESIGN APPROACH FOR MPSOC" "PROTOTYPING MATLAB AND SIMULINK DESIGN ON FPGA" "CONNECTING SIMULINK WITH SYSTEMVERILOG FOR FUNCTIONAL VERIFICATION"
18:30		End of session