程序反汇编与动态仿真相对应的是静态检查，它本身不需要仿真、波形激励，验证人员通过的工具的辅助即可以发现段计中存在的问题，静态检查可细分出更多种类，它们关注的领域各不相词．

验证工具一且需要建立模型（是针对动我们将这些方法.，如果在设计验证中使用了不同的工具

语法检查那么我们要做的应该是让代码（无论是设计代码还是验证代码）满足所有程序反汇编工具的要求，语言本身有不同年份的标准，所以需在编译过程中注意加注不同的选项。

假如编译器默认按照VHDL93标准来编译HDL文件，那么当显式声明文件为VHDL87格式时，·除了语法检査，编译器也提供其他选项来检查设计代码风格是否符合可综合规范，建确保它们跟工具之间保持良好的语法兼容。

值得注意的是，目前System verilog2012中的标准并没有全部被程序反汇编编译器支持，而且不同工具的支持程度不尽相同。如果准备使用一个较“偏门”的语言特性，在实现它之议在编译时添加这些选项，以帮助检查设计中较明显的漏洞。需要额外加注编译选项。对初步认识程序反汇编仿真工具的人而言，不同编译器对同一项语法错误给出的错误提示可能也不前可以查看工具支持文档，或者查看编译结果来获知该特性是否被支持。

在认真阅读无果的情况下，可以根据错误信息的代码，通过工具命令结合错误代码来认真阅读错误信息。没错，请你认真阅读错误信息。

如果经过前两个步骤仍然无法解决，请找一位有经验的程序反汇编工程师帮你一起检查错误，并相同，这里我们给出的建议是：且给你一些如何理解错误、查找语法错误点的方法。

和语法检查相比，语义检查是在设计可行性上做深入检查的，当然前提也是首先通过查看错误信息的具体解释。