可预测的艺术：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
- Root of Trust (RoT)
- Fixed Point Doppler Channel IP core
- Multi-protocol wireless plaform integrating Bluetooth Dual Mode, IEEE 802.15.4 (for Thread, Zigbee and Matter)
- Polyphase Video Scaler
- Compact, low-power, 8bit ADC on GF 22nm FDX
Related News
- Axiomise 助力行业对形式验证的采用
- T2M发布适用于车规级芯片研发的验证IP集，帮助相关客户缩短芯片的验证周期
- 韩国的一家Tier1代工厂已成功获得由T2M合作伙伴开发的硅验证千兆以太网 PHY IP 的授权，采用先进的 14LPP 工艺，与T2M共同引领韩国Tier1客户
- Arteris 荣获年度自动驾驶汽车技术奖