相关题库

咨询

其他联系方式

所属系列课程

评价

使用协议与隐私政策

感谢您使用网易云课堂!

为了更好地保障您的个人权益,请认真阅读《使用协议》《隐私政策》《服务条款》的全部内容,同意并接受全部条款后开始使用我们的产品和服务。若不同意,将无法使用我们的产品和服务。

同意
形式验证与Formality软件教程,Horizon00,理论结合演示,以演示为主。先讲解形式验证的基本理论,然后演示形式验证的具体流程以及命令,还送Lab以及Tcl脚本供学员练习之用。 适用人群:在校本科生/研究生、IC后端工程师、期望拿到高薪Offer的IC设计者、对数字IC形式验证感兴趣者
手机课堂
下载App
返回顶部