Lebih banyak konten otomotif 😀 Pada mobil modern, keselamatan diatur oleh fungsi berbasis AI serta logika dan perangkat lunak tradisional. Bagaimana fungsi-fungsi ini...
Kami melihat makalah lain tentang akselerasi cakupan berbasis ML pada April 2022. Berikut adalah sudut pandang yang berbeda dari IBM. Paul Cunningham (VP/GM Senior,...
Konektivitas Network on Chip (NoC) ada di mana-mana di SoC, oleh karena itu harus menjadi vektor serangan yang menarik. Apakah mungkin untuk membuktikan ketahanan terhadap ...
Mencari cara yang lebih baik untuk mencari state space yang besar dalam pemeriksaan model, Ant Colony Optimization (ACO) adalah salah satu pendekatan yang memungkinkan. Paul Cunningham (Senior...
Bisakah kita memesan tes regresi untuk aliran integrasi berkelanjutan (CI), meminimalkan waktu antara komit kode dan umpan balik pada kegagalan? Paul Cunningham (VP/GM Senior, Verifikasi...
Pemodelan dan verifikasi sistem asinkron adalah tantangan konstan. Model jaring petri dapat memberikan jawaban. Paul Cunningham (GM, Verifikasi di Irama), Raúl Camposano...
Verifikasi formal di tingkat SoC telah lama tampaknya merupakan persyaratan yang tidak dapat didekati. Mungkin kita harus mengubah pendekatan kita. Bisa formal menjadi praktis di...
Menghentikan jalur data dan saluran virtual secara artifisial adalah metode kreatif untuk mengungkap bug waktu kasus sudut. Sebuah makalah dari Nvidia menjelaskan penyempurnaan untuk...