Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakDesign and Formal Verification of a Fault-Tolerant RISC-V Processor Core Augmented to Accelerate Image and Science Data Processing
Proyek riset & pengembangan

Design and Formal Verification of a Fault-Tolerant RISC-V Processor Core Augmented to Accelerate Image and Science Data Processing

Ringkasan tujuan riset

Inti prosesor RISC-V toleran gangguan dengan elemen pemrosesan yang dapat dikonfigurasi ulang dan verifikasi formal.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NASA TechPort 125485Periode tercatat 2022-07-25 sampai 2023-02-25. TRL: awal 3, saat akses 4, target 4. Target bukan hasil.NASA TechPort 125485MulaiAkhir tercatat202220242022-07-252023-02-25TRL 1–9Awal3Saat akses4Target4
Linimasa dan catatan proyek

Tanggal dan TRL menurut catatan penerbit. Akhir periode dan target bukan bukti hasil riset.

Teknologi · CC BY 4.0 · Sumber data

Apa tujuan dan pendekatan risetnya?

Profil ini merangkum ruang lingkup proyek yang dipublikasikan NASA TechPort. Sumber diakses . Uraian pendekatan dan manfaat menyatakan tujuan pengembangan, kecuali sumber secara khusus melaporkan hasil.

Rancangan memadukan inti berarsitektur instruksi RISC-V dengan larik elemen pemrosesan untuk mempercepat pengolahan citra dan data ilmiah. Konfigurasi dinamis ditujukan menyesuaikan perangkat dengan kebutuhan aplikasi sambil mengendalikan daya serta gangguan. Alur verifikasi formal digunakan untuk membuktikan sifat keselamatan dan keberlangsungan pada rancangan prosesor berpipa, superskalar, atau VLIW. Pekerjaan awal berfokus pada desain dan pembuktian; peningkatan kinerja yang diusulkan belum menjadi hasil chip yang berlaku untuk semua aplikasi.

Baca uraian penerbit

Manfaat yang dituju

Ditujukan bagi komputasi tertanam wahana yang membutuhkan pengolahan data andal.

Sasaran manfaat bukan jaminan kinerja, adopsi, atau ketersediaan produk.

Konteks pengembangan

Institusi pemimpin
Aries Design Automation, LLC
Program
Small Business Innovation Research/Small Business Tech Transfer
Periode proyek
2022-07-25 → 2023-02-25

Klasifikasi NASA

  • TX05.2.4 — Flight and Ground Systems

Label penerbit dipertahankan sebagai konteks. Bidang katalog merupakan pengelompokan editorial.

Apa yang diketahui tentang statusnya?

Status proyek menurut NASACompleted
Awal proyekTRL 3
Tercatat saat aksesTRL 4
Target akhirTRL 4

TRL adalah tingkat kesiapan teknologi yang dilaporkan penerbit, pada skala 1–9. Nilai target akhir menunjukkan sasaran. Status “Completed” berarti proyek telah selesai menurut pencatatan NASA; status tersebut tidak membuktikan bahwa seluruh sasaran kinerja telah tercapai.

Batas informasi

Profil ini menjelaskan ruang lingkup riset dari catatan penerbit. Target pengembangan dan TRL akhir bukan bukti keberhasilan, ketersediaan produk, atau kelayakan penerapan. Tinjauan ahli dan pengujian performa independen belum dilakukan.

Dasar profil

Metodologi dan batas pemeriksaan. Ringkasan berbahasa Indonesia disusun sebagai parafrasa editorial dengan pemeriksaan sumber primer oleh agen AI. Identitas, periode, serta status berasal dari catatan penerbit. Tinjauan ahli dan pengujian kinerja independen belum dilakukan; rujukan tidak menyiratkan dukungan atau sertifikasi NASA.