Codasip mengadopsi Imperas untuk verifikasi prosesor RISC-V

Codasip telah mengumumkan bahwa mereka telah mengadopsi desain referensi Imperas dan solusi DV Imperas untuk Codasip IP.

Sebagai pemimpin dalam IP prosesor RISC-V yang dapat disesuaikan, Codasip telah banyak berinvestasi dalam verifikasi prosesor untuk menghadirkan prosesor RISC-V berkualitas tinggi.

Codasip telah menyertakan model referensi emas Imperas dalam testbenches DV-nya untuk memastikan alur verifikasi yang efisien yang mengakomodasi berbagai fitur dan opsi fleksibel sambil menskalakan seluruh peta jalan core masa depan untuk memungkinkan konfirmasi kualitas fungsional yang ketat.

RISC-V adalah arsitektur modular yang menawarkan beberapa permutasi instruksi dasar, ekstensi opsional standar dan instruksi kustom – yang menimbulkan kekhawatiran tentang implementasi dan risiko fragmentasi.

Pengujian internal Codasip sudah menggunakan model instruksi-akurat internal, beberapa sumber pengujian langsung dan acak (disediakan secara internal dan eksternal), dan beberapa teknologi berbeda untuk memeriksa dan memastikan kepatuhan prosesor. Model referensi yang dapat dikonfigurasi Imperas telah diuji sepenuhnya dan mengaktifkan semua opsi konfigurasi yang diperlukan untuk mendukung tampilan komprehensif ini.

Tim teknik Codasip yang berbasis di Sophia-Antipolis, Prancis, meninjau tantangan spesifikasi RISC-V yang terus berkembang, portofolio IP prosesor Codasip lengkap, ekstensi dan fitur yang dapat dikonfigurasi, ditambah rencana peta jalan masa depan dan menemukan bahwa solusi Imperas mampu mendukung beban kerja operasional dan persyaratan skala.

Tim teknik Codasip menyiapkan infrastruktur dan kerangka uji di sekitar Model Referensi RISC-V Imperas untuk menguji semua konfigurasi secara efisien dengan kemampuan beradaptasi untuk fitur peta jalan baru.

“Imeras adalah pionir dalam simulasi teknologi dan verifikasi prosesor untuk RISC-V,” kata Philippe Luc, Direktur Verifikasi Codasip. “Meskipun verifikasi prosesor bukanlah masalah baru, terdapat banyak pemasok RISC-V, dengan penyesuaian dan berbagai tingkat verifikasi atau kesesuaian: pelanggan memiliki kekhawatiran yang wajar mengenai kualitas dan fragmentasi.

“Codasip sangat bangga dengan pendekatan ketat kami untuk verifikasi dan menggunakan Imperas sebagai bagian penting dari proses kualitas kami untuk memperluas diferensiasi kami. Independensi, reputasi, dan kekuatan teknis Imperas memberi pelanggan kami kepastian lebih lanjut dalam prosesor RISC-V 'terbaik di kelasnya' kami,”

Simon Davidmann, CEO di Imperas menambahkan, “Verifikasi desain dari IP prosesor ini merupakan hal mendasar bagi Codasip untuk terus menghadirkan prosesor dengan kualitas terbaik saat ia beralih ke generasi berikutnya dari IP-nya. Setiap fitur opsional tambahan secara kasar menggandakan beban kerja verifikasi. Pendekatan Imperas mendukung pengembangan Codasip dengan menerapkan Integrasi Berkelanjutan/Pengembangan Berkelanjutan ke lingkungan DV prosesor yang canggih dengan menggunakan simulasi dan menawarkan keunggulan efisiensi tanpa mengorbankan fitur opsional.”