At the present time , about 70 % of design effort is dedicated to the function verification , while design verification takes more than half of the whole verification works 其中,保证设计功能正确是最基本的一项要求。目前功能验证已占整个设计资源的70 %左右,而设计验证则占据验证工作的绝大部分。
These architectures improve the performance as well as making the processor more complex . the increase of the complexity adds the load of the designers , and makes the verification mach more difficult 这些技术在提升处理器性能的同时也增加了芯片的复杂性,也给处理器的设计验证带来了巨大的困难。
The research of satellite - carried embedded multiprocessor system is a challenging research domain , including parallel compute theory , real - time system theory , system fault - tolerant and software reliability theory 星载嵌入式多处理器系统的研究是一个具有挑战性的研究领域,涉及到并行计算理论、实时系统原理以及系统容错和可靠性设计验证理论。
Then , the design verification on virtual simulation platform and target board are executed individually , the methods and process of verification are discussed , the probable problems are notified , and the results are analyzed 接着在虚拟仿真平台和目标板上分别进行了设计验证,讨论了验证方法、验证过程和其中需要注意的问题,并分析了验证结果。
Design verification is very important but most cost in the soc design flow . verificating the consistency of the implementation with design specification is the main function of the design verification 设计验证是集成电路( ic : integratedcircuit )设计中不可或缺的重要组成部分,主要用于判别设计规范和设计实现之间是否保持一致,已成为集成电路整个设计流程中开销最大的工作。
The new method can be divided into two parts : the construction of verification model and the construction of verification platform . not like the semi - custom verification model is built from the design specification , the full - custom verification model is built from full - custom design data 对于验证模型的建立,在半定制设计验证方法中,一般是以系统描述为基础建立验证模型,而在我们的全定制设计验证方法中,验证模型主要以全定制设计数据为基础建立的。
Design verification problem needs hierarchy methodology . because the effect of interconnection has taken in the highest flight , design verification for the interconnection network , for example , only the completed verification for performance of power supply of p / g network can ensure the reliability of chip 由于芯片内互连线作用已占相当重要的地位，在对互连线网络作精确的设计验证，例如，芯片电源地网的供电性能的验证，是芯片工作的可靠性的保证。
On the one hand , the size of the problem is enormous . for example , there are more than several million transistors in a single chip . on the other hand , along with the technique developing , the typical wiring width has arrived the deep sub micron stage ; the frequency has been ghz level 集成电路版图综合、设计验证是一个极其复杂的问题，一方面是由于版图综合、验证问题的规模庞大，例如目前单片vlsi包含的晶体管数已达几千万甚至上亿个个，另一方面是由于工艺的不断发展，版图特征线宽已发展到深亚微米阶段，芯片工作频率已达ghz级，对版图布局布线提出了更多的约束条件和目标，设计验证需要考虑更多的电路参数和复杂的相互作用。
This paper addresses the requirements of function analysis and function assignment , which should be carried out in the desigh of main control room in nuclear power plant according to the design research of advanced main control room , then states its contents , functions , importance and necessity as well as how to implement these requirements and how to do design verification and validation in the design of advanced main control room of nuclear power plant 根据先进压水堆研究关键课题? ?先进主控制室的设计研究，阐述了核电厂主控制室设计中进行功能分析与功能分配的基本要求，重点论述了功能分析与分配的内容、作用、重要性与必要性，探讨了在核电厂先进主控制室的设计中贯彻执行这些要求的措施及进行设计验证的方法。
This paper mainly focuses on the following three field : system structure , system hw / sw ( hardware / software ) partition . synthesis and verification . and presents a hw / sw co - design method based on ip ( intellectual property ) core . we use this method to design asip , and verify this virtual machine using instruction codes , ac - 3 codes and ts ( transport stream ) flow 本文从芯片系统的整体入手，重点从系统的结构、软硬件分割以及芯片系统的设计验证三个方面对该芯片系统的设计做了深入的研究，提出了一种基于ip核的软硬件协同设计方法，运用该方法对asip进行设计，并采用虚拟机的模型，采用指令集程序、 ac - 3解码程序、 ts流程序进行仿真验证。
