A timing check database and netlist library standard unit function consistency method comprises the following steps: acquiring timing function file library and standard netlist library unit; to obtain functional properties in the library to get the first time, Boolean expressions; access network table in the library function description, and the conversion function description second Boolean expressions; judging whether the first and the second Boolean expressions are the same, the consistency verification and timing library netlist library standard cell function. The invention of the scquential library and netlist library standard unit function consistency method, the Verilog function description into a Boolean expression, compared with the Boolean expression to define the function attribute in the Library Timing; then uses the classical BDD or SAT solver to judge two Boolean expression is equivalent to more efficiently verify whether consistent netlist standard cell library and library function sequence.
【技术实现步骤摘要】
本专利技术涉及集成电路计算机辅助设计领域,尤其涉及一种检查时序库和网表库的标准单元功能一致性的方法。
技术介绍
随着芯片技术的发展,芯片设计越来越复杂,功能验证在整个设计流程中都非常重要。而传统的验证功能的方法是通过仿真,这种方法效率较低。在不同文件中,标准单元功能的描述形式完全不同。在时序库(TimingLibrary)里面的功能属性是通过布尔表达式给出的,而在网表库(Verilog)文件中,标准单元的功能可通过门单元的连接关系来描述。而因而,提出一种新的检查时序库和网表库的标准单元功能一致性的方法,能够更高效地比较时序库和网表库的标准单元功能的一致性,成为亟待解决的问题。
技术实现思路
为了解决现有技术存在的不足,本专利技术的目的在于提供一种检查时序库(TimingLibrary)和网表库(Verilog)的标准单元功能一致性的方法,可以更高效地比较网表库和时序库的标准单元功能的一致性。为实现上述目的,本专利技术提供的检查时序库和网表库的标准单元功能一致性的方法,包括以下步骤:(1)获取时序库及网表库的标准单元的功能文件;(2)获取时序库中的功能属性,得到第一布尔表达式;(3)获取网表库中的功能描述,并将所述功能描述转换为第二布尔表达式;(4)判断所述第一、第二布尔表达式是否相同,验证时序库和网表库的标准单元功能的一致性。所述步骤(3)中进一步包括:在网表库文件中,通过从端口到线网再到器件进行信号的溯源,得到所述第二布尔表达式。进一步地,所述网表库文件包括,通过综合或者转化成门级描述的网表库文件。进一步包括以下步骤:(31)所有的网表库文件中的功能定义, ...
【技术保护点】
一种检查时序库和网表库的标准单元功能一致性的方法,其特征在于,包括以下步骤:(1)获取时序库及网表库的标准单元的功能文件;(2)获取时序库中的功能属性,得到第一布尔表达式;(3)获取网表库中的功能描述,并将所述功能描述转换为第二布尔表达式;(4)判断所述第一、第二布尔表达式是否相同,验证时序库和网表库的标准单元功能的一致性。
【技术特征摘要】
1.一种检查时序库和网表库的标准单元功能一致性的方法,其特征在于,包括以下步骤:(1)获取时序库及网表库的标准单元的功能文件;(2)获取时序库中的功能属性,得到第一布尔表达式;(3)获取网表库中的功能描述,并将所述功能描述转换为第二布尔表达式;(4)判断所述第一、第二布尔表达式是否相同,验证时序库和网表库的标准单元功能的一致性。2.根据权利要求1所述检查时序库和网表库的标准单元功能一致性的方法,其特征在于,所述步骤(3)中进一步包括:在网表库文件中,通过从端口到线网再到器件进行信号的溯源,得到所述第二布尔表达式。3.根据权利要求2所述检查时序库和网表库的标准单元功能一致性的方法,其特征在于:所述网表库文件包括,通过综合或者转化成门级描述的网表库文件。4.根据权利要求2所述检查时序库和网表库的标准单元功能一致性的方法,其特征在于,进一步包括以下步骤:(31)所有的网表库文件中的功能定义,均转换为由元功能组成的电路结构;(32)将网表库中的所述电路结构转换成布尔表达式。5.根据权利要求4所述检查时序库和网表...
【专利技术属性】
技术研发人员:周舒哲,严晗,陈彬,刘毅,
申请(专利权)人:北京华大九天软件有限公司,
类型:发明
国别省市:北京;11
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。