☆35Aug 7, 2025Updated 7 months ago
Alternatives and similar repositories for RealBench
Users that are interested in RealBench are comparing it to the libraries listed below
Sorting:
- ☆28Mar 31, 2025Updated 11 months ago
- Generative Benchmark for LLM-Aided Hardware Design☆27Jun 4, 2025Updated 9 months ago
- Fuzz everything! Now let's fuzz chip!☆35Feb 11, 2026Updated last month
- Unified Sparse Library Wrapper Based on cuSPARSE☆12May 24, 2022Updated 3 years ago
- ☆38Apr 11, 2025Updated 11 months ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated 3 weeks ago
- Reasoning LLMs optimized for Chisel code generation☆24Jun 19, 2025Updated 9 months ago
- ☆38Dec 21, 2025Updated 3 months ago
- ☆13Jun 12, 2024Updated last year
- Verilog evaluation benchmark for large language model☆386Jul 14, 2025Updated 8 months ago
- An open-source benchmark for generating design RTL with natural language☆174Nov 8, 2024Updated last year
- UART implementation using verilog☆34Feb 14, 2023Updated 3 years ago
- LLM-DSE: Searching Accelerator Parameters with LLM Agents☆13May 22, 2025Updated 10 months ago
- ☆14Aug 1, 2024Updated last year
- NSCSCC 2023 The Second Prize. TEAM PUA FROM HDU.☆13Mar 29, 2025Updated 11 months ago
- MAGE: A Multi-Agent Engine for Automated RTL Code Generation☆91Apr 11, 2025Updated 11 months ago
- Automated Repair of Verilog Hardware Descriptions☆37Jan 16, 2025Updated last year
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Feb 12, 2026Updated last month
- ☆11Jan 14, 2021Updated 5 years ago
- Agent-RRM: Exploring Reasoning Reward Model for Agents☆53Mar 5, 2026Updated 2 weeks ago
- UCAS SEP扩展脚本 - 课程评估辅助 etc.☆12Apr 3, 2025Updated 11 months ago
- 数字图像处理课程实验(Matlab)☆14Jun 26, 2018Updated 7 years ago
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated 10 months ago
- This project attempts to classify the entries in the Microsoft Malware Classification Challenge dataset using random forests.☆11Dec 22, 2016Updated 9 years ago
- 给NEMU移植Linux Kernel!☆22Jun 1, 2025Updated 9 months ago
- Scalable Quantum Neural Network builds and trains a large-scale QNN in a modular fashion. SQNN is evaluated with a binary classification …☆12Oct 4, 2023Updated 2 years ago
- DOSA: Differentiable Model-Based One-Loop Search for DNN Accelerators☆19Oct 10, 2024Updated last year
- A package for handling tangent-point energy and other nonlocal energies.☆19Mar 14, 2026Updated last week
- hanLP-python server api☆12Apr 25, 2017Updated 8 years ago
- A generalizable machine learning-based performance modeling framework.☆18Jun 9, 2025Updated 9 months ago
- Characterizing and Optimizing EDA Flows for the Cloud (DATE'2021 and TCAD)☆11Nov 2, 2021Updated 4 years ago
- ChatEDA: A Large Language Model Powered Autonomous Agent for EDA (TCAD'24, NAACL'25)☆46May 21, 2025Updated 10 months ago
- Official implementation.☆27Jul 1, 2025Updated 8 months ago
- ☆21Nov 29, 2022Updated 3 years ago
- Code for DOPING: Generative Data Augmentation for Unsupervised Anomaly Detection with GAN☆15Aug 23, 2018Updated 7 years ago
- SurgeFuzz: Surge-Aware Directed Fuzzing for CPU Designs (ICCAD 2023)☆23Dec 5, 2024Updated last year
- ☆268Jul 8, 2024Updated last year
- ☆35Updated this week
- Source code for student lectures on dependent type theory.☆12Jun 9, 2025Updated 9 months ago