一种自动生成验证环境的工具，还不错，值得分享给验证和设计工程师使用。