最近用AI辅助验证的团队越来越多了。

生成测试用例、快速收敛覆盖率——AI在这些环节确实能省不少时间。有些团队已经开始把AI当成验证流程的标配工具。

但有一个问题没有被认真讨论过：AI生成的东西，到底在保证什么？

AI做的事情，本质上和流程一样——它学的是已有的模式，总结的是已知的经验。

让AI生成一个FIFO模块的测试用例，它能给出读写功能测试、满空状态检查、复位行为验证。这些用例没有问题，覆盖了大多数常规场景。

但如果追问一句：读写指针在边界翻转的同一拍，外部同时拉低使能信号，这个场景的行为是否符合spec？

AI大概率不会主动想到这里。