ECE 448 Lecture 5 FPGA Devices & FPGA Design Flow ECE 448 – FPGA and ASIC Design with VHDL George Mason University Required reading • Spartan-6 FPGA Configurable Logic Block: User Guide CLB Overview Slice Description 2 What is an FPGA? Configurable Logic Blocks Block RAMs Block RAMs I/O Blocks Block RAMs ECE 448 – FPGA and ASIC Design with VHDL 3 Modern FPGA RAM blocks RAM blocks Multipliers Multipliers/DSP units Logic blocks Logic resources (#Logic resources, #Multipliers/DSP units, #RAM_blocks) Graphics based on The Design Warrior’s Guide to FPGAs Devices, Tools, and Flows. ISBN 0750676043 Copyright © 2004 Mentor Graphics Corp. (www.mentor.com) 4 Major FPGA Vendors SRAM-based FPGAs ~ 51% of the market • Xilinx, Inc. • Altera Corp. ~ 34% of the market • Lattice Semiconductor • Atmel • Achronix • Tabula ~ 85% Flash & antifuse FPGAs • Microsemi SoC Products Group (formerly Actel Corp.) • Quick Logic Corp. ECE 448 – FPGA and ASIC Design with VHDL 5 Xilinx Primary products: FPGAs and the associated CAD software Programmable Logic Devices ISE Alliance and Foundation Series Design Software Main headquarters in San Jose, CA Fabless* Semiconductor and Software Company UMC (Taiwan) {*Xilinx acquired an equity stake in UMC in 1996} Seiko Epson (Japan) TSMC (Taiwan) Samsung (Korea) ECE 448 – FPGA and ASIC Design with VHDL 6 Xilinx FPGA Families Technology 220 nm 180 nm Low-cost Spartan-II, Spartan-IIE 120/150 nm 90 nm 65 nm 45 nm 40 nm 28 nm Highperformance Virtex Spartan-3 Virtex-II, Virtex-II Pro Virtex-4 Virtex-5 Spartan-6 Artix-7 Virtex-6 Virtex-7 FPGA Family 8 Spartan-6 FPGA Family ECE 448 – FPGA and ASIC Design with VHDL 9 CLB Structure ECE 448 – FPGA and ASIC Design with VHDL George Mason University General structure of an FPGA Programmable interconnect Programmable logic blocks The Design Warrior’s Guide to FPGAs Devices, Tools, and Flows. ISBN 0750676043 Copyright © 2004 Mentor Graphics Corp. (www.mentor.com) ECE 448 – FPGA and ASIC Design with VHDL 11 Xilinx Spartan-6 CLB ECE 448 – FPGA and ASIC Design with VHDL 12 Row & Column Relationship Between CLBs & Slices ECE 448 – FPGA and ASIC Design with VHDL 13 SLICEX ECE 448 – FPGA and ASIC Design with VHDL 14 4-input LUT (Look-Up Table) (used in earlier families of FPGAs) x1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 x2 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 x3 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 x4 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 x1 x2 x3 x4 y 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 LUT y x1 x2 x3 x4 x1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 x2 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 x3 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 x4 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 y 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 • Look-Up tables are primary elements for logic implementation • Each LUT can implement any function of 4 inputs x1 x2 y y ECE 448 – FPGA and ASIC Design with VHDL 15 6-Input LUT of Spartan-6 ECE 448 – FPGA and ASIC Design with VHDL 16 17 Reset and Set Configurations • • • • • No set or reset Synchronous set Synchronous reset Asynchronous set (preset) Asynchronous reset (clear) ECE 448 – FPGA and ASIC Design with VHDL 18 Three Different Types of Slices 50% ECE 448 – FPGA and ASIC Design with VHDL 25% 25% 19 SLICEL 20 Fast Carry Logic Each CLB contains separate logic and routing for the fast generation of sum & carry signals MSB Carry Logic Routing • Increases efficiency and performance of adders, subtractors, accumulators, comparators, and counters Carry logic is independent of normal logic and routing resources LSB 21 Accessing Carry Logic All major synthesis tools can infer carry logic for arithmetic functions • • • • Addition (SUM <= A + B) Subtraction (DIFF <= A - B) Comparators (if A < B then…) Counters (count <= count +1) 22 SLICEM ECE 448 – FPGA and ASIC Design with VHDL 23 Xilinx Multipurpose LUT (MLUT) 16-bit SR 32-bit SR 16 64xx11 RAM RAM 4-input LUT 64 x 1 ROM (logic) The Design Warrior’s Guide to FPGAs Devices, Tools, and Flows. ISBN 0750676043 Copyright © 2004 Mentor Graphics Corp. (www.mentor.com) 24 Single-port 64 x 1-bit RAM 25 Memories Built of Neighboring MLUTs Memories built of 2 MLUTs: • Single-port 128 x 1-bit RAM: • Dual-port 64 x 1-bit RAM : RAM128x1S RAM64x1D Memories built of 4 MLUTs: • • • • Single-port 256 x 1-bit RAM: RAM256x1S Dual-port 128 x 1-bit RAM: RAM128x1D Quad-port 64 x 1-bit RAM: RAM64x1Q Simple-dual-port 64 x 3-bit RAM: RAM64x3SDP (one address for read, one address for write) 26 Dual-port 64 x 1 RAM • • Dual-port 64 x 1-bit RAM : Single-port 128 x 1-bit RAM: ECE 448 – FPGA and ASIC Design with VHDL 64x1D 128x1S 27 Total Size of Distributed RAM 28 MLUT as a 32-bit Shift Register (SRL32) ECE 448 – FPGA and ASIC Design with VHDL 29 Input/Output Blocks (IOBs) ECE 448 – FPGA and ASIC Design with VHDL George Mason University Basic I/O Block Structure D Q EC Three-State FF Enable Clock SR Three-State Control Set/Reset D Q EC Output FF Enable Output Path SR Direct Input FF Enable Registered Input Q D EC Input Path SR ECE 448 – FPGA and ASIC Design with VHDL 31 IOB Functionality • IOB provides interface between the package pins and CLBs • Each IOB can work as uni- or bi-directional I/O • Outputs can be forced into High Impedance • Inputs and outputs can be registered • advised for high-performance I/O • Inputs can be delayed ECE 448 – FPGA and ASIC Design with VHDL 32 Spartan-6 Family Attributes ECE 448 – FPGA and ASIC Design with VHDL George Mason University Spartan-6 FPGA Family Members ECE 448 – FPGA and ASIC Design with VHDL 34 FPGA device present on the Digilent Nexys 3 board XC6SLX16-CSG324C Spartan 6 family Size Logic Optimized 324 pins Package type (Ball Chip-Scale) Commercial temperature range 0° C – 85° C ECE 448 – FPGA and ASIC Design with VHDL 35 FPGA Design Flow George Mason University FPGA Design process (1) Design and implement a simple unit permitting to speed up encryption with RC5-similar cipher with fixed key set on 8031 microcontroller. Unlike in the experiment 5, this time your unit has to be able to perform an encryption algorithm by itself, executing 32 rounds….. Specification / Pseudocode On-paper hardware design (Block diagram & ASM chart) VHDL description (Your Source Files) Library IEEE; use ieee.std_logic_1164.all; use ieee.std_logic_unsigned.all; Functional simulation entity RC5_core is port( clock, reset, encr_decr: in std_logic; data_input: in std_logic_vector(31 downto 0); data_output: out std_logic_vector(31 downto 0); out_full: in std_logic; key_input: in std_logic_vector(31 downto 0); key_read: out std_logic; ); end AES_core; Synthesis Post-synthesis simulation FPGA Design process (2) Implementation Timing simulation Configuration On chip testing Tools used in FPGA Design Flow Functionally verified VHDL code Design VHDL code Xilinx XST Synplify Premier Synthesis Netlist Xilinx ISE Implementation Bitstream 39 Synthesis George Mason University Synthesis Tools Xilinx XST Synplify Premier … and others 41 Logic Synthesis VHDL description Circuit netlist architecture MLU_DATAFLOW of MLU is signal A1:STD_LOGIC; signal B1:STD_LOGIC; signal Y1:STD_LOGIC; signal MUX_0, MUX_1, MUX_2, MUX_3: STD_LOGIC; begin A1<=A when (NEG_A='0') else not A; B1<=B when (NEG_B='0') else not B; Y<=Y1 when (NEG_Y='0') else not Y1; MUX_0<=A1 and B1; MUX_1<=A1 or B1; MUX_2<=A1 xor B1; MUX_3<=A1 xnor B1; with (L1 & L0) select Y1<=MUX_0 when "00", MUX_1 when "01", MUX_2 when "10", MUX_3 when others; end MLU_DATAFLOW; 42 Circuit netlist (RTL view) 43 Mapping LUT0 FF1 LUT1 FF2 LUT2 44 Implementation George Mason University Implementation • After synthesis the entire implementation process is performed by FPGA vendor tools 46 Implementation 47 Translation Synthesis Circuit Netlist Timing Constraints Constraint Editor or Text Editor UCF User Constraint File Translation NGD Native Generic Database file 48 Mapping LUT0 FF1 LUT1 FF2 LUT2 49 Placing FPGA CLB SLICES 50 Routing FPGA Programmable Connections 51 Configuration • Once a design is implemented, you must create a file that the FPGA can understand • This file is called a bit stream: a BIT file (.bit extension) • The BIT file can be downloaded directly to the FPGA, or can be converted into a PROM file which stores the programming information 52 Two main stages of the FPGA Design Flow Implementation Synthesis Technology dependent Technology independent RTL Synthesis - Code analysis - Derivation of main logic constructions - Technology independent optimization - Creation of “RTL View” Map Place & Route - Mapping of extracted logic structures to device primitives - Technology dependent optimization - Application of “synthesis constraints” -Netlist generation - Creation of “Technology View” Configure - Placement of generated netlist onto the device -Choosing best interconnect structure for the placed design -Application of “physical constraints” - Bitstream generation - Burning device Synthesis Report Example – Resource Utilization (1) Device utilization summary: --------------------------Selected Device : 6slx4tqg144-3 Slice Logic Utilization: Number of Slice Registers: Number of Slice LUTs: Number used as Logic: Slice Logic Distribution: Number of LUT Flip Flop pairs used: Number with an unused Flip Flop: Number with an unused LUT: Number of fully used LUT-FF pairs: Number of unique control sets: 53 out of 4800 163 out of 2400 163 out of 2400 198 145 out of 198 35 out of 198 18 out of 198 7 1% 6% 6% 73% 17% 9% 54 Synthesis Report Example – Resource Utilization (2) IO Utilization: Number of IOs: Number of bonded IOBs: Specific Feature Utilization: Number of BUFG/BUFGCTRLs: Number of DSP48A1s: 43 43 out of 102 42% 1 out of 16 6% 5 out of 8 62% 55 Synthesis Report Example – Timing Timing Summary: --------------Speed Grade: -3 Minimum period: 6.031ns (Maximum Frequency: 165.817MHz) 56 Map Report Example – Resource Utilization (1) Design Summary -------------Slice Logic Utilization: Number of Slice Registers: 54 out of Number used as Flip Flops: 53 Number used as Latches: 0 Number used as Latch-thrus: 0 Number used as AND/OR logics: 1 Number of Slice LUTs: 149 out of Number used as logic: 148 out of Number using O6 output only: 133 Number using O5 output only: 0 Number using O5 and O6: 15 Number used as ROM: 0 Number used as Memory: 0 out of Number used exclusively as route-thrus: 1 4,800 1% 2,400 6% 2,400 6% 1,200 0% 57 Map Report Example – Resource Utilization (2) Slice Logic Distribution: Number of occupied Slices: Number of MUXCYs used: Number of LUT Flip Flop pairs used: Number with an unused Flip Flop: Number with an unused LUT: Number of fully used LUT-FF pairs: Number of unique control sets: Number of slice register sites lost to control set restrictions: IO Utilization: Number of bonded IOBs: 58 out of 32 out of 162 109 out of 13 out of 40 out of 7 600 1,200 162 67% 162 8% 162 24% 35 out of 4,800 43 out of 9% 2% 1% 102 42% 58 Map Report Example – Resource Utilization (3) Specific Feature Utilization: Number of RAMB16BWERs: Number of RAMB8BWERs: ……. Number of DSP48A1s: ……. 0 out of 0 out of 5 out of 12 24 0% 0% 8 62% 59 Post-PAR Static Timing Report Clock to Setup on destination clock clk_i ---------------+---------+---------+---------+---------+ | Src:Rise| Src:Fall| Src:Rise| Src:Fall| Source Clock |Dest:Rise|Dest:Rise|Dest:Fall|Dest:Fall| ---------------+---------+---------+---------+---------+ clk_i | 7.530| | | | ---------------+---------+---------+---------+---------+ 60 PAR Report ---------------------------------------------------------------------------------------------------------Constraint | Check | Worst Case | Best Case | Timing | Timing | | Slack | Achievable | Errors | Score ---------------------------------------------------------------------------------------------------------Autotimespec constraint for clock net clk | SETUP | N/A| 7.530ns| N/A| 0 _i_BUFGP | HOLD | 0.457ns| | 0| 0 ---------------------------------------------------------------------------------------------------------- 61 Timing Report (1) Timing constraint: Default period analysis for net "clk_i_BUFGP" 3354 paths analyzed, 309 endpoints analyzed, 0 failing endpoints 0 timing errors detected. (0 setup errors, 0 hold errors) Minimum period is 7.530ns. -------------------------------------------------------------------------------Delay (setup path): 7.530ns (data path - clock path skew + uncertainty) Source: a_register/q_o_4 (FF) Destination: x_reg_inst/q_o_3 (FF) Data Path Delay: 7.453ns (Levels of Logic = 2) Clock Path Skew: -0.042ns (0.513 - 0.555) Source Clock: clk_i_BUFGP rising Destination Clock: clk_i_BUFGP rising Clock Uncertainty: 0.035ns 62 Timing Report (2) Maximum Data Path at Slow Process Corner: a_register/q_o_4 to x_reg_inst/q_o_3 Location Delay type Delay(ns) Physical Resource Logical Resource(s) ------------------------------------------------- ------------------SLICE_X4Y36.AQ Tcko 0.447 a_register/q_o<4> a_register/q_o_4 DSP48_X0Y3.B4 net (fanout=21) 1.194 a_register/q_o<4> DSP48_X0Y3.M3 Tdspdo_B_M 3.364 Mmult_mult_unsigned Mmult_mult_unsigned SLICE_X8Y39.C4 net (fanout=1) 2.050 mult_unsigned<3> SLICE_X8Y39.CLK Tas 0.398 x_reg_inst/q_o<3> Mmux_x_57 Mmux_x_4_f7_2 Mmux_x_2_f8_2 x_reg_inst/q_o_3 ------------------------------------------------- -------------------Total 7.453ns (4.209ns logic, 3.244ns route) (56.5% logic, 43.5% route) 63 Timing Report (3) -------------------------------------------------------------------------------Delay (setup path): 7.484ns (data path - clock path skew + uncertainty) Source: a_register/q_o_7_1 (FF) Destination: x_reg_inst/q_o_3 (FF) Data Path Delay: 7.391ns (Levels of Logic = 2) Clock Path Skew: -0.058ns (0.513 - 0.571) Source Clock: clk_i_BUFGP rising Destination Clock: clk_i_BUFGP rising Clock Uncertainty: 0.035ns Clock Uncertainty: 0.035ns ((TSJ^2 + TIJ^2)^1/2 + DJ) / 2 + PE Total System Jitter (TSJ): 0.070ns Total Input Jitter (TIJ): 0.000ns Discrete Jitter (DJ): 0.000ns Phase Error (PE): 0.000ns 64 Timing Report (4) Maximum Data Path at Slow Process Corner: a_register/q_o_7_1 to x_reg_inst/q_o_3 Location Delay type Delay(ns) Physical Resource Logical Resource(s) ------------------------------------------------- ------------------SLICE_X2Y33.AQ Tcko 0.447 a_register/q_o_7_2 a_register/q_o_7_1 DSP48_X0Y3.B7 net (fanout=13) 1.132 a_register/q_o_7_1 DSP48_X0Y3.M3 Tdspdo_B_M 3.364 Mmult_mult_unsigned Mmult_mult_unsigned SLICE_X8Y39.C4 net (fanout=1) 2.050 mult_unsigned<3> SLICE_X8Y39.CLK Tas 0.398 x_reg_inst/q_o<3> Mmux_x_57 Mmux_x_4_f7_2 Mmux_x_2_f8_2 x_reg_inst/q_o_3 ------------------------------------------------- -------------------Total 7.391ns (4.209ns logic, 3.182ns route) (56.9% logic, 43.1% route) 65