a process by which the correctness of a design result is confirmed through one or more of the following approaches: (1) formal or symbolic analysis of design, (2) simulation of the design in software form on a host computer, or (3) emulation of the design through implementation in a hardware or combined software/hardware form. [1994 National Technology Roadmap for Semiconductors]