ccccccccyt Goto Github PK

abc_py

Simple Python interface for ABC

abcrl

MLCAD 2020: Reinforcement for logic optimization sequence exploration

aiger

AIGER And-Inverter-Graph Library

also

A logic synthesis tool

awesome-ml4ls

Awesome machine learning for logic synthesis

bony

Algorithm to generate large synthetic combinational benchmark circuits

chips

DE-HNN: An effective neural model for Circuit Netlist representation

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

csindex

Transparent data about Brazilian scientific production in Computer Science

deepgate

This is an official implementation for "DeepGate: Learning Neural Representations of Logic Gates".

deepgate2

drills

DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (ASPDAC'20)

fiction

An open-source framework for design automation of Field-coupled Nanotechnologies.

flowtune

gamora

Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)

gnn-re

GNN-RE datasets for circuit recognition

hebo

Bayesian optimisation & Reinforcement Learning library developped by Huawei Noah's Ark Lab

incremental-sat-decam

Project website of Incremental-SAT based De-camouflaging of logic circuits

iverilog

Icarus Verilog

learning_research

本人的科研经验

leetcode-master

《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀

livehd

Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation

lsoracle

IDEA project source files

lstools-showcase

Showcase examples for EPFL logic synthesis libraries

lxy-drills

netlist-graph

Java library for parsing and manipulating graph representations of gate-level Verilog netlists

netlistdb

netlistDB - Intermediate format for digital hardware representation with graph database API

netlistgnn

panda-bambu

PandA-bambu public repository

parl

A high-performance distributed training framework for Reinforcement Learning