2026年，工作2年的数字IC验证工程师，每天用UVM但感觉只是调用现成平台，想深入理解验证方法学的本质和高级应用，有哪些经典的国外教材、论文或开源的高级验证项目推荐学习？
我从事数字IC验证工作2年，主要使用UVM搭建测试平台和写测试用例。虽然日常工作能完成，但总感觉是在机械地套用公司已有的验证框架和流程，对UVM乃至验证方法学的理解停留在表面。比如虚拟序列、寄存器模型的高级用法、覆盖率收敛的策略等，知其然不知其所以然。想利用业余时间系统性地提升，成为真正的验证方法学专家。请问有哪些值得深入研读的经典国外教材（除了UVM Cookbook）？或者有没有一些探讨验证哲学、高级技巧的论文？另外，有没有复杂度较高、设计精巧的开源UVM验证平台项目，可以让我通过阅读代码和尝试改进来深入学习？
FPGA学习笔记
