论文部分内容阅读
本文介绍了一种全定制硬宏模块LIB的验证方法。该方法通过自动化程序的设计，查找LIB库文件中的时序信息，将查找出的时序信息反馈到模拟环境中，利用NanoSim模拟对比窗口判断在LIB库时序约束值条件下模块功能是否正确。模拟结束后，程序根据模拟对比结果自动修改未通过验证的约束弧时序值。从而实现了LIB验证的自动化，缩短了LIB视图时序信息验证的周期，并且提高了LIB的精度。