逻辑萌新实验室
哈,我也是验证岗,最近在组里摸过一点AI for验证的边。我的体会是,重点不是成为ML专家,而是学会‘提需求’和‘用工具’。
机器学习基础部分,你至少得知道监督学习和无监督学习区别,以及神经网络能拟合复杂函数就行。验证场景里,AI常用于自动生成激励或挖掘漏洞。比如用强化学习训练一个agent,让它跟DUT交互,目标是触发特定覆盖点。这需要你理解agent、环境、奖励函数这些概念。
EDA接口方面,验证工程师更关注仿真环境的数据提取。比如VCS或Verdi的日志、覆盖率数据库(urg报告),可以用Python脚本扒出来,作为训练数据。还有,学会用SystemVerilog的DPI-C调用Python,这样能在仿真里实时跑AI模型。
举个例子:我们试过用长短期记忆网络(LSTM)分析过往回归测试的失败日志,预测新测试可能失败的概率,优先跑高风险的。这只需要基础的时序模型知识。
学习资料推荐两本书:《Machine Learning for VLSI CAD》偏学术,但场景描述清楚;还有IEEE Access上的综述文章。实践的话,从GitHub找开源项目,比如用OpenAI Gym搭个简单验证环境,自己写agent试试。注意,公司内部数据敏感,玩原型最好用公开数据集(如ISCAS电路)。先小范围验证想法,再推动项目。
