Hardware-Software Co-Design and Prototyping on SoC FPGAs Puneet Kumar Prateek Sikka Application Engineering Team

Transcription

1 Hardware-Software Co-Design and Prototyping on SoC FPGAs Puneet Kumar Prateek Sikka Application Engineering Team 2015 The MathWorks, Inc. 1

2 Agenda Integrated Hardware / Software Top down Workflow for SoC FPGA s, highlighting: Model Based Design Workflow for SoC FPGA s Automatic Code Generation: HDL code generation for the FPGA fabric and C-Code generation for the ARM MCU Automatic Interface Logic Generation: Generation of the interface logic and software between the FPGA and ARM. Integrated Verification: Integrated HDL Verification using HDL Co-simulation and FPGA-in-Loop Next Steps, Q&A 2

3 Agenda Integrated Hardware / Software Top down Workflow for SoC FPGA s, highlighting: Model Based Design Workflow for SoC FPGA s Automatic Code Generation: HDL code generation for the FPGA fabric and C-Code generation for the ARM MCU Automatic Interface Logic Generation: Generation of the interface logic and software between the FPGA and ARM. Integrated Verification: Integrated HDL Verification using HDL Co-simulation and FPGA-in-Loop Next Steps, Q&A 3

4 Edge Detection Demo Behavioral Model 4

5 Edge Detection Demo Implementation Model 5

6 You May Have Some Questions? How can we: Implement designs on SoC FPGA s? MATLAB/Simulink Algorithm Design Partition the HW and SW? Generate the Interface Logic? FPGA MCU SoC ASIC DSP FPGA s ASIC 6

7 Design Challenges for Soc FPGA s ARM Processor C-Code Software Interface FPGA HDL Code Hardware FPGA Designers not familiar with programming processors DSP/Processor programmers not familiar with FPGAs What should run on the FPGA vs. what should run on the ARM? No established rules for hooking up the interface between FPGA and ARM processor 7

8 Model-Based Design 2015 The MathWorks, Inc. 8

9 Why Model-Based Design? Requirements Development Simulation Code Generation Continuous Verification 9

10 Model-Based Design: From Concept to Production RESEARCH REQUIREMENTS DESIGN Environment Models Physical Components Algorithms IMPLEMENTATION TEST & VERIFICATION Model multi-domain systems Explore and optimize system behavior in floating point and fixed point Collaborate across teams and continents Generate efficient code Explore and optimize implementation tradeoffs C, C++ VHDL, Verilog ARM INTEGRATION FPGA Automate regression testing Detect design errors Support certification and standards 10

11 SoC FPGA Design Flow RESEARCH Software Model Embedded Coder ARM DESIGN Top-Level System Model IMPLEMENTATION REQUIREMENTS Hardware Model HDL Coder FPGA SoC FPGA Template Xilinx/Altera Embedded System Integration Real-Time Parameter Tuning and Verification User defines partitioning MathWorks automates code and interface-model generation MathWorks automates the build and download through the FPGA tools 11

12 Model-Based Design for SoC FPGA RESEARCH REQUIREMENTS DESIGN Embedded Coder C, C++ C, C++ Environment Models Physical Components Algorithms IMPLEMENTATION VHDL, Verilog ARM DSP FPGA ASIC HDL Coder VHDL, Verilog Structured Text PLC TEST & VERIFICATION FPGA Boards ASIC INTEGRATION 12

13 Solution: C and HDL Code Generation Design, execute, and verify algorithms in MATLAB MATLAB Algorithm Design Automatically generate C or HDL code Deploy generated code on hardware MATLAB Coder CGenerate HDL Coder Generate VHDL/Verilog FPGA MCU ASIC DSP FPGA ASIC 13

14 Code Generation Products for VHDL/Verilog HDL Coder MATLAB Coder Fixed-Point Designer HDL Coder Automatically generate VHDL or Verilog from MATLAB code and Simulink Model MATLAB Coder Automatically generate C and C++ from MATLAB code Fixed-Point Designer provides fixed-point data types and arithmetic 14

15 Code Generation Products for C/C++ Embedded Coder Embedded Coder Automatically generate C and C++ optimized for embedded systems Simulink Coder Simulink Coder Automatically generate C and C++ from Simulink models and Stateflow charts MATLAB Coder MATLAB Coder Automatically generate C and C++ from MATLAB code 15

16 Edge Detection Demo Behavioral Model 16

17 Workflow for Video Image Processing Concept Development Algorithm Development Prototyping Architecture design Prototyping Chip design Frame based Pixel based Image/Video Engineer HW Engineer 17

18 Vision HDL Toolbox Design and prototype video image processing systems Modeling hardware behavior of the algorithms Pixel-based functions and blocks Conversion between frames and pixels Standard and custom frame sizes Prototyping algorithms on hardware Efficient and readable HDL code FPGA-in-the-loop testing and acceleration 18

19 Agenda Integrated Hardware / Software Top down Workflow for SoC FPGA s, highlighting: Model Based Design Workflow for SoC FPGA s Automatic Code Generation: HDL code generation for the FPGA fabric and C-Code generation for the ARM MCU Automatic Interface Logic Generation: Generation of the interface logic and software between the FPGA and ARM. Integrated Verification: Integrated HDL Verification using HDL Co-simulation and FPGA-in-Loop Next Steps, Q&A 19

20 HW-SW Co-Design: It s all about the Workflow Prepare model for IP core generation HW-SW Co-Design Workflow Configure Interface Logic RTL Code Generation for IP Core Generate Software/Hardware Model C/C++ VHDL or Verilog Synthesis/ Bit File Generation Deployment HW-SW Co-design 20

21 Model-Based Design flow using MATLAB/Simulink from Algorithm to FPGA Implementation MATLAB and Simulink Algorithm and System Design DESIGN HDL Coder RTL Creation HDL Verifier HDL Co-Simulation Algorithm Development MATLAB Simulink Stateflow RTL Back Annotation Implement Design Verification Synthesis Functional Simulation Map Static Timing Analysis Place & Route Timing Simulation HDL Verifier FPGA in the Loop 21

22 SoC FPGA Model-Based Design Workflow MATLAB and Simulink Algorithm and System Design AXI FPGA AXI ARM 22

23 SoC FPGA Model-Based Design Workflow MATLAB and Simulink Algorithm and System Design HW SW Simulink Model 23

24 Configure Interface Logic Prepare model for IP core generation Configure Interface Logic RTL Code Generation for IP Core Generate Software/Hardware Model Synthesis/ Bit File Generation Deployment 24

25 RTL Code Generation for IP Core Prepare model for IP core generation Configure Interface Logic RTL Code Generation for IP Core Generate Software/Hardware Model Synthesis/ Bit File Generation Deployment 25

26 Full Bidirectional traceability 26

27 SoC FPGA Model-Based Design Workflow MATLAB and Simulink Algorithm and System Design HW HDL IP Core Generation SW Simulink Model HDL IP Core Generation AXI Lite Accessible Registers AXI4-Stream Video In AXI4-Stream Video Out Algorithm from MATLAB/ Simulink External Ports Programmable Logic IP Core 27

28 SoC FPGA Model-Based Design Workflow HDL IP Core Generation MATLAB and Simulink Algorithm and System Design AXI Lite Accessible Registers AXI4-Stream Video In AXI4-Stream Video Out Algorithm from MATLAB/ Simulink Programmable Logic IP Core External Ports EDK Integration EDK Integration FPGA Bitstream Zynq Platform Processing System AXI4-Lite AXI Video DMA AXI Lite Accessible Registers AXI4-Stream Video In AXI4-Stream Video Out Algorithm from MATLAB/ Simulink External Ports Programmable Logic IP Core EDK Project 28

29 Generate Software/Hardware model Prepare model for IP core generation Configure Interface Logic RTL Code Generation for IP Core Generate Software/Hardware Model Synthesis/ Bit File Generation Deployment 29

30 SoC FPGA Model-Based Design Workflow MATLAB and Simulink Algorithm and System Design HW HDL IP Core Generation SW EDK Integration SW Interface Model Generation Simulink Model SW Interface Model Generation FPGA Bitstream Zynq Platform SW Build SW I/O Driver Blocks SW SW Interface Model 30

31 SoC FPGA Model-Based Design Workflow HDL IP Core Generation EDK Integration MATLAB and Simulink Algorithm and System Design SW Interface Model Generation Real-time Parameter Tuning and Verification External Mode Processor-in-the-loop FPGA Bitstream SW Build Zynq Platform External Mode PIL 31

32 AXI4-Lite Fast Prototyping and Iteration Fast prototyping, iteration, and live probing/tuning directly on SoC FPGA hardware TCP/IP AXI4-Lite Blocks IP Core Registers C Algorithm ARM Cortex-A9 MP (Running Linux) FPGA IPCore 32

33 AXI4-Lite Bus Embedded System Integration Zynq HW/SW Co-design Workflow Summary HW Design SW IP Core Generation AXI Lite Accessible registers FPGA IP Core Algorithm from MATLAB and Simulink External Ports Simulink Model SW I/O Driver Blocks SW Generate SW Interface Model Processor AXI Lite Accessible registers FPGA IP Core Algorithm from MATLAB and Simulink External Ports SW Interface Model Embedded System Project SW Build FPGA Bitstream 33

34 Agenda Integrated Hardware / Software Top down Workflow for SoC FPGA s, highlighting: Model Based Design Workflow for SoC FPGA s Automatic Code Generation: HDL code generation for the FPGA fabric and C-Code generation for the ARM MCU Automatic Interface Logic Generation: Generation of the interface logic and software between the FPGA and ARM. Integrated Verification: Integrated HDL Verification using HDL Co-simulation and FPGA-in-Loop Next Steps, Q&A 34

35 Enroll in Upcoming Training Courses No Start Date Course Name City nd -03 rd May Signal Processing with MATLAB Bangalore th -05 th May Image Processing with MATLAB Bangalore th May Computer Vision with MATLAB Bangalore th -17 th June Machine Learning with MATLAB Bangalore th -12 th July Generating HDL Code from Simulink Bangalore th -14 th July Programming Xilinx Zynq SoCs with MATLAB and Simulink Bangalore 35

36 MathWorks India Services and Offerings Technical Evangelist Product Training: Application Engineering Technical Support local for India: Customer Service for non-technical questions: Knowledge and marketing resources: webinars, seminars, conferences 36

37 Contact MathWorks India URL: Technical Support: Tel: Fax: MathWorks India Private Limited 9th Floor, B Wing, Etamin Block Prestige Technology Park II Marathahalli Sarjapur Ring Road Bangalore , Karnataka India Thank You for Attending Talk to Us We are Happy to Support You 37