computer aided design software for semiconductor industry to simulate and verify function, timing, power, noise, waveform and other performance of integrated circuits