GitHub repository: DepTyCheck/verilog-model
Primary language: Idris
Description: DepTyCheck model for semantically correct SystemVerilog descriptions