VPlaner验证管理工具的使用手册即User-Guide, 版本给Synopsis的最新版的用户使用手册，具体功能报告仿真用例回归情况统计，验证计划规划，验证用例管理和生成缺陷曲线。