A hardware descriptor language, similar to [[VHDL]]. The game [[Turing Complete]] allows you to export your projects to this format for use in FPGAs.