[TOP] 待完成清单

1. hvp interduce,见桌面文件HVP intoducation
2. 梳理synopsis 关于验证的框架,例如 yaml配置和hvp
3. 根据绿皮书,梳理约束的高级用法,数组的约束,求解器的求解速度
4. verdi的smartlog https://blog.csdn.net/Michael177/article/details/123579058
5. 思考如何平台的可以快速定位问题的能力,如何搭建,各级日志的打印
6. 等待事件,并设置超时时间