Formal Design Specification of a Processor Interface Unit

Formal Design Specification of a Processor Interface Unit

著者名:

Fura, David A ( Boeing Defense & Space Group )
Windeley, Phillip J. ( University of Idaho )
Cohen, G.C. ( Boeing Defense & Space Group )

掲載資料名:

NASA Technical Reports

発行年:

1992

号:

NASA-CR-189698

通号:

G3/60 0127114

パート:

NAS 1.26:189698

ペーパー番号:

N93-12538

開始ページ:

1

終了ページ:

253

総ページ数:

253

出版情報:

National Aeronautics and Space Adminstration

言語:

英語

資料種別:

テクニカルペーパー

詳細

TDL書誌ID:	ZA00001429
論文注記:	NAS1-18586

類似資料:

1 テクニカルペーパー Towards the Formal Specification of the Requirements and Design of a Processor Interface Unit - HOL Listings Fura, David A., Windley, Phillip J., Cohen, Gerald C. National Aeronautics and Space Adminstration	7 テクニカルペーパー Formal Mechanization of Device Interactions with a Process Algebra Thomas Schubert, E., Levitt, Karl, Cohen, G.C. National Aeronautics and Space Adminstration
2 テクニカルペーパー Towards the Formal Specification of the Requirements and Design of a Processor Interface Unit Fura, David A., Windley, Phillip J., Cohen, Gerald C. National Aeronautics and Space Adminstration	8 テクニカルペーパー The Formal Verification of Generic Interpreters Windley, P., Levitt, K., Cohen, G.C. National Aeronautics and Space Adminstration
3 テクニカルペーパー Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit - Hol Listings Fura, David A., Windley, Phillip J., Cohen, Gerald C. National Aeronautics and Space Adminstration	9 テクニカルペーパー FORMAL PROOF OF THE AVM-1 MICROPROCESSOR USING THE CONCEPT OF GENERIC INTERPRETERS Windley, P., Levitt, K., Cohen, G.C. National Aeronautics and Space Adminstration
4 テクニカルペーパー Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit Fura, David A., Windley, Phillip J., Cohen, Gerald C. National Aeronautics and Space Adminstration	10 テクニカルペーパー IAPSA II Small-Scale System Specification Cohen, G.C., Torkelson, T.C. National Aeronautics and Space Adminstration
5 テクニカルペーパー Interpreter Composition Issues in the Formal Verification of a Processor-Memory Module Fura, David A., Cohen, Gerald C. National Aeronautics and Space Adminstration	11 テクニカルペーパー Requirements Specification Language (RSL) and Supporting Tools Frincke, Deborah, Wolber, Dave, Fisher, Gene, Cohen, G.C. National Aeronautics and Space Adminstration
6 テクニカルペーパー Toward a Formal Verification of a Floating- Point Coprocessor and its Composition with a Central Processing UNit Pan, Jing, Levitt, K., Cohen, G.C. National Aeronautics and Space Adminstration	12 テクニカルペーパー REFERENCE MANUAL FOR A REQUIREMENTS SPECIFICATION LANGUAGE (RLS), VERSION 2.0 Fisher, G.L., Cohen, G.C. National Aeronautics and Space Adminstration

1

2

3

4

5

6

7

8

9

10

11

12