简介
基于DC的逻辑综合实训课程,包括逻辑综合原理和流程,标准单元库,时序和环境约束,时序分析和优化策略等,
        同时介绍基于Formality的形式验证的原理和流程。
TCL语言,数字后端流程,逻辑综合原理,design compiler,formality,形式验证
查看课程