Verification tool for VHDL (or at least the prototype of one). https://segfault.tech/cgit.cgi/tabellion/atom?h=improved_makefiles