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