VIPER mikroprocesszor

A Wikipédiából, a szabad enciklopédiából

A VIPER egy 32 bites mikroprocesszor-kialakítás, amelyet a Royal Signals and Radar Establishment (RSRE, az Egyesült Királyság védelmi minisztériumának egyik kutatóintézete) tervezett és készített az 1980-as években. A processzor elsődleges célja a nagy megbízhatóságú rendszerekben, például az avionika területén való felhasználás volt.[1]

Ez volt az első kereskedelemben is kapható mikroprocesszor-kialakítás, amelynek helyes működését formális bizonyítás támasztotta alá, bár a bizonyítás és annak módszerei körül némi bizonytalanság volt tapasztalható.[2][3]

A VIPER egy 32 bites processzor, egy akkumulátor-regisztere, két indexregisztere, egy 20 bites programszámlálója és egy 1 bites jelzőregisztere (flag) van. A processzor 220 számú szó címzését támogatja mind a be- és kimeneti, mind a különálló memória tárterületen. Utasításai 32 bitesek, amelyekben 12 bit kódolja az utasítást, a fennmaradó 20 bit a közvetlen értéket vagy a címzést tartalmazza. A VIPER működése megáll (halt állapotba kerül) bármilyen hiba fellépése esetén (pl. illegális utasítás, memória nem válaszol a megadott várakozási időn belül, aritmetikai túlcsordulás, stb.) és a hibaállapotot a kimeneti vonalain jelzi. A processzornak ezen kívül nincs más megszakítási rendszere. A hibaállapotból újraindítási mechanizmusokkal léptethető ki.[3]

Jegyzetek[szerkesztés | forrásszöveg szerkesztése]

  1. Churchley, Andrew. Microprocessor Based Protection Systems. Springer (1991. november 30.). ISBN 9781851666119. Hozzáférés ideje: 2012. július 23. 
  2. Avra Cohn: TheNotionofProof in Hardware Verification (angol nyelven) (PDF) pp. 1–13. University of Cambridge Computer Laboratory, 1988
  3. ^ a b Bishop Brock, Warren A. Hunt, Jr.: Report on the Formal Specification and Partial Verification of the VIPER Microprocessor (angol nyelven) (PDF) pp. 1–31. Computational Logic, Inc., 1990. január 15.

Fordítás[szerkesztés | forrásszöveg szerkesztése]

Ez a szócikk részben vagy egészben a VIPER microprocessor című angol Wikipédia-szócikk ezen változatának fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel.

Források[szerkesztés | forrásszöveg szerkesztése]

További információk[szerkesztés | forrásszöveg szerkesztése]

Kapcsolódó szócikkek[szerkesztés | forrásszöveg szerkesztése]