FPGA Limerick

  Hello, everyone. Welcome to the seventh episode of FPGA limerick. In this episode, we will get our hands dirty, to build the Hello Word example in the previous episodes, and to load it onto a FPGA board for Blinking LED. First of all, as we mentioned in the first episode, we will use the Arty A7-100T board from Digilent as our main FPGA development board. The board can be found in this link: https://digilent.com/shop/arty-a7-100t-artix-7-fpga-development-board/   Tool Installation And to build the Hello Word example, we need to do the following: 1. Install the Vivado The Vivado can be downloaded from https://www.xilinx.com/support/download.html We will use Vivado 2022.2 as our Vivado version. Please download and install it from Xilinx website. If you want to save disk space, you can only install 7 Series for devices.    And Digilent also has some detailed instructions for installing the tools: https://digilent.com/reference/programmable-logic/guides/installing-viva...

Hello, everyone. Welcome to the sixth episode of FPGA limerick. In this episode, we will take a close look at the simulation flow of SpinalHDL. And we will use the Hello World as an example for demonstration purpose. Verification Methodology Generally speaking, when it comes to digital circuits, there are two approaches for verification.  1. Formal Verification The formal verification is more like a math approach, because basically every digital circuit is nothing but a mapping from input to output, which mathematically fits the definition of Function.  In that sense, the DUT is treated as a math function, whose property is described by SVA (System Verilog Assertion), as illustrated below: As it is like a math approach, there is no need to prepare test vectors for input and output. And the formal verification tool will use analytic method to check the DUT against those SVAs, and to make sure those properties are satisfied in all conditions. SpinalHDL also supports Formal Verif...

Hello, everyone! Welcome to the fifth episode of FPGA limerick. In this episode, we will take a close look at the “Hello World” example for SpinalHDL. And based on that, we will also demonstrate the basic design flow for SpinalHDL. As mentioned in previous episodes, the Hello World can be checked out like git clone --depth 1 --branch v1.1.4 https://github.com/PulseRain/FpgaLimerick.git   The folder structure of Hello World And for a fresh checkout, it has the following files: *) Files at the top level                 build.sbt : configuration file for SBG                 .scalafix.conf : configuration file for scalafix (linter)                 scalastyle-config.xml : configuration file for scalastyle (linter)      ...