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
The pipeline production process involves much video editing, splicing, cutting and post-processing; and the software tools all work on a standardised format.
整个流水线生产过程涉及到视频编辑、拼接、剪辑与后处理；所有的软件工具都会基于一种标准化的格式。
This scheme has already been used in the video post process project to realize the motion estimating function.
该方案已经成功运用到视频后处理芯片项目中，实现了运动估计功能。
Nonlinear editing computer-based systems are used in video post-production, which process video, image, animation and text stored…
计算机非线性编辑被用于视频后期制作中，对存储在硬盘中的视频、图象、动画、文本等进行综合处理。
应用推荐