wesleyguo's repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
AWSteria_Infra
"Middleware" (infrastructure) for host-FPGA applications (e.g., accelerators)
AxLS
AxLS: An Open-Source Framework for Netlist Transformation Approximate Logic Synthesis
books
o armazém de livros
cpython
The Python programming language
cva6
The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
Digital
A digital logic designer and circuit simulator.
dubbo
Apache Dubbo is a high-performance, java based, open source RPC framework.
EC704-VLSI-Design-Automation
EC704 - VLSI Design Automation
firrtl
Flexible Intermediate Representation for RTL
FM-algorithm
The implementation of partition algorithm - Fiduccia and Mattheyses algorithm (FM algorithm) in C++
gitblit-powertools-plugin
Powertools plugin for Gitblit
gpio_card_pcittl32io
A gpiochip compatible driver for the Quancom PCITTL32IO PCI GPIO card
graph
In mathematics, the graph partition problem is defined on data represented in the form of a graph G = (V,E), with V vertices and E edges, such that it is possible to partition G into smaller components with specific properties.
gtkwave-1
GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.
haskeline
A Haskell library for line input in command-line programs.
HypergraphPartitioning
Hypergraph Partitioning: benchmarks, evaluators, best known solutions and codes
IPC-demo
Linux Inter Process Communication examples
linux-kernel
Community Version of Linux kernel source tree for TI SoCs based EVMs. Note: this is not the official TI SDK offering. This is just queue of patches pending upstream
metis_unicorn
Implementation of hMETIS
OpenRAM
An open-source static random access memory (SRAM) compiler.
OpenROAD-flow-scripts
OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/
OpenSTA
OpenSTA engine
skywater-pdk
Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.
StateMover
StateMover is a checkpoint-based debugging framework for FPGAs.
uC-OS3
µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.
verilator
Verilator open-source SystemVerilog simulator and lint system
vim-plug
:hibiscus: Minimalist Vim Plugin Manager
VLSI-Physical-and-Logic-Design-Automation
This repository include some of the most fundamental concepts of VLSI design automation
ZCU102-Ethernet
Ethernet Example Projects targeting the Xilinx ZCU102 evaluation board. This repository replaces XAPP1305.