Accession Number : ADA291286

Title :   SDVS 11 Users' Manual,

Corporate Author : AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP

Personal Author(s) : Marcus, L. G.

PDF Url : ADA291286

Report Date : 30 SEP 1992

Pagination or Media Count : 348

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)

Descriptors :   *COMPUTER PROGRAM VERIFICATION, COMPUTATIONS, INTERACTIONS, INTERFACES, USER NEEDS, TRANSLATIONS, ADA PROGRAMMING LANGUAGE, MANUALS, CORRECTIONS, DELTAS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE