Ini adalah siaran pers berbayar. Hubungi distributor siaran pers langsung untuk pertanyaan apa pun.

Real Intent Mengumumkan Conquest MAI — Penandatanganan Integritas Mikroarsitektur

Real Intent

Rabu, 25 Februari 2026 pukul 02:03 WIB 3 menit baca

Real Intent

Mendeteksi dan memeriksa komponen fungsional standar (SFC) secara otomatis di seluruh hierarki selama desain RTL

SUNNYVALE, California, 24 Februari 2026 (GLOBE NEWSWIRE) – Real Intent, Inc., hari ini mengumumkan Conquest MAI, alat penandatanganan integritas mikroarsitektur pertama di industri. Conquest MAI secara otomatis mengidentifikasi komponen fungsional standar (SFC) di seluruh hierarki desain dan melakukan pemeriksaan integritas lokal.

Kemampuan debug canggihnya, termasuk diagram FSM dan skema blok fungsional SFC, mendukung pemahaman dan eksplorasi desain yang mendalam selama proses verifikasi. Pengaturan cepat dan kinerja sangat cepat dari Conquest MAI membuatnya praktis untuk menggabungkan penandatanganan integritas mikroarsitektur sebagai bagian dari penandatanganan RTL.

Minimally Boolean: Memungkinkan penandatanganan MAI selama penandatanganan RTL

Metodologi simulasi dan verifikasi formal sangat bergantung pada analisis Boolean, dan masing-masing memiliki keterbatasan signifikan sebagai akibatnya. Verifikasi formal lambat dengan kapasitas terbatas yang membatasi analisis menyeluruh, sementara simulasi tidak praktis karena volume besar test bench dan siklus verifikasi yang diperlukan untuk mencapai penandatanganan mikroarsitektur.

Conquest MAI hanya bergantung secara minimal pada metode Boolean. Ia terutama menggunakan teknik pemeriksaan abstrak dan analisis khusus masalah, menghindari penyelesaian ruang keadaan Boolean penuh. Sebagai hasilnya, Conquest MAI:

Berjalan 10x hingga 100x lebih cepat daripada formal, menganalisis satu juta gerbang dalam hitungan menit

Meliputi desain dengan miliaran gerbang secara menyeluruh dalam beberapa jam, tanpa black boxing  

Kombinasi ini memungkinkan insinyur mengintegrasikan integritas mikroarsitektur sebagai bagian dari penandatanganan RTL.

Menginferensikan Niat Fungsional untuk Mengidentifikasi SFC

Inti dari Conquest MAI adalah kemampuannya untuk menginferensikan niat fungsional secara langsung dari RTL untuk secara otomatis mengidentifikasi SFC seperti FSM, FIFO, penghitung, penggeser, dan memori. Ia menganalisis perilaku logika untuk memahami apa yang diimplementasikan desain, bukan bergantung pada pola sintaksis atau konvensi penamaan.

Inferensi niat Conquest MAI adalah:

Tidak bergantung pada gaya penulisan kode — mengidentifikasi SFC tanpa bergantung pada sintaks RTL atau konvensi penamaan

Melintasi hierarki — mengenali komponen bahkan ketika fungsionalitas tersebar di seluruh hierarki desain

Semantik daripada sintaksis — mengidentifikasi SFC yang tertanam dalam SFC lain dan mendeteksi SFC yang direplikasi melalui array dan konstruksi generate  

Ini membangun dasar untuk menerapkan aturan khusus SFC yang diperlukan untuk penandatanganan integritas mikroarsitektur.

Pemeriksaan Integritas Mikroarsitektur

Setelah Conquest MAI secara otomatis mengidentifikasi SFC, insinyur dapat menjalankan pemeriksaan integritas mikroarsitektur. Pemeriksaan yang mewakili meliputi:

Cerita berlanjut  

Jarak Hamming dan bobot status FSM — Memastikan bahwa encoding status FSM memenuhi jarak Hamming minimum dan persyaratan bobot untuk deteksi kesalahan dari perubahan bit yang tidak diinginkan.

Overflow & underflow FIFO — Memeriksa bahwa logika kontrol FIFO mencegah penulisan saat penuh dan pembacaan saat kosong, menghindari kehilangan data atau pengembalian data yang tidak valid.​

Penggunaan penghitung di luar rentang — Melaporkan jika penghitung dibandingkan dengan nilai di luar rentang penghitung.

Port tulis RAM simultan — Memeriksa bahwa RAM dengan beberapa port tulis tidak memiliki rentang alamat tulis yang tumpang tindih.  

Memvisualisasikan SFC yang Diinferensikan untuk Debug

Conquest MAI menerapkan analisis niat yang diinferensikan untuk menghasilkan visualisasi yang menampilkan struktur dan perilaku setiap SFC, terlepas dari gaya penulisan kode RTL atau detail implementasi. Contohnya meliputi:

Skema SFC

 

*    
    
    Blok fungsional dengan konektivitas & hubungan kontrol
    
     
*    
    
    Tampilan skematik tradisional dari struktur SFC internal  

Diagram FSM dengan status, transisi, reset, dan kondisi seperti self-loop atau jalur yang tidak dapat dijangkau.​

Penampil SFC yang menunjukkan karakteristik relevan (misalnya jam, reset…)  

Representasi grafis ini mempercepat proses debug, mendukung pemahaman desain yang mendalam, dan memungkinkan analisis akar penyebab masalah mikroarsitektur yang lebih cepat.

Untuk informasi lebih lanjut, silakan kunjungi Conquest MAI — Penandatanganan Integritas Mikroarsitektur

Tentang Real Intent

Real Intent menyediakan perangkat lunak EDA penandatanganan statis berbasis niat untuk mempercepat pergeseran ke kiri dalam verifikasi fungsional digital tingkat lanjut. Kemampuan produk penandatanganan statisnya meliputi linting RTL, linting domain jam, linting domain reset, integritas mikroarsitektur, DFT, keamanan perangkat keras, dan konektivitas & glitch. Pelanggan Real Intent meliputi lebih dari lima puluh perusahaan semikonduktor dan sistem utama. Kantor pusatnya di 932 Hamlin Court, Sunnyvale, CA. Untuk informasi lebih lanjut, kunjungi www.realintent.com.

KONTAK: Kontak Media Gloria Nichols LaunchM, Inc. gloria@launchm.com

Syarat dan Kebijakan Privasi

Dasbor Privasi

Info Lebih Lanjut