Continue reading “Finding Your Way Through Formal Verification – free book”Finding Your Way Through Formal Verification provides an introduction to formal verification methods. This book was written as a way to dip a toe in formal waters. You may be curious about formal verification, but you’re not yet sure it is right for your needs. Or you may need to plan and supervise formal verification activity as a part of a larger verification objective.
Hi again,
In the previous chapter of this tutorial, we presented the AXI Streaming interface, its main signals, and some of its applications.
Now let’s go for the funnier stuff, that is, to actually make and test some VHDL code to implement our AXI master. We will proceed gradually, adding features as we go. At the end of this tutorial, you will have code that:
Hi,
In this series of articles, I am going to present the design of an AXI4-Stream master. As I often do in my tutorials, I will try to show the design procedure for the block, starting from a “bare bones” solution and gradually adding features to it.
Continue reading “Xilinx AXI Stream Tutorial”This VHDL module receives parallel data as input at it outputs the data in serial format.
This VHDL module receives parallel data from the data_in bus when load is asserted. One clock after load is de-asserted, the data is serially transmitted out on the data_out line, MSB first, and valid is also asserted. The frame signal is asserted together with the end of the transmission (i.e. when the LSB is transmitted).
Continue reading “Parallel to serial converter”
SoC stands for System on Chip. Many electronic applications are based on microprocessors, memories, and peripherals. Traditionally the integration of these system components has been done at the board (PCB) level.
The never-stopping progression in electronic miniaturization has made it possible for many of these components (processor, memories, peripherals) to be integrated into a single package, thus called SoC.
Continue reading “SoC and MPSoC, what you wanted to know”
Continue reading “Free Range VHDL – free book”The purpose of this book is to provide students and young engineers with a guide to help them develop the skills necessary to be able to use VHDL for introductory and intermediate level digital design
The Basys 3 board has a plethora of interactive resources: push buttons, switches, LEDs, and a four-digit seven-segment display, among others.
In this series of articles, we will describe Magellan. Magellan is a hardware monitor/debugger which we will put to use for debugging our designs.
Continue reading “Magellan – a hardware monitor/debugger”
Image credit: Digilent
This project is a very basic and simple project. Four of the board LEDs are blinked using a counter. The position of switch 0 makes the blinking faster or slower.
For an introduction to the Basys3 board, check here.
Continue reading “Basys 3 basic LED flasher”Free Range’s author James Mealy has a long trajectory in the free diffusion of logic design.
On this site, you can find free books (Logic foundation and Verilog), selected chapters of the course on video, and solutions to the course’s lab exercises.
From the author page :
I started collecting digital design textbooks after arriving at Cal Poly; I was sure that writing books meant having all the books possible on the subject and arranging the information differently. What I found was that I simply didn’t like the approach taken in every digital design textbook I’ve ever read. This led me to take a different approach, which I’ve done in the FreeRange series of courseware. I put more comments regarding the approach on a different page and in the actual textbooks as well.
Free Range – Digital Design and Verilog Modeling
You may also want to check: Free Range VHDL (free book)
Basys 3 board with several PMOD boards attached – Credit: Digilent
The Basys 3 from Digilent is an FPGA Trainer Board based on AMD Xilinx’s Artix-7 FPGA.
In future blog entries, I will be including several projects based on this Trainer Board.
Continue reading “Basys 3 – An introduction”