一种检查时序库和网表库的标准单元功能一致性的方法

摘要

一种检查时序库和网表库的标准单元功能一致性的方法，包括步骤：获取时序库及网表库的标准单元的功能文件；获取时序库中的功能属性，得到第一布尔表达式；获取网表库中的功能描述，并将所述功能描述转换为第二布尔表达式；判断所述第一、第二布尔表达式是否相同，验证时序库和网表库的标准单元功能的一致性。本发明的检查时序库和网表库的标准单元功能一致性的方法，将Verilog中的功能描述转化为布尔表达式，与Timing Library中的function属性定义的布尔表达式进行比较；再利用经典的BDD或者SAT求解器判断两个布尔表达式是否等价，从而更高效地验证网表库和时序库中标准单元的功能是否一致。