Verilog

It is a hardware description language (HDL). Verilog is used for verifying mixed-signal and analogue circuits and describing digital circuits in a textually. It has a programming language interface (PLI), which allows transferring control to a function written in C.