Also called: Simulation; logic verification . Verification is based on. Testpattern Generation; Reference Model Development; Result Checking. Design.
