Computer software that assists digital hardware design engineers in functionally verifying their designs