1.一种检查时序库和网表库的标准单元功能一致性的方法，其特征在于，包括以下步骤：
（1）获取时序库及网表库的标准单元的功能文件；
（2）获取时序库中的功能属性，得到第一布尔表达式；
（3）获取网表库中的功能描述，并将所述功能描述转换为第二布尔表达式；
（4）判断所述第一、第二布尔表达式是否相同，验证时序库和网表库的标准单元功能的一致性。
2.根据权利要求1所述检查时序库和网表库的标准单元功能一致性的方法，其特征在于，所述步骤（3）中进一步包括：
在网表库文件中，通过从端口到线网再到器件进行信号的溯源，得到所述第二布尔表达式。
3.根据权利要求2所述检查时序库和网表库的标准单元功能一致性的方法，其特征在于：
所述网表库文件包括，通过综合或者转化成门级描述的网表库文件。
4.根据权利要求2所述检查时序库和网表库的标准单元功能一致性的方法，其特征在于，进一步包括以下步骤：
（31）所有的网表库文件中的功能定义，均转换为由元功能组成的电路结构；
（32）将网表库中的所述电路结构转换成布尔表达式。
5.根据权利要求4所述检查时序库和网表库的标准单元功能一致性的方法，其特征在于，所述步骤（31）中进一步包括：
根据元器件对应的真值表，定义所述元功能的信号操作结果。
6.根据权利要求4所述检查时序库和网表库的标准单元功能一致性的方法，其特征在于，所述步骤（32）中进一步包括：
依据元器件的真值表得到元器件的处理伪代码。
7.根据权利要求1所述检查时序库和网表库的标准单元功能一致性的方法，其特征在于，所述步骤（4）中进一步包括以下步骤：
（41）所述第一、第二布尔表达式的形式相同时，表明时序库与网表库的标准单元功能相一致；
（42）所述第一、第二布尔表达式的形式不同时，则判断所述第一、第二布尔表达式是否等价。
8.根据权利要求7所述检查时序库和网表库的标准单元功能一致性的方法，其特征在于，步骤（42）所述判断所述第一、第二布尔表达式是否等价是：
通过二叉决策图判断所述第一、第二布尔表达式是否等价。
9.根据权利要求1所述检查时序库和网表库的标准单元功能一致性的方法，其特征在于，所述步骤（4）中进一步包括：
通过可满足性测试判断所述第一、第二布尔表达式是否相同。