Automatic creation of Hardware Description Language code (like Verilog or VHDL) that specifies circuit behavior.