SDVS 12 Users' Manual.
AEROSPACE CORP EL SEGUNDO CA ENGINEERING AND TECHNOLOGY GROUP
Pagination or Media Count:
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.
- Computer Programming and Software