Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A First Experiment

Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A First Experiment

Although the functional behavior of this IC was tested in system, the evaluation of circuit performance should not be long in coming.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE software 1984-01, Vol.1 (1), p.31-49
Hauptverfasser: Organick, E.I., Carter, T.M., Maloney, M.P., Davis, A., Hayes, A.B., Klass, D., Lindstrom, G., Nelson, B.E., Smith, K.F.
Format: Artikel
Sprache:eng
Schlagworte:
Design
Engineers
Experiments
Internet
Language
Logic
Semantics
Silicon
Software
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Although the functional behavior of this IC was tested in system, the evaluation of circuit performance should not be long in coming.
ISSN:0740-7459
1937-4194
DOI:10.1109/MS.1984.233394