[发明专利]验证操作支持系统及其方法

摘要

提供了能够自动执行复杂验证操作的验证操作支持系统。这个系统10配备有：用于管理员的输入装置12，用于输入所有测试实例共有的测试实例共有信息183和因每个测试实例而异的测试实例差别信息184；文本编辑器16，用于生成包含基本信息183和184的模板文件18；用于验证人员的输入装置14，用于输入验证人员个别信息141和测试条件个别信息142；参数文件自动生成程序20，用于通过将个别信息141和142增添到模板文件18中的基本信息183和184中，生成描述每个测试实例的验证操作的测试实例信息文件222；以及，验证操作执行程序24，用于在运行TOS 26和HDL模拟器28时，根据测试实例信息文件222，执行验证操作。

主权项

1.一种验证操作支持系统，用于支持利用模拟器、通过一个或多个测试实例对一个或多个设计数据进行验证的验证操作，该系统包括：基本信息输入装置，用于接收指定所述测试实例所需要的基本信息的输入；模板文件生成装置，用于生成包括由所述基本信息输入装置输入的所述基本信息的模板文件；个别信息输入装置，用于接收指定除所述测试实例以外的项目所需要的个别信息的输入；参数文件生成装置，用于通过从所述模板文件中读取所述基本信息，并且将由所述个别信息输入装置输入的所述个别信息增添到所述基本信息中，生成所述验证操作所需要的参数文件；以及验证操作执行装置，用于在运行所述模拟器时，按照所述参数文件执行所述验证操作。