This project implements a Network-on-Chip (NoC) in Koika. Koika is a DSL for hardware design embedded in Coq.
Please use nix to get all the setup you need for this project.
Please enable flake support in nix.
If the ~/.config/nix/ folder and/or the ~/.config/nix/nix.conf file do not exist then just create them.
After that all you need to issue at the command line is:
nix develop
Be prepared to wait a while because it will essentially build everything from scratch, even Coq itself.
Currently there is no package for Spacemacs on Nix. Hence, we suggest to install it from inside the nix shell.
- First, you need to install
emacs. - Here you can find the command to install Spacemacs.
- But instead install
spacemacsright at the root project directory viagit clone https://github.com/syl20bnr/spacemacs .emacs.d - Start emacs now like so:
spacemacs. - Once installation is complete you need to edit the config and activate the Coq layer.
- [optional] For prettification and other fancy stuff, please install
company-coqwith<SPC> <SPC> package-install <RET> company-coq <RET>
To build the project, please run
dune build