北京轩宇信息技术有限公司朱倩获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉北京轩宇信息技术有限公司申请的专利一种面向Vivado综合器安全状态机的精确行为分析系统及方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121257417B 。
龙图腾网通过国家知识产权局官网在2026-03-31发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511142502.2，技术领域涉及：G06F30/327；该发明授权一种面向Vivado综合器安全状态机的精确行为分析系统及方法是由朱倩;童宗挺;刘红娟;唐衡;徐文瑞;唐叶婷设计研发完成，并于2025-08-15向国家知识产权局提交的专利申请。
本一种面向Vivado综合器安全状态机的精确行为分析系统及方法在说明书摘要公布了：本发明公开了一种面向Vivado综合器安全状态机的精确行为分析系统及方法，包括培训班管理模块、南门门禁管理模块、培训公寓门锁管理模块和系统管理模块；本发明通过整合人脸识别技术与信息化管理手段，实现了培训中心签到管理、门禁控制、考勤统计的一体化智慧管理。培训班管理模块与门禁管理模块的联动，确保学员人脸信息一次录入、多区域通用，减少了重复录入工作；手机端签退功能结合私网WiFi限制，既方便了学员签退，又避免了远程打卡的作弊行为；实时考勤提醒功能使班主任能及时掌握学员出勤情况，提高了管理效率。
本发明授权一种面向Vivado综合器安全状态机的精确行为分析系统及方法在权利要求书中公布了：1.一种面向Vivado综合器安全状态机的精确行为分析系统，其特征在于：包括门级网表加载模块、状态编码分析模块、RTL代码修改模块、逻辑等价性验证模块和行为分析模块； 所述门级网表加载模块负责加载完成综合布局布线后的门级网表，作为实现设计IMPL，该IMPL中的状态机已完成状态机安全实现； 所述状态编码分析模块根据综合约束设置以及Vivado输出的综合报告vds文件，确定综合后的状态机编码方式以及门级状态机的寄存器位数； 所述RTL代码修改模块根据门级状态机情况，修改状态寄存器的定义和编码设置，并选取相应模块进行配置； 所述逻辑等价性验证模块加载RTL代码作为参考设计REF，执行匹配、验证和调试操作，实现REF和IMPL的逻辑等价性验证； 所述行为分析模块在验证成功后，通过分析RTL代码实现对综合后的安全状态机行为的精确分析。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京轩宇信息技术有限公司，其通讯地址为：101300 北京市顺义区高丽营镇文化营村北(临空二路1号)；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励