Custom Firmware + Gateware Experiments for DLC10 JTAG cable (FX2 + Spartan-3A)

Home of the open-source EDA course.

A tiny system built on a small QMTECH board

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Text, samples and website for my 'Effective Shell' series.

Tool for selecting voltage divider components given constraints and a list of available resistors

Use a raspberry pi pico (rp2040) as a logic analyzer and oscilloscope with sigrok

[CVPR 2024] Offical implementation for A&B BNN: Add&Bit-Operation-Only Hardware-Friendly Binary Neural Network

Coriolis VLSI EDA Tool (LIP6)

A RISC-V software platform, exposing Analogue Pocket capabilities in a simple way

A template for getting started with Analogue Pocket FPGA core development

The Simulation and Image Processing for Photonics and Acoustics (SIMPA) toolkit.

Multi-platform nightly builds of open source digital design and verification tools

Fast Fourier transform in MicroPython's inline ARM Thumb V7 assembler (STM32, RP2350 etc.).

Google Coding Competitions problem archive

SDK for FPGA / Linux Instruments

FPGA Based lock in amplifier

This repository contains all the contents studied and created during the Advanced Physical Design Workshop using OpenLANE and SKY130 PDK

Generator for wokwi schematics that implement lookup tables in conjunctive normal form (CNF), i.e. with AND and OR gates

130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design

A 32-bit RISC-V emulator in a shader (and C)

Silicon Layout Wizard

Command line German verb conjugation and quiz

A curated list of awesome edge machine learning resources, including research papers, inference engines, challenges, books, meetups and others.

Three-finger-drag support for libinput