Highlights
- Pro
Stars
Open-source RTL logic simulator with CUDA acceleration
Xplace 3.0: An Extremely Fast, Extensible and Deterministic Placement Framework with Detailed-Routability and Timing Optimization
Generative Benchmark for LLM-Aided Hardware Design
A collection of formalized statements of conjectures in Lean.
A new LLM solution for RTL code generation, achieving state-of-the-art performance in non-commercial solutions and outperforming GPT-3.5.
Code2Inv: Learning Loop Invariants for Program Verification
HLS-Eval: A Benchmark and Framework for Evaluating LLMs on High-Levels Synthesis Design Tasks
The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
Formalization of Gröbner basis theory in Lean4 (WIP)
AutoCellLibX: Automated Standard Cell Library Extension Based on Pattern Mining
Cell Layout Generation for DTCO/STCO Exploration Toolkit
CircuitFusion: Multimodal Circuit Representation Learning for Agile Chip Design (ICLR'25)
AAAI'25 Paper: Hierarchical Mixture of Experts: Generalizable Learning for High-Level Synthesis
An OCI-based ASDF system distribution and management tool for Common Lisp