Popular repositories Loading

1. kepler-formal kepler-formal Public

   Digital Design Equivalence Checking

   Verilog 78 8

2. kepler-formal-regress kepler-formal-regress Public

   Verilog 2

3. keplertech-web keplertech-web Public

   HTML

4. kepler-formal-action kepler-formal-action Public

   Verilog

5. OpenROAD OpenROAD Public

   Forked from The-OpenROAD-Project/OpenROAD

   OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

   Verilog

6. OpenROAD-KF OpenROAD-KF Public

   Forked from najaeda/OpenROAD

   OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

   Verilog