magicYang1573 / llm-hardware-test-generationView external linksLinks
☆33Jul 1, 2024Updated last year
Alternatives and similar repositories for llm-hardware-test-generation
Users that are interested in llm-hardware-test-generation are comparing it to the libraries listed below
Sorting:
- ☆33Dec 21, 2025Updated last month
- LLM4DV☆16Sep 30, 2024Updated last year
- ☆36Apr 11, 2025Updated 10 months ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 7 months ago
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 2 years ago
- An infrastructure for integrated EDA☆42Jul 20, 2023Updated 2 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆24Jul 7, 2024Updated last year
- ☆19Dec 21, 2020Updated 5 years ago
- An integrated CGRA design framework☆91Mar 18, 2025Updated 10 months ago
- ☆27Jun 25, 2024Updated last year
- SRAM Design using OpenSource Applications☆24Jul 16, 2021Updated 4 years ago
- LLMs and the Future of Chip Design: Unveiling Security Risks and Building Trust☆37May 17, 2024Updated last year
- IronMan+alpha: Graph Neural Network and Reinforcement Learning in High-Level Synthesis☆27Jun 24, 2022Updated 3 years ago
- RISCV-VP++ is a extended and improved successor of the RISC-V based Virtual Prototype (VP) RISC-V VP. It is maintained at the Institute f…☆48Updated this week
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated 11 months ago
- MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.☆11Dec 27, 2022Updated 3 years ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- Create cross repository milestones in Github☆10Nov 10, 2025Updated 3 months ago
- ☆12Aug 26, 2016Updated 9 years ago
- Verilog implementation of MC68851 Memory Management Unit☆13Feb 26, 2018Updated 7 years ago
- A tool for checking the contract satisfaction for hardware designs☆12Nov 4, 2025Updated 3 months ago
- 一个简单的通过webqq实现QQ群发功能☆10Mar 16, 2016Updated 9 years ago
- iEDA water-drop training initiative☆13Sep 10, 2024Updated last year
- Hardware design with Chisel☆35Feb 9, 2023Updated 3 years ago
- ☆102May 27, 2024Updated last year
- Verilog RTL Implementation of DNN☆10Jun 26, 2018Updated 7 years ago
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- ☆33Jan 6, 2026Updated last month
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- code and resources for our paper "Achieving Joint Training Accuracy in Continual Learning" in AAAI2025☆15Feb 25, 2025Updated 11 months ago
- A curated list for Efficient Large Language Models☆11Mar 25, 2024Updated last year
- Low level access to BCM2837 SoC on Raspberry Pi 3 Model B/B+☆14Feb 23, 2021Updated 4 years ago
- 《人工智能法规、伦理与社会影响》书稿☆13Aug 28, 2021Updated 4 years ago
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 4 months ago
- Generic AHB master stub☆12Jul 17, 2014Updated 11 years ago
- A memory manager for Raspberry Pi☆12Jun 3, 2025Updated 8 months ago
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Mar 9, 2024Updated last year
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated last month
- Model summary of keras pre-trained neural networks.☆12Aug 1, 2019Updated 6 years ago