简介:9月8日,Avid公司宣布Avid获得了由美国电视艺术与科学学院(NATAS)颁发的2017年艾美奖技术工程创新奖.今年,NATAS的技术工程成就委员会将艾美奖技术工程创新奖授予了Avid剪辑技术——被广泛应用于绝大多数媒体和娱乐行业的顶级创作和剪辑人才.该奖项认可了由Avid首创的基于计算机数字化处理的,多轨道多机位剪辑系统的前驱技术.该系统充分体现了AvidMediaComposer?作为业内非线性编辑系统领军人物的影响力.Avid董事会主席兼CEO,LouisHernandez,Jr.先生表示,2017年艾美奖是对Avid员工极度的肯定,Avid将继续专注于为媒体和娱乐行业,提供长久价值的创新.
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。