VIPER mikroprocesszor

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 2²⁰ 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]

↑ Churchley, Andrew. Microprocessor Based Protection Systems. Springer, 64. o. (1991. november 30.). ISBN 9781851666119. Hozzáférés ideje: 2012. július 23.
↑ Avra Cohn: TheNotionofProof in Hardware Verification (angol nyelven) (PDF) pp. 1–13. University of Cambridge Computer Laboratory, 1988. (Hozzáférés: 2013)
↑ ^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. (Hozzáférés: 2013)

Fordítás[szerkesztés]

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. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.

Források[szerkesztés]

További információk[szerkesztés]

Kapcsolódó szócikkek[szerkesztés]

Informatikai portál • összefoglaló, színes tartalomajánló lap

Ez a processzorral kapcsolatos lap egyelőre csonk (erősen hiányos). Segíts te is, hogy igazi szócikk lehessen belőle!

[Churchley1991-1] Churchley, Andrew. Microprocessor Based Protection Systems. Springer, 64. o. (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. (Hozzáférés: 2013)

[Computational-3] 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. (Hozzáférés: 2013)

[1]

[2]

[3]