Accession Number : ADA329517

Title :   A Formal Description of the Incremental Translation of Stage 4 VHDL into State Deltas in SDVS.

Descriptive Note : Technical rept.,

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

Personal Author(s) : Filippenko, I. V.

PDF Url : ADA329517

Report Date : 30 SEP 1994

Pagination or Media Count : 207

Abstract : This report documents a formal semantic specification of Stage 4 VHDL, a subset of the VHSIC Hardware Description Language (VHDL), via translation into the temporal logic of the State Delta Verification System (SDVS). Stage 4 VHDL is the fifth of successively more sophisticated VHDL subsets to be interfaced to SDVS. The specification is a continuation style denotational semantics of Stage 4 VHDL in terms of state deltas, the distinguishing logical formulas used by SDVS to describe state transitions. The semantics is basically specified in two phases. The first phase performs static semantic analysis, including type checking and other static error checking, and collects an environment for use by the second phase. The second phase performs the actual translation of the subject Stage 4 VHDL description into state deltas. An abstract syntax tree transformation is interposed between the two translation phases. The translator specification was, for the most part, written in DL, the semantic metalanguage of a denotational semantics specification system called DENOTE. DENOTE enables the semantic equations of the specification to be realized both as a printable representation (included in this report) and an executable Common Lisp program that constitutes the translator's implementation. However, the second phase semantics of the VHDL simulation cycle has a direct operational implementation in the VHDL translator code.

Descriptors :   *COMPUTER PROGRAMS, *COMPUTER PROGRAM VERIFICATION, *DEBUGGING(COMPUTERS), COMPUTER PROGRAM DOCUMENTATION, SOFTWARE ENGINEERING, COMPUTER LOGIC, COMPUTER ARCHITECTURE, COMPUTER APPLICATIONS, ADA PROGRAMMING LANGUAGE, FIELDS(COMPUTER PROGRAMS), COMPUTER PROGRAM RELIABILITY, MACHINE TRANSLATION.

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE