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