The paper A Typing Discipline for Hardware Interfaces proposes a theoretical framework that guarantees interfaces on a hardware design satisfies a known description. The framework was realised within the dependently typed language Idris. This Idris implementation is the artefact to be submitted.

The artefact is presented within a virtual machine image that contains a working environment to interact with the framework and examples. The virtual machine image is a virtual box instance packaged to work with a virtual machine management tool called Vagrant. This setup allows one to connect to the box using SSH and interact with the tooling using a command prompt.