A lightweight library for portable low-level GPU computation using WebGPU.

Yosys Open SYnthesis Suite

Scalable systolic array-based matrix-matrix multiplication implemented in Vivado HLS for Xilinx FPGAs.

Machine Generated Analog IC Layout

Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener. Used as a compiled interchange format …

Library for VLSI CAD Design Useful parsers and solvers' api are implemented.

In-Memory Subgraph Matching: An In-depth Study by Dr. Shixuan Sun and Prof. Qiong Luo

VF3 Algorithm - The fastest algorithm to solve subgraph isomorphism on large and dense graphs

Simple Python interface for ABC

Symmetry constraint generation for Magical.