Languages used to determine the actions of Circuits. Allows for operations to be done in Parallel Used for programming ASIC with an FPGA. List Verilog VHDL System Verilog Prolog Cool Tricks Assertion Programming