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

龙图腾网获悉上海国微思尔芯技术股份有限公司申请的专利一种检查Verilog时序模块驱动冲突的方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113157568B 。

龙图腾网通过国家知识产权局官网在2025-08-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202110360242.1，技术领域涉及：G06F11/3668；该发明授权一种检查Verilog时序模块驱动冲突的方法是由郭广鑫;张曦;陈灿;袁郎;黄冠睿设计研发完成，并于2021-04-02向国家知识产权局提交的专利申请。

本一种检查Verilog时序模块驱动冲突的方法在说明书摘要公布了：本发明公开了一种检查Verilog时序模块驱动冲突的方法，包括：扫描Verilog代码，得到至少一个always块；对每个always块进行逐条语句解析，得到语句解析结果，包括：Verilog代码中与赋值相关的各条语句所驱动的寄存器的寄存器信息和被驱动区间；根据语句解析结果构建哈希表；根据语句解析结果，对属于相同always块、且相同寄存器的被驱动区间求并集，并在求并集后，对属于不同always块、且相同寄存器的被驱动区间求交集，得到驱动冲突区间；基于驱动冲突区间查找哈希表，以确定Verilog代码中与驱动冲突相关的语句。本发明可节省RTL设计过程中用户的调试时间，提高开发效率。

本发明授权一种检查Verilog时序模块驱动冲突的方法在权利要求书中公布了：1.一种检查Verilog时序模块驱动冲突的方法，其特征在于，包括： 扫描Verilog代码，得到至少一个always块； 对每个所述always块进行逐条语句解析，得到所述Verilog代码的语句解析结果；所述语句解析结果包括：所述Verilog代码中与赋值相关的各条语句所驱动的寄存器的寄存器信息和被驱动区间； 根据所述语句解析结果构建哈希表；所述哈希表用于记录每条所述语句在所述Verilog代码中的位置信息以及该语句所驱动的寄存器的寄存器信息和被驱动区间； 根据所述语句解析结果，对属于相同always块、且相同寄存器的被驱动区间求并集，并在求并集后，对属于不同always块、且相同寄存器的被驱动区间求交集，得到驱动冲突区间； 基于所述驱动冲突区间查找所述哈希表，以确定所述Verilog代码中与驱动冲突相关的语句； 其中，对每个所述always块进行逐条语句解析，包括： 针对每个所述always块，逐条扫描该always块中的语句；响应于扫描到的语句既非基本赋值语句也非循环语句，将该语句进行进一步拆解；响应于扫描到的或拆解到的语句为基本赋值语句，从该语句中读取该语句所驱动的寄存器的名称和被驱动区间，并确定该语句所驱动的寄存器的层级；响应于扫描到的或拆解到的语句为循环语句，从该语句中读取该语句所驱动的寄存器的名称，计算该语句所驱动的寄存器的被驱动区间，以及确定该语句所驱动的寄存器的层级； 所述计算该语句所驱动的寄存器的被驱动区间，包括： 当该语句所驱动的寄存器的地址索引为已知量时，根据该已知量计算该寄存器的被驱动区间； 当该语句所驱动的寄存器的地址索引为未知量时，将该地址索引设置为预设值，该预设值用于表征该语句所驱动的寄存器的被驱动区间为所有寄存器地址的所有位。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海国微思尔芯技术股份有限公司，其通讯地址为：200082 上海市杨浦区国定支路26号3332室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。