相关题库

咨询

其他联系方式

所属系列课程

评价

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