NGI Project: Kepler-Formal

This is a direct request from project author. ### Short Summary Kepler-Formal is a logic equivalence checking (LEC) tool that operates on Verilog and the [Naja interchange format](https://github.com/najaeda/naja-if). It focuses today on combinational equivalence checking only; sequential boundary changes are not supported yet and remain planned work. ### NLnet page(s) - https://nlnet.nl/project/Naja-LEC-TimingModelEngine/ (related) ### Source repository - https://github.com/keplertech/kepler-formal ### Tasks [Add a sub-issue](https://docs.github.com/en/issues/tracking-your-work-with-issues/using-issues/adding-sub-issues#creating-a-sub-issue) using the appropriate GitHub template for each of the following tasks: - [ ] [Triage project](https://github.com/ngi-nix/ngipkgs/issues/new?template=task-triage.yaml) - [ ] [Implement project metadata](https://github.com/ngi-nix/ngipkgs/issues/new?template=task-metadata.md) Next, depending on the project deliverable, open sub-issues for the following tasks: - [ ] [Implement NixOS program module](https://github.com/ngi-nix/ngipkgs/issues/new?template=task-module-program.md) - [ ] Example configuration - [ ] NixOS test - [ ] Shell demo - [ ] [Implement NixOS service module](https://github.com/ngi-nix/ngipkgs/issues/new?template=task-module-service.md) - [ ] Example configuration - [ ] NixOS test - [ ] VM demo **Note:** Each program/service module needs an example, and each example needs to be tested. > [!IMPORTANT] > Make sure to open sub-tasks for each deliverable under the parent issue.