Verilog

Hardware description language (HDL) Since 2008, Verilog has been merged into SystemVerilog. Tools that target Verilog:

• ABC
• ADAC
• CoSA
• EBMC
• fault
• Manthan
• MCHyper
• Pono
• v2c
• VCEGAR
• Yosys