Verilog

Verilog is a language technology tracked in AI research papers.