Research Catalog

Formal semantics for a subset of VHDL and its use in analysis of the FTPP scoreboard circuit

Title
Formal semantics for a subset of VHDL and its use in analysis of the FTPP scoreboard circuit [microform] / Mark Bickford.
Author
Bickford, Mark.
Publication
Hampton, VA : National Aeronautics and Space Administration, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]

Details

Additional Authors
Langley Research Center.
Description
1 v.
Series Statement
NASA contractor report ; 191577
Uniform Title
NASA contractor report ; NASA CR-191577.
Subject
  • Computer design
  • Hardware description language
  • Semantics
  • VHSIC (Circuits)
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 94-0858-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:191577
OCLC
marcive32322795
Author
Bickford, Mark.
Title
Formal semantics for a subset of VHDL and its use in analysis of the FTPP scoreboard circuit [microform] / Mark Bickford.
Imprint
Hampton, VA : National Aeronautics and Space Administration, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Series
NASA contractor report ; 191577
NASA contractor report ; NASA CR-191577.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1994] 1 microfiche.
Added Author
Langley Research Center.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:191577
Research Call Number
READEX Microfiche NAS 1.26:191577
View in Legacy Catalog