Mencapai Penutupan Verifikasi Desain Lebih Cepat

Pada proyek desain chip besar upaya verifikasi logika bisa lebih besar daripada upaya desain, memakan waktu hingga 70% dari waktu proyek berdasarkan data dari Kelompok Riset Wilson 2022 temuan. Sayangnya, tingkat keberhasilan silikon pertama telah turun dari 31 persen menjadi hanya 24 persen dalam 8 tahun terakhir, menyebabkan putaran lain untuk memperbaiki kekurangan, membuat perusahaan kehilangan waktu untuk memasarkan dan tentu saja merusak rencana pendapatan mereka. Verifikasi yang lebih baik pasti akan meningkatkan kesuksesan silikon pertama, tetapi itu lebih mudah diucapkan daripada dilakukan.

Beberapa angka serius lainnya dari studi Wilson Research Group:

• ASIC – 24% sukses pertama kali, 36% selesai tepat waktu
• FPGA – 16% mencapai zero bug escapes, 30% selesai tepat waktu

Verifikasi desain memiliki banyak tugas yang sulit: debugging, membuat pengujian, lalu menjalankan mesin, pengembangan testbench, dan perencanaan pengujian. Idealnya, tim Anda ingin meminimalkan waktu penyelesaian, mencapai penutupan verifikasi dengan sedikit orang dan menghitung sumber daya, memenuhi kepatuhan keselamatan, dan mengetahui kapan kualitas desain cukup tinggi untuk menghentikan verifikasi, sekaligus memenuhi jadwal proyek.

Baru-baru ini saya mendapat pembaruan dari pakar verifikasi desain Darron May di Siemens EDA untuk mendengar tentang sesuatu yang baru saja diumumkan, disebut IQ Verifikasi Questa. Pendekatan mereka adalah tentang verifikasi berbasis data yang dibentuk dengan menggunakan ketertelusuran, kolaborasi, dan analitik yang didukung oleh AI/ML. Analitik tradisional memberikan produktivitas dan wawasan terbatas hanya untuk mendeskripsikan dan mendiagnosis perilaku logika, sementara analitik berbasis data besar menggunakan AI/ML menawarkan tindakan prediktif dan preskriptif untuk verifikasi. Tim perangkat lunak dan perangkat keras menjadi lebih produktif dengan berkolaborasi melalui penggunaan CI (Integrasi Berkelanjutan), Tangkas metode, ALM (Application Lifecycle Management), desain berbasis cloud, dan penerapan teknik AI/ML. Industri kritis keselamatan memerlukan ketertelusuran antara persyaratan, implementasi, dan verifikasi, sebagaimana didefinisikan dalam standar industri seperti ISO 26262 dan DO-254.

Inilah gambaran besar tentang bagaimana Quest Verification IQ menghubungkan semua data dari berbagai mesin verifikasi menjadi aliran berbasis data, bersama dengan alat ALM.

Cakupan data dikumpulkan dari simulasi logika (ini), Emulasi dan Prototyping (Veloce), AMS (Simfoni), Resmi (Satu Putaran), Statis dan FuSa. Fitur ML menganalisis semua data ini untuk memprediksi pola dan mengungkap lubang apa pun, menunjukkan penyebab utama, lalu menentukan tindakan untuk meningkatkan cakupan. ALM yang ditampilkan adalah Polarisasi dari Siemens, meskipun Anda dapat menggunakan ALM lain, sama seperti Anda dapat menggunakan mesin verifikasi favorit Anda.

Questa Verification IQ adalah kerangka kerja berbasis browser yang menyertakan panduan proses sehingga Anda dapat membuat alur kritis keselamatan menggunakan manajemen siklus hidup untuk merencanakan dan melacak semua persyaratan. Navigator regresi memungkinkan tim Anda membuat dan menjalankan pengujian, memantau hasilnya, dan memiliki riwayat verifikasi yang lengkap. Dengan penganalisis cakupan, Anda tahu seberapa lengkap cakupan Anda untuk kode, blok fungsional, dan rencana pengujian. Akhirnya, analitik data yang disajikan memberi Anda platform metrik, menggunakan dasbor proyek dan menyediakan analitik silang.

Skala kerangka berbasis web untuk berbagai ukuran proyek elektronik, dan Anda tidak perlu menginstal perangkat lunak apa pun atau khawatir tentang memperbarui OS Anda. Ini juga mendukung pengaturan cloud publik, pribadi, atau hybrid. Dengan diterapkannya AI/ML, proses penutupan verifikasi dipercepat, sementara upaya debug dipercepat karena analisis akar masalah membantu menentukan di mana harus ditingkatkan.

Saya mengajukan beberapa pertanyaan klarifikasi kepada Darron May.

T: Dapatkah saya mencampur dan mencocokkan IQ Verifikasi Questa dengan alat vendor EDA dan ALM?

A: Questa Verification IQ mendukung alat dan mesin ALM melalui pendekatan berbasis standar. Ini berinteraksi dengan alat ALM menggunakan Open Services for Lifecycle Collaboration (OSLC) sehingga alat apa pun yang mendukung standar seperti Doors next atau Siemens Polarion dan Teamcenter dapat digunakan. Mesin apa pun dapat diluncurkan oleh Questa Verification IQ dan sekali lagi kami memiliki dukungan untuk cakupan melalui Standar Interoperabilitas Cakupan Terpadu (UCIS).

T: Bagaimana pendekatan ini dibandingkan dengan Synopsys DesignDash?

A: Synopsys DesignDash berfokus pada ML untuk data desain sedangkan Questa Verification IQ berfokus pada verifikasi berbasis data menggunakan analitik, termasuk ML, untuk mempercepat penutupan verifikasi, mengurangi waktu penyelesaian, dan memberikan efisiensi proses maksimum. Questa Verification IQ menyediakan aplikasi yang diperlukan untuk manajemen verifikasi kolaboratif berbasis tim dalam kerangka kerja berbasis browser dengan akses terpusat ke data.

T: Bagaimana pendekatan ini dibandingkan dengan Cadence Verisium?

A: Cadence Verisium hanya berfokus pada Verifikasi berbantuan ML. Sebagai perbandingan, Siemens Questa Verification IQ menyediakan solusi verifikasi berbasis data lengkap yang didukung oleh Analytics, Collaboration, dan Traceability. Manajemen Verifikasi disediakan dalam alat berbasis browser dengan aplikasi yang dibuat berdasarkan Kolaborasi. Coverage Analyzer menghadirkan alat penutupan cakupan kolaboratif pertama di industri menggunakan navigasi analitik yang dibantu oleh ML. Question Verification IQ berinteraksi dengan Siemens Polarion menggunakan OSLC dan memberikan ketertelusuran thread digital yang ketat dengan Application Lifecycle Management tanpa perubahan konteks UI, membawa kekuatan ALM ke verifikasi perangkat keras.

Kesimpulan

Saya selalu terkesan dengan alat EDA baru yang membuat tugas rumit menjadi lebih mudah dengan bekerja lebih cerdas, tidak mengharuskan insinyur untuk melakukan upaya manual lebih lama. Dengan dukungan awal IQ Verifikasi Questa dari perusahaan terkenal seperti Arm dan Nordic Semiconductor, sepertinya EDA Siemens telah menambahkan sesuatu yang menarik untuk dipertimbangkan oleh tim verifikasi.

Blog terkait

Bagikan postingan ini melalui:

• Konten Bertenaga SEO & Distribusi PR. Dapatkan Amplifikasi Hari Ini.
• Platoblockchain. Intelijen Metaverse Web3. Pengetahuan Diperkuat. Akses Di Sini.
• Sumber: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/