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

申请/专利权人：成都华大九天科技有限公司

摘要：一种SV运行时的表达式求值方法，其包括：对输入的SV表达式字符串进行语法分析，以将SV表达式字符串转换为AST，AST包括节点以及节点间依赖关系，节点包括操作节点、变量节点；基于SV语义检测规则，对AST进行语义分析，以通过变量查询推导AST中各个变量节点的表达式类型，以及通过操作数合法化核查来确定各个操作节点的表达式类型，并基于表达式类型进行表达式类型传播以对AST进行合法化；判断合法化的AST是否需要优化，如果不需要，则按照自底向上的方向进行遍历，以对合法化后的AST进行求值操作得到SV表达式字符串的求值结果；如果需要，则对合法化后的AST进行优化，按照自底向上的方向进行遍历以对优化后的AST进行求值操作得到SV表达式字符串的求值结果。

主权项：1.一种SV运行时的表达式求值方法，其特征在于，包括：对输入的SV表达式字符串进行语法分析，以将所述SV表达式字符串转换为AST，其中，所述AST包括节点以及节点间依赖关系，所述节点包括操作节点、变量节点；基于SV语义检测规则，对所述AST进行语义分析，以通过变量查询推导所述AST中各个变量节点的表达式类型，以及通过操作数合法化核查来确定各个操作节点的表达式类型，并基于所述表达式类型进行表达式类型传播以对所述AST进行合法化；判断合法化的AST是否需要优化，如果不需要，则按照自底向上的方向进行遍历，以对合法化后的AST进行求值操作，得到SV表达式字符串的求值结果；如果需要，则对合法化后的AST进行优化，按照自底向上的方向进行遍历，以对优化后的AST进行求值操作，得到SV表达式字符串的求值结果，所述方法还包括：定义表达式类型的数据结构，以在基于SV语义检测规则，对所述AST进行语义分析，以通过变量查询推导所述AST中各个变量节点的表达式类型时，基于所述表达式类型的数据结构进行所述变量查询，在所述表达式类型的数据结构中定义有所述SV表达式字符串中的变量是否为无符号数、定义有所述SV表达式字符串中变量的数据类型、定义有所述SV表达式字符串中变量的数据长度，以在基于所述表达式类型的数据结构进行所述变量查询时，基于所述变量是否为无符号数、所述变量的数据类型、所述变量的数据长度进行所述变量查询。

全文数据：

权利要求：

百度查询： 成都华大九天科技有限公司 SV运行时的表达式求值方法