Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
ABC-Playground
Scripts of running eperiments on ABC and collections of results
BinaryDT
Heterogeneous-Global-Router
Heterogeneous Global Router: EDA tool for global routing. Winner of 2020 SP ECE556 at University of Wisconsin.
leap-compiler
Yet Another Extensible Compiler
LOVE-Logic-Optimization-Visualized-Engine
A visualization tool of modern logic synthesis algorithm. The capstone project (VE450) at Shanghai Jiao Tong University
MapBuf
MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization
mockturtle
C++ logic network library
quantum-xyz
Synthesis Algorithms for Quantum Circuits
Tautology_Logic
Pre-trained RL agent that synthesize tautology or near tautology logic
Nozidoali's Repositories
Nozidoali/Simulation-Tools-For-Boolean-Circuits
Simulations Tools for Logic Synthesis. Machine Learning for Logic Synthesis Helper. Implemented when working as a research intern at Cornell University
Nozidoali/BinaryDT