一种获取仿真节点真值表的方法、电子设备及存储介质
申请人信息
- 申请人:上海合见工业软件集团有限公司
- 申请人地址:201203 上海市浦东新区中国(上海)自由贸易试验区张东路1158号、丹桂路1059号2幢305-7室
- 发明人: 上海合见工业软件集团有限公司
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 一种获取仿真节点真值表的方法、电子设备及存储介质 |
| 专利类型 | 发明申请 |
| 申请号 | CN202311378447.8 |
| 申请日 | 2023/10/23 |
| 公告号 | CN117391007A |
| 公开日 | 2024/1/12 |
| IPC主分类号 | G06F30/331 |
| 权利人 | 上海合见工业软件集团有限公司 |
| 发明人 | 储著飞; 张瑞兵; 李菲; 贺培鑫 |
| 地址 | 上海市浦东新区中国(上海)自由贸易试验区张东路1158号、丹桂路1059号2幢305-7室 |
摘要文本
上海合见工业软件集团有限公司获取“一种透气窗帘布”专利技术，本发明涉及EDA技术领域，特别是涉及一种获取仿真节点真值表的方法、电子设备及存储介质，其根据每个仿真节点的矩阵链，获取矩阵链中的变量链及其前置的第一个变量X0，当变量链中不存在与X0相同的变量时，通过单位换位矩阵将X0与中间矩阵进行交换；否则，先将变量链中与X0相同的变量交换到变量链的前端，然后再将X0与中间矩阵进行交换，最后降幂，依次类推，进而得到按照指定顺序排列的目标矩阵连，进而根据目标矩阵连得到真值表，本发明计算过程自动化，不需要用户参与，提高了计算效率。
专利主权项内容
1.一种获取仿真节点真值表的方法，其特征在于，所述方法包括如下步骤：S1000，获取第i个仿真节点的矩阵链，包括多个节点的逻辑矩阵和仿真电路输入节点的变量；S2000，获取矩阵链尾部的由N个连续变量构成的变量链，其中N大于等于1；S3000，当反向遍历矩阵链时，当变量链前不存在变量时，通过换位矩阵对候选矩阵链的变量链中的所有变量进行排序，得到目标矩阵链；否则，执行以下步骤：S3100，遍历矩阵链，得到在变量链前的第一个变量X0；S3200，根据变量链中是否存在与X0相同的变量X0′，获取候选矩阵链，包括：S3210，若存在，执行以下步骤：S3211，将变量链中靠近X0一端的首个变量V0通过换位矩阵交换为X0′，得到初级候选变量链；S3212，获取X0和初级候选变量链之间的第一中间矩阵，根据单位换位矩阵交换X0和第一中间矩阵，得到具有相同变量的次级候选变量链；S3213，根据降幂矩阵对次级候选变量链中的相同变量进行降幂，得到候选矩阵链；S3220，否则，获取X0和变量链间的第二中间矩阵，根据单位换位矩阵交换X0和第二中间矩阵，得到候选矩阵链；S4000，将所述目标矩阵链中在变量链前的所有矩阵相乘，得到规范型矩阵；S5000，根据所述规范型矩阵得到第i个仿真节点的真值表。