Computer software for use in digital circuit analysis and design, enabling timing analysis, simulation, circuit modification and development of applications related to the foregoing