Research Catalog

A formal language for the specification and verification of synchronous and asynchronous circuits

Title
A formal language for the specification and verification of synchronous and asynchronous circuits [microform] / David M. Russinoff.
Author
Russinoff, David M.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]

Details

Additional Authors
Langley Research Center.
Description
1 v.
Series Statement
NASA contractor report ; 191500
Uniform Title
NASA contractor report ; NASA CR-191509.
Subject
  • Integrated circuits > Verification
  • Computer hardware description languages
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 94-0081-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:191509
OCLC
marcive30535433
Author
Russinoff, David M.
Title
A formal language for the specification and verification of synchronous and asynchronous circuits [microform] / David M. Russinoff.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Series
NASA contractor report ; 191500
NASA contractor report ; NASA CR-191509.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1993] 1 microfiche.
Added Author
Langley Research Center.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:191509
Research Call Number
READEX Microfiche NAS 1.26:191509
View in Legacy Catalog