Nozidoali

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

quantum-xyz

Synthesis Algorithms for Quantum Circuits

Tautology_Logic

Pre-trained RL agent that synthesize tautology or near tautology logic

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

angel

C++ Library for Quantum State Preparation (QSP)

ArchSim

Simulator for the computer micro-architecture design

bdd-complement

chisel

leap-compiler

Yet Another Extensible Compiler

mockturtle

C++ logic network library

components

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.

dot2hdl

DOT file to verilog and VHDL

dynamatic

DHLS (Dynamic High-Level Synthesis) compiler based on MLIR

exact-xyz

C++ implementation of the algorithms in quantum-xyz for extreme performance

HEBO

Bayesian optimisation library developped by Huawei Noah's Ark Library

iwls2022-ls-contest

Problems and Results of IWLS 2022 Programming Contest

LSOracle

IDEA project source files

memtest86plus

memtest86

Nozidoali

Nozidoali.github.io

Personal Home Page

OLSQ

OLSQ (pronounced all-s-k): Optimal Layout Synthesis for Quantum Computing

RLS-Reinforcement-Learning-Logic-Synthesis

sharpSAT

The #SAT solver sharpSAT

Warehouse-Scheduler

VE477-Challenge-Problem

xls

XLS: Accelerated HW Synthesis