Icarus Verilog

A solid language pack for Vim.

C rmate version

Describing Chinese Characters with Recursive Radical Packing Language (RRPL)

Yosys Open SYnthesis Suite

ABC: System for Sequential Logic Synthesis and Formal Verification