VIPER microprocessor とは

VIPERは、1980年代にRoyal Signals and Radar Establishmentによって作成された32ビットマイクロプロセッサ設計であり、航空電子工学のような安全性が重要なシステムでの使用が意図されています。これは正式に証明された最初の商用マイクロプロセッサーの設計でしたが、この主張と証明の定義を取り巻くいくつかの論争がありました。