买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：上海合见工业软件集团有限公司

摘要：本发明涉及EDA技术领域，特别是涉及一种获取仿真节点真值表的方法、电子设备及存储介质，其根据每个仿真节点的矩阵链，获取矩阵链中的变量链及其前置的第一个变量X0，当变量链中不存在与X0相同的变量时，通过单位换位矩阵将X0与中间矩阵进行交换；否则，先将变量链中与X0相同的变量交换到变量链的前端，然后再将X0与中间矩阵进行交换，最后降幂，依次类推，进而得到按照指定顺序排列的目标矩阵连，进而根据目标矩阵连得到真值表，本发明计算过程自动化，不需要用户参与，提高了计算效率。

主权项：1.一种获取仿真节点真值表的方法，其特征在于，所述方法包括如下步骤：S1000，获取第i个仿真节点的矩阵链，包括多个节点的逻辑矩阵和仿真电路输入节点的变量；其中，所述矩阵链包括多个逻辑矩阵的连乘，每个节点的逻辑矩阵的获取步骤包括：获取逻辑矩阵变量V，V的表达式满足：将节点的真值表重新替换为逻辑矩阵变量V的表达式得到逻辑矩阵；所述节点为输入节点或内部节点，其中，内部节点包括输出节点和逻辑电路内部的节点，内部节点包括逻辑电路中的最小电路单元或功能模块；所述逻辑电路为待仿真的电路模块；所述仿真节点为逻辑电路实际的输出节点；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个仿真节点的真值表；其中，S1000还包括：S1100，获取以第i个仿真节点为根节点的树形结构，所述根节点为逻辑电路的输出节点，所述树形结构的叶子节点为逻辑电路的输入节点；S1200，获取树形结构中每个子节点的逻辑矩阵；S1300，利用根节点的所有子节点的逻辑矩阵表示根节点的矩阵链；S1400，将根节点的矩阵链中所有子节点变量进行递归展开为叶子节点变量，得到第i个仿真节点的矩阵链。

全文数据：

权利要求：

百度查询： 上海合见工业软件集团有限公司 一种获取仿真节点真值表的方法、电子设备及存储介质