🔬 Intelligent static analysis · Graph-based propagation · ML-powered scoring
Ready
📂 Load Example
📝 RTL Source Code (Verilog / VHDL)
📄
Click or drag RTL file here
.v, .sv, .vhdl
🔧 Detected Issues (JSON, optional)
📋
Click or drag JSON file
⚙️ Pipeline Stages
1
RTL Parsing (PyVerilog / Regex)
2
Bug Detection (4 rules)
3
Dependency Graph (NetworkX)
4
BFS Impact Analysis
5
Feature Extraction
6
ML Scoring (Random Forest)
7
Hybrid Ranking
8
Explanation Generation