[发明专利]多电压域电路设计验证方法

摘要

本公开涉及多电压域电路设计验证方法。一种电平移位器物理验证系统识别多电压域集成电路设计内的缺少的电平移位器。该系统分析物理布局设计数据文件，以便识别域和跨域的信号，以及IC设计内的具有一个或多个缺少的电平移位器的器件连接网络。 1

主权项

1.一种识别多电压域集成电路IC设计内的一个或多个缺少的电平移位器的方法，该方法包括：

接收用于IC设计的物理布局设计数据文件；

分析接收到的物理布局设计数据文件，以便识别所述IC设计内的具有一个或多个缺少的电平移位器的器件的连接网络；和

在识别出任何一个或多个缺少的电平移位器的情况下，在所述IC设计中插入一个或多个适当配置的电平移位器；

其中分析接收到的物理布局设计数据文件包括：

从所述物理布局设计数据文件中提取电源电压数据和/或物理识别层数据；和

使用所述IC设计内的每个器件实例的电源电压数据和物理识别层数据，对提取的布局数据执行功率域交叉检查；其中功率域交叉检查包括：

确定被测网络内的器件实体的每个实例的实例类型，所述实例类型指示所述被测网络内的器件实体的所述每个实例使用的预期电压电平；

确定所述被测网络内的器件实体的每个实例使用的实际电源电压连接；和

通过比较特定实例的预期电源电压连接和所述被测网络内的每个器件实体的相同实例的实际电源电压，确定是否存在无效电压电平。

2.如权利要求1的方法，其中分析接收到的物理布局设计数据文件包括：

确定所述物理布局设计数据文件中是否存在电源电压数据和/或物理识别层数据；和

如果没有，给所述物理布局设计数据文件添加电源电压数据和/或物理识别层数据。

3.一种验证多电压域集成电路IC设计的系统，该系统包括：

存储器，用于存储IC设计的物理布局设计数据文件；

用于分析所述物理布局设计数据文件以便识别所述IC设计内的具有一个或多个缺少的电平移位器的器件的连接网络的装置；和

用于在识别出任何一个或多个缺少的电平移位器的情况下，在所述IC设计中插入一个或多个适当配置的电平移位器的装置；

其中用于分析接收到的物理布局设计数据文件的装置包括：

用于从所述物理布局设计数据文件中提取电源电压数据和/或物理识别层数据的装置；和

用于使用所述IC设计内的每个器件实例的电源电压数据和物理识别层数据，对提取的布局数据执行功率域交叉检查的装置；

其中用于执行功率域交叉检查的装置包括：

用于确定被测网络内的器件实体的每个实例的实例类型的装置，所述实例类型指示所述被测网络内的器件实体的所述每个实例使用的预期电压电平；

用于确定所述被测网络内的器件实体的每个实例使用的实际电源电压连接的装置；和

用于通过比较特定实例的预期电源电压连接和所述被测网络内的每个器件实体的相同实例的实际电源电压，确定是否存在无效电压电平的装置。

4.如权利要求3的系统，其中用于分析所述物理布局设计数据文件的装置

确定所述物理布局设计数据文件中是否存在电源电压数据和/或物理识别层数据；并且

如果没有，给所述物理布局设计数据文件添加电源电压数据和/或物理识别层数据。

5.如权利要求3的系统，其中实际电源电压连接数据采用比所述被测网络内的每个器件实体的实例的预期电压更高的优先级。

6.如权利要求3的系统，其中所述被测网络内的器件实体的每个实例的实例类型，包括器件实体的每个实例使用的预期电源电压和实际电源电压连接，是从所述物理布局设计数据文件中的一个或多个电源电压数据和/或物理识别层数据确定的。

7.如权利要求3的系统，其中所述物理布局设计文件是GDSII或OASIS数据文件。