摘要: 仿真验证工具:Cadence的Incisive、Synopsys的VCS、Mentor的QuestaSim 逻辑综合工具:Cadence的Gneus、Synopsys的Design Compiler(DC) 形式验证工具:Cadence的Conformal、Synopsys的Formality 静态 阅读全文
posted @ 2023-08-25 17:05 不好说话甄 阅读(878) 评论(0) 推荐(1)