مرکز منطقه ای اطلاع رساني علوم و فناوري - Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A First Experiment

DocumentCode :

1206872

Title :

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

Author :

Organick, E.I. ; Carter, T.M. ; Maloney, M.P. ; Davis, A. ; Hayes, A.B. ; Klass, D. ; Lindstrom, G. ; Nelson, B.E. ; Smith, K.F.

Author_Institution :

Univeristy of Utah

Volume :

Issue :

fYear :

1984

Firstpage :

Lastpage :

Abstract :

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

fLanguage :

English

Journal_Title :

Software, IEEE

Publisher :

ieee

ISSN :

0740-7459

Type :

jour

DOI :

10.1109/MS.1984.233394

Filename :

1695091

Link To Document :