集成电路验证与算法知识点总结