可预测的艺术：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
- USB-C Power Delivery IP Core
- Configurable Multi-Channel DMA Controller
- Samsung Foundry 4nm 1V8 GPIO I3C
- Root-of-Trust IP - High-Assurance Security for Advanced and Regulated Applications
- Root-of-Trust IP - Enhanced-Assurance, Configurable Security for Scalable Semiconductor Designs
Related News
- Axiomise 助力行业对形式验证的采用
- 韩国的一家Tier1代工厂已成功获得由T2M合作伙伴开发的硅验证千兆以太网 PHY IP 的授权，采用先进的 14LPP 工艺，与T2M共同引领韩国Tier1客户
- Arteris 客户设计启动数量突破 1,000 个，彰显半导体设计演进趋势
- Arteris 发布新一代 Magillem Registers