Hacker GitHub

← All repos

keplertech/kepler-formal

View on GitHub ↗ ★ 120 C++

Digital Design Equivalence Checking

4 mentions on Hacker News by 1 person: 3 stories, 1 comment · first 2026-02-13 · latest 2026-08-12

Mentions per year 4 mentions · busiest year 2026 (4)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    Open Source Equivalence Checking Tool for FPGA Design
    story by nanocoh · 2026-08-12 · 1 comment
  2. ▲ 1
    Open source HW equivalence checking tool at both RTL and gate level
    story by nanocoh · 2026-07-04 · 1 comment
  3. ▲ 2
    Chip Design – New Open Source LEC(Logic Equivalence Checking)
    story by nanocoh · 2026-02-13 · 1 comment