SDVS 11 Users' Manual,

Abstract

This is a guide for users of SDVS, Version 11. Its style is somewhere between that of a tutorial and a reference manual. All facets of the verification system are covered here: the underlying logic (state deltas), the proof language, the user interface, the actual use of the system, the translation from the register-transfer-level language ISPS to state deltas, the translation from Ada to state deltas, the translation from VHDL to state deltas, the capabilities of the static solvers, and example proofs. In addition, a set of exercises is provided in the last chapter. (KAR)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1992
Accession Number
ADA291286

Entities

People

  • L. G. Marcus

Organizations

  • The Aerospace Corporation

Tags

Communities of Interest

  • C4I
  • Space

DTIC Thesaurus Topics

  • Clocks
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Computing System Architectures
  • Construction
  • Cybersecurity
  • High Level Languages
  • Language
  • Lisp Programming Language
  • Microcode
  • Object Code
  • Programming Languages
  • Standards
  • User Interface

Readers

  • Database Systems and Applications
  • Library and Information Science
  • Molecular Photonics/Laser Physics