nozidoali Goto Github PK

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

binarydt

chisel

choice-flow

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

hebo

Bayesian optimisation library developped by Huawei Noah's Ark Library

heterogeneous-global-router

Heterogeneous Global Router: EDA tool for global routing. Winner of 2020 SP ECE556 at University of Wisconsin.

iwls2022-ls-contest

Problems and Results of IWLS 2022 Programming Contest

love-logic-optimization-visualized-engine

A visualization tool of modern logic synthesis algorithm. The capstone project (VE450) at Shanghai Jiao Tong University

lsoracle

IDEA project source files

mapbuf

MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization

memtest86plus

memtest86

mockturtle

C++ logic network library

nozidoali

nozidoali.github.io

Personal Home Page

olsq

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

quantum-xyz

Synthesis Algorithms for Quantum Circuits

rls-reinforcement-learning-logic-synthesis

sharpsat

The #SAT solver sharpSAT

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

tautology_logic

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

warehouse-scheduler

VE477-Challenge-Problem