2026年秋招，数字IC验证工程师的面试中，关于‘形式验证（Formal Verification）’的实战应用通常会怎么问？面试官是期望候选人只是用过工具，还是需要理解其背后的数学原理（如等价性检查、模型检查）并能编写属性（SVA）？
准备验证岗秋招，UVM和SV刷得差不多了，最近在补形式验证的知识。用过一些工具（如JasperGold）做过几个小模块的属性检查，但感觉理解不深。想知道在面试中，面试官对形式验证的考察会深入到什么程度？是仅仅问“你用形式验证做过什么？遇到了什么问题？”，还是会深入追问属性（SVA）的编写技巧、如何应对状态空间爆炸、以及形式验证与仿真验证在项目中的结合点？我需要去啃那些难懂的数学理论（如时序逻辑、不动点计算）吗？还是掌握工程应用即可？
数字电路学习者
