• 视频后处理 - 引用次数：12

  After evaluating Synopsys’s Formality, the paper construes the flow and practical experiences in Video Post-process Chip, and comes to the conclusion that static verification really works.

  在简单评价了Synopsys公司的商用软件Formality之后，重点分析了在视频后处理芯片项目中Formality的应用流程和实际工作经验，证明形式验证的重要作用。

  参考来源 - 超大规模集成电路设计流程中的验证技术及实践

·2,447,543篇论文数据，部分数据来源于NoteExpress