sky_one的博客

利用VCS高效验证，包括约束随机验证，基于覆盖率验证的验证等等，有实例讲解。