可预测的艺术：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.
Related Semiconductor IP
- AES GCM IP Core
- High Speed Ethernet Quad 10G to 100G PCS
- High Speed Ethernet Gen-2 Quad 100G PCS IP
- High Speed Ethernet 4/2/1-Lane 100G PCS
- High Speed Ethernet 2/4/8-Lane 200G/400G PCS
Related News
- Axiomise 助力行业对形式验证的采用
- T2M发布适用于车规级芯片研发的验证IP集，帮助相关客户缩短芯片的验证周期
- 韩国的一家Tier1代工厂已成功获得由T2M合作伙伴开发的硅验证千兆以太网 PHY IP 的授权，采用先进的 14LPP 工艺，与T2M共同引领韩国Tier1客户
- Arteris 荣获年度自动驾驶汽车技术奖