Definition A language for describing formal representations of digital circuits for simulation, analysis and synthesis. Synthesis is the creation of a [[Netlist]] to use in physically implementing the design.