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

龙图腾网获悉中山大学申请的专利异步电路的可测性实现方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116125248B 。

龙图腾网通过国家知识产权局官网在2025-08-05发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211619730.0，技术领域涉及：G01R31/28；该发明授权异步电路的可测性实现方法是由朱瑞敏;虞志益;许泽阳;黄宇皓;肖山林设计研发完成，并于2022-12-15向国家知识产权局提交的专利申请。

本异步电路的可测性实现方法在说明书摘要公布了：本发明提供的异步电路的可测性实现方法，包括：构建触发器传输级的初始异步电路，并对初始异步电路进行可测性建模；通过对可测性建模后初始异步电路中的触发器进行替换得到目标异步电路；对目标异步电路与初始异步电路的功能一致性进行初次形式验证；根据扫描链将完成初次形式验证后的目标异步电路进行串链，将串链前的目标异步电路与串链后的目标异步电路进行二次形式验证；根据完成二次形式验证后的所述目标异步电路的测试向量进行仿真，输出所述初次形式验证的结果、所述二次形式验证的结果以及仿真验证结果；本方法无侵入性，保证了原电路的完整性，易开发，易移植，可广泛应用于集成电路技术领域。

本发明授权异步电路的可测性实现方法在权利要求书中公布了：1.异步电路的可测性实现方法，其特征在于，包括以下步骤： 构建触发器传输级的初始异步电路，并对所述初始异步电路进行可测性建模； 通过对可测性建模后所述初始异步电路中的触发器进行替换得到目标异步电路； 对所述目标异步电路与所述初始异步电路的功能一致性进行初次形式验证，输出所述初次形式验证的结果； 根据扫描链将完成初次形式验证后的所述目标异步电路进行串链，将串链前的所述目标异步电路与串链后的所述目标异步电路进行二次形式验证，输出所述二次形式验证的结果； 根据完成二次形式验证后的所述目标异步电路的测试向量进行仿真，输出仿真验证结果； 所述对所述初始异步电路进行可测性建模包括以下步骤： 构建所述初始异步电路的控制通路模块，并根据逻辑运算结果的捕获过程，用触发器构建控制通路可测性模块； 构建所述初始异步电路的数据通路模块，并根据数据路径和控制路径的时钟驱动过程，用数据选择器以及外加时钟构建数据通路可测性模块； 所述构建所述初始异步电路的数据通路模块，并根据数据路径和控制路径的时钟驱动过程，用数据选择器以及外加时钟构建数据通路可测性模块，还包括： 通过或门和与门的组合构建时钟旁路电路，或通过数据选择器构建时钟旁路电路； 根据所述时钟旁路电路对全局时钟和或内部时钟进行旁路，完成对所述数据通路可测性建模。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中山大学，其通讯地址为：510275 广东省广州市海珠区新港西路135号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。