#

slec

Here is 1 public repository matching this topic...

keplertech / kepler-formal

Digital Design Equivalence Checking

asic fpga eda formal-verification semiconductor sec asic-verification verfication lec asic-design chip-design equivalence-checking slec agentic-chip-design-verification

Updated Sep 5, 2026
C++

Add this topic to your repo

To associate your repository with the slec topic, visit your repo's landing page and select "manage topics."