设计层次树子结点信息存储方法、电子设备和介质

    公开(公告)号:CN117009090A

    公开(公告)日:2023-11-07

    申请号:CN202311269276.5

    申请日:2023-09-28

    发明人: 赵建 张邦全

    IPC分类号: G06F9/50 G06F30/33

    摘要: 本发明涉及芯片技术领域,尤其涉及一种设计层次树子结点信息存储方法、电子设备和介质,步骤S1、在内存中为设计层次树的非叶子结点Ai构建Di;步骤S2、当需要向Di中插入子结点信息时,判断P1i和P2i是否有效,若P1i有效,则执行步骤S3,若P2i有效,则执行S6;步骤S3、将子结点信息插入Vi中,更新Ui,执行S4;步骤S4、若Ui=R,则执行步骤S5,否则,返回S2;步骤S5、将Vi中存储的子结点信息复制到Ki中,释放Vi,将P1i设置为空指针,将P2i设置为有效状态且指向Ki,返回S2;步骤S6、将子结点信息插入Ki中,返回执行S2。本发明降低了设计层次树结点信息存储的内存使用量。

    基于使用行的宏定义文本展开方法、电子设备和介质

    公开(公告)号:CN116756103B

    公开(公告)日:2023-10-27

    申请号:CN202311066610.7

    申请日:2023-08-23

    发明人: 张邦全 赵建 林航

    IPC分类号: G06F16/16 G06F16/17

    摘要: 本发明涉及计算机技术领域,尤其涉及一种基于使用行的宏定义文本展开方法、电子设备和介质,方法包括步骤S1、初始化宏使用行展开列表为空;步骤S2、判断是否包括目标宏使用行的宏展开文本,若是,则将目标宏使用行对应的宏定义展开文本确定为目标展开文本,结束流程,否则,获取目标宏使用行的原始代码设置在代码存储单元中,执行步骤S3;步骤S3、确定当前待展开宏,在代码存储单元中展开当前待展开宏;步骤S4、判断目标宏使用行的宏是否全部展开,若是,则将当前代码存储单元中存储的代码确定为目标宏展开文本,并存储至宏展开列表中,结束流程,否则,返回执行步骤S3。本发明节省了宏文本展开的内存和计算资源消耗。

    设计层次树子结点信息存储方法、电子设备和介质

    公开(公告)号:CN117009090B

    公开(公告)日:2023-12-15

    申请号:CN202311269276.5

    申请日:2023-09-28

    发明人: 赵建 张邦全

    IPC分类号: G06F9/50 G06F30/33

    摘要: 本发明涉及芯片技术领域,尤其涉及一种设计层次树子结点信息存储方法、电子设备和介质,步骤S1、在内存中为设计层次树的非叶子结点Ai构建Di;步骤S2、当需要向Di中插入子结点信息时,判断P1i和P2i是否有效,若P1i有效,则执行步骤S3,若P2i有效,则执行S6;步骤S3、将子结点信息插入Vi中,更新Ui,执行S4;步骤S4、若Ui=R,则执行步骤S5,否则,返回S2;步骤S5、将Vi中存储的子结点信息复制到Ki中,释放Vi,将P1i设置为空指针,将P2i设置为有效状态且指向Ki,返回S2;步骤S6、将子结点信息插入Ki中,返回执行S2。本发明降低了设计层次树结点信息存储的内存使用量。

    抽象语法树和源代码坐标的关联方法、电子设备和介质

    公开(公告)号:CN116954622A

    公开(公告)日:2023-10-27

    申请号:CN202311196937.6

    申请日:2023-09-18

    发明人: 赵建 张邦全

    IPC分类号: G06F8/41 G06F30/30

    摘要: 本发明涉及芯片验证技术领域,尤其涉及一种抽象语法树和源代码坐标的关联方法、电子设备和介质,方法包括步骤S1、对源代码中所有文件进行整数标识编码,生成文件序号,生成文件序号映射表;步骤S2、在生成抽象语法树的过程中,记录每一语法节点对应的源代码在对应文件中相对于文件起始位置的偏移信息以及对应的字符串长度;步骤S3、基于每一语法节点对应的文件序号、偏移信息和字符串长度生成用于定义语法节点位置信息的三元组;步骤S4、将每一语法节点对应的三元组存储在所述抽象语法树中,建立抽象语法树和源代码坐标的关联关系。本发明降低了关联抽象语法树和源代码坐标的内存开销,提高了抽象语法树的生成效率。

    抽象语法树和源代码坐标的关联方法、电子设备和介质

    公开(公告)号:CN116954622B

    公开(公告)日:2023-12-15

    申请号:CN202311196937.6

    申请日:2023-09-18

    发明人: 赵建 张邦全

    IPC分类号: G06F8/41 G06F30/30

    摘要: 本发明涉及芯片验证技术领域,尤其涉及一种抽象语法树和源代码坐标的关联方法、电子设备和介质,方法包括步骤S1、对源代码中所有文件进行整数标识编码,生成文件序号,生成文件序号映射表;步骤S2、在生成抽象语法树的过程中,记录每一语法节点对应的源代码在对应文件中相对于文件起始位置的偏移信息以及对应的字符串长度;步骤S3、基于每一语法节点对应的文件序号、偏移信息和字符串长度生成用于定义语法节点位置信息的三元组;步骤S4、将每一语法节点对应的三元组存储在所述抽象语法树中,建立抽象语法树和源代码坐标的关联关系。本发明降低了关联抽象语法树和源代码坐标的内存开销,提高了抽象语法树的生成效率。