Computer system comprised of a combination of computer hardware and computer software for the design, simulation and verification of integrated circuits