Accession Number:

ADA329986

Title:

SDVS 12 Users' Manual.

Descriptive Note:

Corporate Author:

AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP

Personal Author(s):

Report Date:

1993-09-30

Pagination or Media Count:

361.0

Abstract:

This is a guide for users of the State Delta Verification System SDVS, Version 12. 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. A set of exercises is provided in the last chapter and a comprehensive SDVS bibliography is included.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE