Supporters of REDD say it offers performance-related finance for saving forests on a far larger scale than ever before. It aims to ensure rigorous verification.
Under pressure of the increase of chip scale and the decrease of timing to market, verification has become the bottleneck of digital IC design.
在芯片规模指数式上升和要求面市时间快速缩短的双重压力下，验证已成为数字集成电路设计的瓶颈。
3
The function verification of integrated circuits has become the bottleneck of the design cycle because of the increasing scale and the complexity of chips.