Computer hardware for digital systems; instruments for digital systems, namely, electronic circuit testers; computer software for verifying electronic circuits for use in digital systems in the telecommunications and information technology fields