我们的目标：提供颠覆性的 ic 设计与系统设计验证解决方案，方案涵盖前端到后端 我们期望开创一个新时代：设计公司一方面可以完全地专注于功能和性能，另一方面依靠 啄木鸟科技实现完全自动化的验证解决方案 我们被称为“啄木鸟”，因为我们可以对设计进行深入研究，并找到重要的 bugs！ 产品与 customers 啄木鸟规划了全系列的自动化验证产品。

目前，已经开发完成其中 3 款产品，并为 tier 1 付费客户阿里巴巴和联发科提供服务。 technology 公司技术 针对硅前验证，我们提供全面的、基于形式分析的全 soc 验证。我们目前部署在多个商 业 risc-v 设计上，并发现传统仿真方法（基于随机的方法）无法发现的错误。我们不仅 增加了覆盖率，而且可以生成大约 10-20 条指令的错误跟踪，比仿真所需的指令更简短， 并且更易于设计人员调试。 

针对硅后验证，我们开发了自己的编译器，采用了现有的基准测试和系统级测试，并生成 增强的测试。我们将错误检测提高 4 倍，同时将 edl 降低超过 1,000,000 倍，即从几秒 降低到微秒 针对验证 ip，我们的技术使设计公司能够将错误定位到确定的触发器区域，因此验证工 程师可以准确地知道错误发生在哪里。这种创新产品是第一个在硅后环境中使用形式分析 的产品 技术支持 啄木鸟因其突破性的研究和创新而获得了重要的行业支持。

2019 年学术阶段，该技术已被 ieee 路线图确 在 textconx china 2021 中，主讲人 harry chen 强调了我们的硅后产品，甚至将其描述 为“系统的 dft” 团队 这项技术起源于斯坦福大学，经过 10 多年的学术研究与验证。创始团队是斯坦福大学的 毕业生 工程师团队均来自顶尖的学术和行业背景 公司成长性 啄木鸟半导体科技得到 tier1 的风险投资机构和中国上市半导体公司的支持。