Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
ABC-Playground
Scripts of running eperiments on ABC and collections of results
also
A logic synthesis tool
BinaryDT
Heterogeneous-Global-Router
Heterogeneous Global Router: EDA tool for global routing. Winner of 2020 SP ECE556 at University of Wisconsin.
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/LOVE-Logic-Optimization-Visualized-Engine
A visualization tool of modern logic synthesis algorithm. The capstone project (VE450) at Shanghai Jiao Tong University
Nozidoali/MapBuf
MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization
Nozidoali/Heterogeneous-Global-Router
Heterogeneous Global Router: EDA tool for global routing. Winner of 2020 SP ECE556 at University of Wisconsin.
Nozidoali/quantum-xyz
Synthesis Algorithms for Quantum Circuits
Nozidoali/Tautology_Logic
Pre-trained RL agent that synthesize tautology or near tautology logic
Nozidoali/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Nozidoali/ABC-Playground
Scripts of running eperiments on ABC and collections of results
Nozidoali/also
A logic synthesis tool
Nozidoali/angel
C++ Library for Quantum State Preparation (QSP)
Nozidoali/ArchSim
Simulator for the computer micro-architecture design
Nozidoali/bdd-complement
Nozidoali/chisel
Nozidoali/mockturtle
C++ logic network library
Nozidoali/choice-flow
Nozidoali/components
Nozidoali/cppbestpractices
Collaborative Collection of C++ Best Practices. This online resource is part of Jason Turner's collection of C++ Best Practices resources. See README.md for more information.
Nozidoali/dot2hdl
DOT file to verilog and VHDL
Nozidoali/dynamatic
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
Nozidoali/HEBO
Bayesian optimisation library developped by Huawei Noah's Ark Library
Nozidoali/iwls2022-ls-contest
Problems and Results of IWLS 2022 Programming Contest
Nozidoali/LSOracle
IDEA project source files
Nozidoali/memtest86plus
memtest86
Nozidoali/Nozidoali
Nozidoali/Nozidoali.github.io
Personal Home Page
Nozidoali/OLSQ
OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing
Nozidoali/RLS-Reinforcement-Learning-Logic-Synthesis
Nozidoali/sharpSAT
The #SAT solver sharpSAT
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/Warehouse-Scheduler
VE477-Challenge-Problem
Nozidoali/xls
XLS: Accelerated HW Synthesis