Verification - Computing

Computing

• Verification and validation (software)
• In applications:
  • CAPTCHA, device to verify that a user of a web-site is human to prevent automated abuse
  • File verification, checking the formal correctness or integrity of a file
  • Speech verification, checking of the correct speaking of given sentences
  • Verify (command), DOS command

• In software development:
  • Formal verification, mathematical proof of the correctness of algorithms
  • Intelligent verification, automatically adapts the testbench to changes in RTL
  • Runtime verification, during execution
  • Software verification, An overview of techniques for verifying software

• In circuit development:
  • Functional verification of design of digital hardware
  • Analog verification, applies to analog or mixed-signal hardware
  • Physical verification, design of a circuit

• In systems engineering:
  • Testing to confirm that the system, subsystem or component meets documented requirements or specifications levied on the design.