可预测的艺术:Axiomise如何将形式验证成为主流技术
By Amelia Dalton, EEJournal (March 25, 2022)
In this week’s Fish Fry podcast, Ashish Darbari (Founder and CEO at Axiomise) joins me to chat about the past, present and future of formal verification. Ashish and I explore the three pillars of formal verification, how the perception of formal verification as changed over the years, and why we are seeing the increased adoption of formal verification today. Also this week, I delve into the details of a new immune-system-on-a-chip developed by the Wyss Institute at Harvard University.
To read the full article, click here
Related Semiconductor IP
- UCIe Chiplet PHY & Controller
- MIPI D-PHY1.2 CSI/DSI TX and RX
- Low-Power ISP
- eMMC/SD/SDIO Combo IP
- DP/eDP
Related News
- Axiomise 助力行业对形式验证的采用
- 韩国的一家Tier1代工厂已成功获得由T2M合作伙伴开发的硅验证千兆以太网 PHY IP 的授权,采用先进的 14LPP 工艺,与T2M共同引领韩国Tier1客户
- Arteris 发布新一代 Magillem Registers
- Arteris 荣获年度自动驾驶汽车技术奖