一种Verilog HDL代码白盒测试辅助平台及其工作过程

摘要

本发明公开了一种Verilog HDL代码白盒测试辅助平台，包括文件管理模块、源代码显示模块、信息提取模块、处理信息显示模块和关联处理与权重分析模块，对所读取的源代码进行语法的分析和关键词的检索，由此获取所述代码段中的所有输入输出以及中间变量，并同时获取中间变量之间的数理关系式；根据所获取的关系式，将所有的中间变量和与之相关的输入输出关联起来，并通过数学公式计算得出每个中间变量的权重系数，进而确定关键节点，以便对源代码进行白盒测试时观察中间变量的选择。本发明能够快速准确地找出关键的中间变量，并将输出与中间变量和输入相关联，提高了对Verilog HDL代码进行测试的效率。