Apheleia Verification Library. A Python based HDL verification library sitting on top of cocotb

🪐 Markdown with superpowers — from ideas to papers, presentations and books.

Fully defined liberty (std. cells in VLSI) data structure, efficient parser & formatter

ASIC implementation flow infrastructure

A JavaScript implementation of the Citation Style Language (CSL) https://citeproc-js.readthedocs.io

Process Rayon parallel processing with a traditional sequential Iterator

Unsafely fast hashing algorithm 📈

Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with parallel implementations of techniques used in the best seq…

wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.

Rust bindings for the Slang Verilog parser

Native Rust implementation of the FST waveform format from GTKWave.

Side-Channel Analysis Library

Raspberry Pico powered Xilinx Virtual Cable - Xilinx JTAG Cable! This is now quite fast, thanks to tom01h! We also support JTAG + serial terminal over a single cable now. Now with (slow) WiFi suppo…

The next generation of OpenLane, rewritten from scratch with a modular architecture

Version manager (and builder) for the Google sky130 and gf180mcu open-source PDKs

A Rust embedded HAL crate for LiteX cores

Additional resources for simulation and testing of OpenROM that are not included in the OpenRAM repo.

scala plotting (charting, graphing) library

sram/rram/mram.. compiler

Project X-Ray Database: XC7 Series

SKY130 ROM Compiler "YOLO" test for TinyTapeout 08

LiteX development baseboards arround the SQRL Acorn.

Version manager (and builder) for the Google sky130 and gf180mcu open-source PDKs

YPCB-00338-1P1 Hack

A Rocket-based RISC-V superscalar in-order core

Hammer plugins for synopsys tools

Hammer plugins for Cadence tools

Simulate electronic circuit using Python and the Ngspice / Xyce simulators

Hardware Formal Verification Tool