VVViy's Stars
geeeeeeeeek/git-recipes
🥡 Git recipes in Chinese by Zhongyi Tong. 高质量的Git中文教程.
bigcode-project/starcoder
Home of StarCoder: fine-tuning & inference!
chipsalliance/chisel
Chisel: A Modern Hardware Design Language
QianMo/Real-Time-Rendering-4th-Bibliography-Collection
Real-Time Rendering 4th (RTR4) 参考文献合集典藏 | Collection of <Real-Time Rendering 4th (RTR4)> Bibliography / Reference
steveicarus/iverilog
Icarus Verilog
vortexgpgpu/vortex
seahorn/seahorn
SeaHorn Verification Framework
accel-sim/accel-sim-framework
This is the top-level repository for the Accel-Sim framework.
openhwgroup/force-riscv
Instruction Set Generator initially contributed by Futurewei
booksim/booksim2
BookSim 2.0
umd-memsys/DRAMSim2
DRAMSim2: A cycle accurate DRAM simulator
intel/systemc-compiler
This tool translates synthesizable SystemC code to synthesizable SystemVerilog.
ucb-bar/chiseltest
The batteries-included testing and formal verification library for Chisel-based RTL designs.
kactus2/kactus2dev
Kactus2 is a graphical EDA tool based on the IP-XACT standard.
gthparch/macsim
A heterogeneous architecture timing model simulator.
ucsc-vama/essent
high-performance RTL simulator
pkuzjx/EDA-wiki
EDA wiki
Xilinx/systemctlm-cosim-demo
QEMU libsystemctlm-soc co-simulation demos.
learnwithexamples/learnsystemc
Learn systemC with examples
Minres/SystemC-Components
A SystemC productivity library: https://minres.github.io/SystemC-Components/
uuverifiers/eldarica
The Eldarica model checker
usnistgov/combinatorial-testing-tools
Tools for combinatorial testing developed by the NIST ACTS project
Muriukidavid/systemc-examples
A repository for SystemC Learning examples
aengelke/raspsim
Cycle-accurate X86-64 simulator based on PTLsim
SchaffHub/RISC-Verdi
Synopsys Verdi applet that presents a view of the source code running on a RISC-V processor with a simulation waveform.
booksim/booksim
BookSim 1.0
Moorvan/ChiselFV
A Formal Verification Framework for Chisel
iscas-tis/CHA
0xD503/SystemVerilog-Modules
Common SystemVerilog/Verilog modules
linchenxuan/Real-Time-Rendering