本实用新型公开了支持多颗大功率芯片的机柜结构，包括：机柜、间隔设于机柜中的多个托盘、放置于托盘上的单元机箱、安装在单元机箱中的芯片，每个托盘的左右两侧与机柜之间均安装有滑轨组件，托盘沿滑轨组件在机柜中前后直线移动，机柜和单元机箱均设有散...

本实用新型公开了一种硬件仿真加速器I/O扩展装置，所述硬件仿真加速器I/O扩展装置，包括TDM模块，具有第一I/O接口和第二I/O接口，其中第一I/O接口用于与硬件仿真加速器的外部I/O接口连接，第二I/O接口用于连接外接子卡；控制模块...

本发明提出了一种基于区域中心负载均衡的自适应电路分割方法，其先规定初始划分块数，并将无向图中所有的顶点按顶点的度，自大到小排序并保存，然后以保存的第一个顶点进行遍历，直至当前遍历的顶点复杂度之和达到阈值，再从剩余顶点中的第一个顶点开始遍...

本发明公开了一种TPT版图的拆分验证方法、系统及存储器，所述方法包括：步骤S1：根据原始版图构建抽象图；步骤S2：采用顶点度重构法对所述抽象图进行重构；步骤S3：如果

本发明公开了一种门级电路的并行仿真处理方法、计算机可读存储介质。其中门级电路的并行仿真处理方法，包括：基于门级电路的邻接矩阵，采用第一预设分割算法将门级电路对应的图分割为多个团；将每个团作为一个超点，采用第一数据结构对各超点数据进行封装...

本发明提出了一种基于割集与顶点特征的门级电路划分方法，包括：步骤S1：对门级电路的驱动矩阵预处理，将其转换为标准的邻接矩阵；步骤S2：基于有向图的弱连通性初步划分，将其划分为至少一个独立的初级单元；步骤S3：取全部单元中的最大单元，并将...

本发明公开了一种布尔可满足性求解器中学习子句的删除方法及布尔可满足性求解器，所述方法包括：在求解的过程中生成多个学习子句，并对每个学习子句的使用次数及LBD值进行记录；当触发学习子句删除条件时，根据学习子句的使用次数和LBD值对学习子句...

本发明提出了一种基于均衡权值和最小边割的条件循环电路分割方法，包括：步骤S1：将门电路转换为无向图，计算所有顶点的总权值，并基于所述总权值确定均值界限；步骤S2：从任一边缘顶点开始遍历，将当前遍历过的顶点加入至根点集，直至所述根点集的所...

本发明公开了一种变元的赋值顺序及赋值优化算法、布尔可满足性验证算法。其中分支启发的变元的赋值顺序优化算法，至少一个变元采用以下步骤确定赋值顺序：将当前待赋值的变元作为当前变元；搜索与当前变元同时出现在同一子句中的关联变元；累计所述关联变...

本发明提出了一种非因果电路划分的方法及门级电路并行仿真的方法，所述非因果电路划分的方法包括：步骤S1：将门级电路转换为有向图，并用结构体保存数据；步骤S2：从结构体中查找对外部有输出的输出节点的集合V；步骤S3：对有向图中所有的有向边做...

本发明提出了一种电路划分预处理的方法及门级电路并行仿真的方法，所述电路划分预处理的方法，包括：步骤S1：将门级电路转换为有向图，并用结构体保存所述有向图；步骤S2：从结构体中查找有外部输入的输入节点的集合V；步骤S3：从输入节点开始探索...

本发明公开了一种分支启发的变元的赋值优化算法、布尔可满足性验证算法。其中分支启发的变元的赋值优化算法，至少一个变元采用以下赋值步骤进行赋值：对待赋值的变元进行第一次赋值；计算赋值以后所述待赋值的变元在分支启发中发生n次冲突的第一时间；将...

本发明公开了一种条件接收模块，其包括eSIM模块、蜂窝网络模块、DRM模块、IP网络数据解析模块及USB模块，所述蜂窝网络模块采用所述eSIM模块中的身份信息与广电网络服务器进行身份验证，建立专用信道，所述IP网络数据解析模块用于对所述...

本实用新型公开了一种电源模块的散热结构及电源模块，电源模块安装在PCB板的底面，所述散热结构包括：散热机架，安装在散热机架上的散热板，所述PCB板安装在散热板上，所述散热板上对应电源模块的每个发热元件的位置分别设置凸台或凹槽，所述凸台或...

本发明公开了一种无绳跳绳，包括一对带有第一加速度传感器的手柄，被佩戴在使用所述手柄的用户身上的第二加速度传感器，控制模块，当第一、第二加速度传感器均有信号变化时，控制模块判定所述用户跳绳一次。本发明所提出的无绳跳绳能够有效判断出用户是否...

本发明公开了一种SCE‑MI协议桥及系统，所述SCE‑MI协议桥包括设置于硬件侧的数据转换模块、并行总线、多个通道数据收发控制模块、多个数据FIFO通道和设置于软件侧的协议驱动模块、多个通道数据块、多个数据收发模块、多个通道数据队列，所...

本发明公开了一种布尔可满足性验证方法及系统，所述方法包括：对CNF实例中每个变元的权重进行计算，选择所述权重最高的变元作为SAT求解器的第一个分支变元。采用本发明的技术方案，可提高SAT求解器的解算速度，较少解算时间。

本发明公开了一种布尔可满足性问题求解方法及系统，所述方法包括：采用多个并行求解器在设定的阈值条件内对CNF实例进行多线程并行求解，其中，每个并行求解器采用不同的初始变元；每个并行求解器在触发阈值条件后停止求解，并记录求解过程中各个变元的...

本发明提供了支持跨芯片信号同步触发检测方法及装置，包括：时钟芯片为user

本发明公开了一种FPGA仿真调试系统，包括至少一个调试系统，每个调试系统包括：一个控制模块和多个调试模块，多个调试模块之间可以实现数据级联。本发明能更好适应不同场景尤其多功能大量数据调试情况，合理分配存储空间、处理资源及传输通道，提高整...