验证目标系统的验证系统及其验证方法技术方案

本发明专利技术提供一种验证系统及其验证方法，其用来验证目标系统。该验证系统包括：来源代理器，其包括第一储存装置，用来储存多个测试数据串流，该来源代理器可接收至少一控制指令，并可执行下列操作之一，以响应接收到的该控制指令；输出多个测试数据中一个测试数据串流，并将该测试数据串流作为选择到的测试数据串流；以及搁置该选择到的测试数据串流的输出；待测装置，其包括控制器及该目标系统，该待测装置耦合至该来源代理器，用来处理自该来源代理器输出的该选择到的测试数据串流，以产生输出数据串流；以及输出代理器，耦合至该待测装置，用来接收该输出数据串流，并根据该输出数据串流与预定数据串流执行验证操作。

【技术实现步骤摘要】

本专利技术是关于一种验证系统及验证方法，特别是有关于一种具有流程控制能力的。
技术介绍
在现今技术越来越发达，电路设计越来越复杂的时代，验证技术成为了电路设计领域中非常重要的一环。一般来说，C模型与CAD工具经常被拿来作为仿真电路概念与电路行为的仿真器，主要用来验证目标电路的一些基本功能。然而，当电路越来越复杂而又需要在短时间内验证完毕，或是需要对目标电路实时(real-time)的实际功能进行验证时，由于C模型或CAD工具都具有其本身的限制，皆无法达到令人满意的验证效果。举例来说，一个多媒体处理器，其本身需要在一秒之内处理三十个视频图框，若以前述的CAD工具进行模拟与验证工作将会花费非常长的时间，因此，在实际应用上，并不是一种可行的方法。另一方面，概念性的设计行为一般是从C模型开始。由于C模型是运作在软件环境之中，因此需要依赖CPU加以执行。然而，如业界所习知，C模型本身也具有相当多的限制。举例来说，如果欲验证的目标系统，其输入数据非常频繁时，则若利用C模型来进行该目标系统的仿真时，往往需要花费非常惊人的时间。因此，在实际应用上，也很难利用C模型来验证前述目标系统的实时功能。此外，另一种验证的做法是场式可程序化门阵列(field programmablegate array，FPGA)技术。场式可程序化门阵列技术是一种用集成电路做出的技术，由于场式可程序化门阵列技术是为场式可程序化的(fieldprogrammable)，这是场式可程序化门阵列技术与其它芯片技术的最主要区别。所谓的场式可程序化是代表着使用者可以在设计与验证的过程中重复使用该芯片来修改设计。因此，场式可程序化门阵列技术具有可快速的重复使用，节省不可重复性工程费用(non-recurring engineering cost)，进而节省了大量的时间与成本的优点；同时，场式可程序化门阵列技术也可提供实时验证的能力。但是，场式可程序化门阵列技术在实时应用中存在除错(debugging)能力不高的缺陷，需耗费大量的时间与成本。
技术实现思路
本专利技术的目的在于提供一种可节省大量的时间与成本的验证系统及其验证方法。本专利技术的另一目的在于提供该验证系统的验证方法。一种验证系统，其用来验证目标系统，该验证系统包括来源代理器，其包括第一储存装置，用来储存多个测试数据串流，该来源代理器可接收至少一控制指令，并可执行下列操作之一，以响应接收到的该控制指令输出多个测试数据中一个测试数据串流，并将该测试数据串流作为选择到的测试数据串流；以及搁置该选择到的测试数据串流的输出；待测装置，其包括控制器及该目标系统，该待测装置耦合至该来源代理器，用来处理自该来源代理器输出的该选择到的测试数据串流，以产生输出数据串流；以及输出代理器，耦合至该待测装置，用来接收该输出数据串流，并根据该输出数据串流与预定数据串流执行验证操作。一种用来验证目标系统的验证方法，该验证方法包含有提供来源代理器，该来源代理器包括第一储存装置，用来储存多个测试数据串流，并可用来接收至少一控制指令；当接收到的该控制指令为传送数据的控制指令时，该来源代理器选择该多个测试数据中的一个测试数据串流，以将该测试数据串流作为选择到的测试数据串流；当接收到的该控制指令为输出数据的控制指令时，该来源代理器输出该选择到的测试数据串流；当接收到的该控制指令为搁置数据传输的控制指令时，该来源代理器搁置该选择到的测试数据串流的输出；提供待测装置，包括控制器及目标系统，利用该待测装置来处理自该来源代理器输出的该选择到的测试数据串流，以产生输出数据串流；提供输出代理器，以自该待测装置接收该输出数据串流，以及利用该输出代理器，根据该输出数据串流与预定数据串流执行验证操作。在验证过程中，数据流控制是极为紧要的关键之一；当系统发生问题时，本专利技术验证系统及其验证方法所具有的流程控制能力可以立即地将验证程序暂停，以供电路设计者检查问题所在并且进行除错。因此，本专利技术验证系统及其验证方法可以节省大量的时间与成本。附图说明图1为本专利技术验证系统的示意图。具体实施例方式请参阅图1，图1为本专利技术验证系统的示意图。该验证系统100包括来源代理器(source agent)110，输出代理器(drain agent)120，以及待测装置(device under test，DUT)130。其中，该待测装置130包括控制器、IDE接口150、160及目标系统170，该控制器可为中央处理器(central processing unit，CPU)140，该IDE接口150、160分别电连接至该中央处理器140，该目标系统170分别电连接至IDE接口150、160与中央处理器140。该来源代理器110与输出代理器120可以分别以个人计算机来实现。在本实施例中，该来源代理器110包含有中央处理器111及第一储存装置112。而输出代理器120还包含有中央处理器121以及第二储存装置122。其中，该储存装置112、122可为任何形式的储存装置(譬如内存或是硬盘)。因此，该来源代理器110与该输出代理器120的处理能力皆可基于中央处理器111、121的运算能力与计算能力而提升。此外，该来源代理器110与该输出代理器120分别具有IDE接口113、123，以分别与该待测装置130的IDE接口160、150进行沟通。该目标系统170为欲验证的集成电路，或在一些实施例中，该目标系统170还可以用场式可程序化门阵列来实现。如图1所示，该来源代理器110的第一储存装置112中储存有多个测试数据串流(或称之为测试型样)114，其可输入至该目标系统170，以作为该目标系统170的输入数据。此外，该输出代理器120的第二储存装置122储存有多个预定数据串流(或称之为预定型样)124。该预定数据串流124分别为该目标系统170接收到对应该测试数据串流114之后的理想输出结果。而该验证系统100的操作与功能将在以下的揭示中详述。首先，中央处理器140用来作为控制器，其发出传送数据的控制指令CMDSEL通过该IDE接口160、113输入至该来源代理器110。当该来源代理器110的中央处理器111接收到该传送数据的控制指令CMDSEL之后，该中央处理器111便会从该第一储存装置112中选择测试数据串流114。接着，该中央处理器111便将选择到的测试数据串流114通过该IDE接口113、160传送至该待测装置130。因此，该目标系统170便可接收选择到的测试数据串流114，并且对选择到的测试资料串流114进行处理，以产生输出数据串流。另一方面，该中央处理器140另通过该IDE接口150、123送出准备数据的控制指令至该输出代理器120，以准备对应前述选择到的测试数据串流114的预定数据串流。此外，该目标系统170产生的输出数据串流会通过该IDE接口150、123传递至该输出代理器120。该输出代理器120比较输出数据串流与已准备的其对应的预定数据串流的内容，以验证该目标系统170的功能。其中，该预定数据串流可为输出代理器120中内部第二储存装置122中的一个预定数据串流124，或由该输出代理器120的计算模块(图未示)根据准备数据的控制指令实时产生出来。该中央处理器140具有控制该来本文档来自技高网...

【技术保护点】
一种验证系统，所述验证系统用来验证目标系统，其特征在于，所述验证系统包括：来源代理器，所述来源代理器包括第一储存装置，用来储存多个测试数据串流，所述来源代理器可接收至少一控制指令，并可执行下列操作之一，以响应接收到的所述控制指令：输 出多个测试数据中一个测试数据串流，并将所述测试数据串流作为选择到的测试数据串流；以及搁置所述选择到的测试数据串流的输出；待测装置，所述待测装置包括控制器及所述目标系统，所述待测装置耦合至所述来源代理器，用来处理自所述来源代理器输出的 所述选择到的测试数据串流，以产生输出数据串流；以及输出代理器，耦合至所述待测装置，用来接收所述输出数据串流，并根据所述输出数据串流与预定数据串流执行验证操作。

【技术特征摘要】
...

【专利技术属性】
技术研发人员：黄建中，程元良，黄东浩，叶有民，张中瑜，
申请(专利权)人：联发科技美国股份有限公司，
类型：发明
国别省市：US[美国]