一种包括自动验证工具模块和仿真工具模块的电路功能自动验证程序产品，操作步骤如下：向自动验证工具模块输入库单元电路描述和库单元电路功能描述，由其生成验证输入代码和验证结果代码。自动验证工具模块调用仿真工具模块，并向其输入验证输入代码，得到...