Accession Number:

ADA291286

Title:

SDVS 11 Users' Manual,

Descriptive Note:

Corporate Author:

AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP

Personal Author(s):

Report Date:

1992-09-30

Pagination or Media Count:

348.0

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE