icarus-verilog
An abstraction library for interfacing EDA tools
Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats
SystemVerilog Unit Test (SVUT)
Python client to communicate with Verisocks server.
Tool to play with HDL (inspired by EdaPlayground)
