VVViy

VVViy's Stars

• geeeeeeeeek/git-recipes

  🥡 Git recipes in Chinese by Zhongyi Tong. 高质量的Git中文教程.

  14.6k60603.5k

• bigcode-project/starcoder

  Home of StarCoder: fine-tuning & inference!

  Language:Python7.2k69142513

• chipsalliance/chisel

  Chisel: A Modern Hardware Design Language

  Language:Scala3.9k1501k584

• QianMo/Real-Time-Rendering-4th-Bibliography-Collection

  Real-Time Rendering 4th (RTR4) 参考文献合集典藏 | Collection of <Real-Time Rendering 4th (RTR4)> Bibliography / Reference

  Language:HTML3.5k481181k

• steveicarus/iverilog

  Icarus Verilog

  Language:C++2.8k135704519

• vortexgpgpu/vortex

  Language:Verilog1.2k39108247

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C43620199129

• accel-sim/accel-sim-framework

  This is the top-level repository for the Accel-Sim framework.

  Language:Python28310182110

• openhwgroup/force-riscv

  Instruction Set Generator initially contributed by Futurewei

  Language:C++254286754

• booksim/booksim2

  BookSim 2.0

  Language:C++2532728158

• umd-memsys/DRAMSim2

  DRAMSim2: A cycle accurate DRAM simulator

  Language:C++2493173150

• intel/systemc-compiler

  This tool translates synthesizable SystemC code to synthesizable SystemVerilog.

  Language:C++240176033

• ucb-bar/chiseltest

  The batteries-included testing and formal verification library for Chisel-based RTL designs.

  Language:Scala2172319472

• kactus2/kactus2dev

  Kactus2 is a graphical EDA tool based on the IP-XACT standard.

  Language:C++191248334

• gthparch/macsim

  A heterogeneous architecture timing model simulator.

  Language:C++134112449

• ucsc-vama/essent

  high-performance RTL simulator

  Language:Scala1268712

• pkuzjx/EDA-wiki

  EDA wiki

  Language:Shell1145027

• Xilinx/systemctlm-cosim-demo

  QEMU libsystemctlm-soc co-simulation demos.

  Language:C++114193146

• learnwithexamples/learnsystemc

  Learn systemC with examples

  Language:C++876023

• Minres/SystemC-Components

  A SystemC productivity library: https://minres.github.io/SystemC-Components/

  Language:JavaScript8592824

• uuverifiers/eldarica

  The Eldarica model checker

  Language:Scala8055122

• usnistgov/combinatorial-testing-tools

  Tools for combinatorial testing developed by the NIST ACTS project

  Language:Java6315021

• Muriukidavid/systemc-examples

  A repository for SystemC Learning examples

  Language:C++614048

• aengelke/raspsim

  Cycle-accurate X86-64 simulator based on PTLsim

  Language:C++271118

• SchaffHub/RISC-Verdi

  Synopsys Verdi applet that presents a view of the source code running on a RISC-V processor with a simulation waveform.

  Language:Python25313

• booksim/booksim

  BookSim 1.0

  Language:C++17409

• Moorvan/ChiselFV

  A Formal Verification Framework for Chisel

  Language:Scala15100

• iscas-tis/CHA

  Language:Scala13501

• 0xD503/SystemVerilog-Modules

  Common SystemVerilog/Verilog modules

  Language:SystemVerilog2100

• linchenxuan/Real-Time-Rendering

  2