Changes In Formal Verification

Описание к видео Changes In Formal Verification

For the better part of two decades, formal verification was considered too difficult to use in many designs and too slow for anything but narrow bug hunting. Much has changed recently. Ashish Darbari, CEO of Axiomise, talks with Semiconductor Engineering about why formal is now essential for finding deadlocks, security holes, and Xprop issues in mission-critical, safety-critical, and AI designs, and how that will apply to chiplets in the future.

Комментарии

Информация по комментариям в разработке

Похожие видео