F

FPGA

A better hardware description language.

Collection of utility modules written in Verilog

A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector

Open source Logic Analyzer based on LiteX SoC

Hog (HDL-on-git) is a set of Tcl/Shell scripts plus a suitable methodology to handle HDL designs in a git repository. For more information, visit our documentation page: https://cern.ch/hog, or register to our newsletter: http://cern.ch/go/nBn8

Build a RISC-V computer system on fpga iCE40HX8K-EVB and run UNIX xv6 using only FOSS (free and open source hard- and software).

BProC (Basic Processor Compiler) is a small customizable instruction set compiler for basic processor design, intended for educational purposes.

FPGA Lattice iCE40UP5K evaluation board.

USB 2.0 HS programmer for Lattice FPGA with JTAG or SPI.

Running legacy Xilinx ISE FPGA software on a MacOS system (including Apple Silicon) using Docker.

Implementation of Intel8080 cpu written in verilog running spaceinvaders.

Verible build container.

This project is about building Hack on real hardware as proposed in chapter 13 of the course nand2tetris using only FOSS, free and open source hard- and software.

HACK CPU from course nand2tetris written in verilog with vga and ps/2 keyboard.

PyTCL allows control EDA tools directly from Python that use TCL.

Z80 @10 MHz PoC for Altera Cyclone II and Cyclone IV (DE0-Nano board) FPGAs

MSc Thesis - Development of an Embedded Image Processor Architecture on FPGA

HLS

FPGA