【席老师】【formal】Synopsys VC Formal Overview介绍第一节【芯片】【芯片设计】【芯片验证】【新思】【EDA】
发布人