WBChe

WBChe's Stars

• Satan-23333/reproduce-MIEC-ICCAD

  Verilog auto debug with Gpts

  Language:Verilog41

• NVlabs/FVEval

  LLM Evaluation Benchmark on Hardware Formal Verification

  Language:Python8

• arminbiere/kissat

  Language:C45785

• Boolector/boolector

  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

  Language:SMT33562

• rafaelcalcada/aigbdd

  Checks the equivalence between AIGs using BDDs

  Language:C++6

• arminbiere/aiger

  AIGER And-Inverter-Graph Library

  Language:C6118

• ZhiyuanYan/property-mining

  Language:Python8

• berkeley-abc/abc

  ABC: System for Sequential Logic Synthesis and Formal Verification

  Language:C902590

• lsils/benchmarks

  EPFL logic synthesis benchmarks

  Language:Verilog16436

• Gy-Hu/HW-Formal-Paper

  Recent papers related to hardware formal verification.

  598

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C440131

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++846262

• cristian-mattarei/CoSA

  CoreIR Symbolic Analyzer

  Language:Python6115

• zhanghongce/vexpparser

  Verilog Expression Parser

  Language:C++23

• stanford-centaur/smt-switch

  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

  Language:C++11443

• pysmt/pysmt

  pySMT: A library for SMT formulae manipulation and solving

  Language:Python574130

• Boolector/btor2tools

  A generic parser and tool package for the BTOR2 format.

  Language:C4025

• makaimann/btor2verilog

  Hacked together program to convert btor2 files to Verilog.

  Language:C++85

• fangwenji/wasim-cpp

  Language:C++74

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.5k892

• fangwenji/tacas23-wasim

  Language:Python12

• l0o0/jasminum

  A Zotero add-on to retrive CNKI meta data. 一个简单的Zotero 插件，用于识别中文元数据

  Language:TypeScript5.5k285

• HJYao00/DenseConnector

  【NeurIPS 2024】Dense Connector for MLLMs

  Language:Python1335

• WangXuan95/FPGA-MPEG2-encoder

  An FPGA-based high performance MPEG2 encoder for video compression. 基于FPGA的高性能MPEG2视频编码器，可实现视频压缩。

  Language:Verilog11622

• RichardLitt/standard-readme

  A standard style for README files

  Language:Shell6.1k2.6k

• hsluoyz/Atalanta

  Atalanta is a modified ATPG (Automatic Test Pattern Generation) tool and fault simulator, orginally from VirginiaTech University.

  Language:Verilog7534

• HJYao00/Side4Video

  Language:Python352