Computer software for simulation of digital logic used in integrated circuit design