keplertech/kepler-formal

Digital Design Equivalence Checking

语言：C++ · GitHub 星标：114 · Fork：15

话题：agentic-chip-design-verification · asic · asic-design · asic-verification · chip-design · eda · equivalence-checking · formal-verification

在 GitHub 上查看原仓库