Computer software development tools for the design and verification of integrated circuits, semiconductors, and electronic systems