2026年春招，数字IC验证岗位的笔试中，除了UVM，关于‘形式验证（Formal Verification）’和‘功耗感知验证（Power-Aware Verification）’的题目开始出现，该如何高效学习这些相对小众但前沿的知识点？
准备2026年春招，目标数字IC验证。刷题和看面经时发现，一些公司的笔试题开始涉及形式验证（比如如何用SVA写属性证明）和低功耗验证（比如UPF基础概念、电源状态验证）。我在学校只学过传统的动态仿真和UVM，对这两块完全陌生。想请教：1. 对于校招而言，这些知识点的考察深度一般如何？是要求能写简单属性，还是仅了解概念？2. 如果想在短时间内（比如1-2个月）达到笔试面试够用的水平，应该从哪里入手学习？有没有推荐的入门书籍、在线课程或开源工具（如JasperGold的入门教程）？3. 如何将一个简单的形式验证或功耗验证的思考点，融入到已有的UVM项目经验中进行表述？希望能得到一些高效的学习路径建议。
逻辑电路萌新
