介绍验证相关的基本概念、技术，以及“万众一芯”开源验证工具
学习如何基于picker进行芯片验证.
学习如何编写验证环境，添加/运行测试、覆盖率以及查看已有验证文档等.
学习什么是分支预测器，香山昆明湖架构的预测器是什么样的.