Computer software applications that assist in the design, verification and debugging of integrated semiconductor chips and electronic systems