Computer hardware and software for verification of hardware, computer chips, circuit boards, and integrated circuits; computer hardware and software for designing hardware, computer chips, circuit boards, and integrated circuits, and for electronic design automation