一种检测时序约束冲突的方法和装置

摘要

本发明公开了一种检测时序约束冲突的方法和装置，该方法包括：接收时序约束文件；将时序约束文件中的全部测试点作为节点，根据时序约束文件中测试点相关的时序约束确定节点间的有向边及该有向边的权重，建立一个有向图；搜索所述有向图的全部有向圈；对于每个有向圈，如果组成该有向圈的有向边的权重之和满足要求的条件，则确定组成该有向圈的测试点和时序约束存在时序约束冲突。该方法和装置能够自动100％检测时序约束冲突的方法来减少ASIC项目中的设计迭代周期和工程师资源。

主权项

一种检测时序约束冲突的方法，包括：接收时序约束文件；将时序约束文件中的全部测试点作为节点，根据时序约束文件中测试点相关的时序约束确定节点间的有向边及该有向边的权重，建立一个有向图，其中所述有向边的权重为该有向边连接的两个节点信号到达的最小要求提前时间量；搜索所述有向图的全部有向圈；对于每个有向圈，如果组成该有向圈的有向边的权重之和满足要求的条件，则确定组成该有向圈的测试点和时序约束存在时序约束冲突。