daveshah1/formal-fpl daveshah1/formal-fpl

  • Stars
    star
    1
  • Language Verilog
  • Created about 5 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
daveshah1/formal-fpl
github

daveshah1

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

RFToolSDR

AD9361 based USB3 SDR
VHDL
77
star
2

DSITx

MIPI DSI transmitter core for Xilinx FPGAs (work in progress)
KiCad Layout
60
star
3

openMixR

4k Mixed Reality headset
VHDL
36
star
4

up5k-demos

ice40 UltraPlus demos
Verilog
22
star
5

ElasticC

lightweight open HLS for FPGA rapid prototyping
C++
18
star
6

prjtrellis-dvi

DVI video out example for prjtrellis
VHDL
15
star
7

LoRaExperiments

Miscellaneous Experiments with LoRa
Arduino
12
star
8

hilotof

HiLoTOF -- Hardware-in-the-Loop Test framework for Open FPGAs
Verilog
11
star
9

TinyTracker

Tiny LoRa-based GPS tracker for balloon experiments
KiCad Layout
10
star
10

ulx3s

Verilog
9
star
11

pmods

PMODs primarily for demo usage with icestorm
Verilog
8
star
12

flow-examples

Misc open FPGA flow examples
Coq
8
star
13

ecp5-hat

SoC hat for ECP5 Versa & EVN boards
5
star
14

IcySprites

The easiest to use sprite-based graphics kit for FPGAs
Python
5
star
15

LoRaPP

Small but flexible LoRa module. 434/868MHz; optional PA, LNA and SAW
KiCad Layout
4
star
16

FPGALab2016

2016 Imperial FPGA Lab
VHDL
3
star
17

icestorm-fpl

Icestorm workshop at FPL 2019
Coq
2
star
18

nova

Team Nova -- CanSat 2013-14
Java
1
star
19

tiler_rotate_shim

OMAP5 OpenGL rotation shim for Pyra
C
1
star