[go: up one dir, main page]

CN1577274A - Automation emulation method and system - Google Patents

Automation emulation method and system Download PDF

Info

Publication number
CN1577274A
CN1577274A CN 03159263 CN03159263A CN1577274A CN 1577274 A CN1577274 A CN 1577274A CN 03159263 CN03159263 CN 03159263 CN 03159263 A CN03159263 A CN 03159263A CN 1577274 A CN1577274 A CN 1577274A
Authority
CN
China
Prior art keywords
directory
script
sub
file
preserve
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN 03159263
Other languages
Chinese (zh)
Other versions
CN100514296C (en
Inventor
钱晶
程智辉
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Huawei Technologies Co Ltd
Original Assignee
Huawei Technologies Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Huawei Technologies Co Ltd filed Critical Huawei Technologies Co Ltd
Priority to CNB031592635A priority Critical patent/CN100514296C/en
Publication of CN1577274A publication Critical patent/CN1577274A/en
Application granted granted Critical
Publication of CN100514296C publication Critical patent/CN100514296C/en
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Images

Landscapes

  • Stored Programmes (AREA)

Abstract

本发明公开了一种自动化仿真的方法,由具有信息处理能力的装置通过执行脚本完成仿真,该方法包括步骤:启动执行脚本开始验证项目;执行脚本启动激励脚本和配置脚本分别产生激励信号和生成配置文件;执行脚本启动仿真器运行仿真脚本对被测对象进行仿真,被测对象接收激励信号和读取配置文件,并保存仿真过程产生的响应数据;执行脚本启动数据对比脚本和结果分析脚本,将响应数据与预期值进行比较,输出分析结果。本发明同时还公开了一种逻辑自动化仿真系统。

Figure 03159263

The invention discloses an automatic simulation method. A device with information processing capability completes the simulation by executing a script. The method includes the steps of: starting the execution script to start a verification project; configuration file; execute the script to start the emulator and run the simulation script to simulate the measured object, the measured object receives the excitation signal and reads the configuration file, and saves the response data generated during the simulation process; executes the script to start the data comparison script and the result analysis script, Compare response data with expected values and output analysis results. The invention also discloses a logic automation simulation system at the same time.

Figure 03159263

Description

自动化仿真方法及系统Automatic simulation method and system

技术领域technical field

本发明涉及仿真技术,特别涉及一种自动化仿真方法及系统。The invention relates to simulation technology, in particular to an automatic simulation method and system.

背景技术Background technique

无线通信设备的基带部分处理主要采用数字方式实现的物理层协议和数字信号处理算法。根据实现方式的不同,可将现有技术中的实现方式分为:软件、硬件或软硬件混合三种实现方式。在软硬混合实现方式中,硬件部分实现主要采用专用集成电路(ASIC)/现场可编程门阵列(FPGA)方式。但是,由于ASIC/FPGA具有设计规模大,结构复杂,验证难度大的特点,所以,随着逻辑芯片的规模越来越大,复杂度不断提高,逻辑仿真验证的工作量呈指数倍增长,进而不利于实现且增加了成本。The baseband processing of wireless communication equipment mainly adopts physical layer protocol and digital signal processing algorithm realized in digital way. According to different implementation manners, the implementation manners in the prior art can be divided into three implementation manners: software, hardware, or a combination of software and hardware. In the hardware-software hybrid implementation, the hardware implementation mainly adopts an application-specific integrated circuit (ASIC)/field-programmable gate array (FPGA) method. However, since ASIC/FPGA has the characteristics of large design scale, complex structure, and difficult verification, as the scale of logic chips increases and the complexity continues to increase, the workload of logic simulation verification increases exponentially. It is not conducive to implementation and increases the cost.

在现有技术中,常用商用仿真器来完成逻辑仿真验证,该商用仿真器内部集成了脚本运行环境,例如:在Modelsim仿真器本身便嵌入了工具命令语言(TCL)脚本运行环境,并开发了一套专门用于仿真的宏命令集,用户可以在此环境中运行仿真脚本,可以实现一定程度的自动化,如图1所示。In the prior art, a commercial emulator is commonly used to complete the logic simulation verification, and the script operating environment is integrated inside the commercial emulator, for example: the Tool Command Language (TCL) script operating environment is embedded in the Modelsim emulator itself, and the developed A set of macro commands specially used for simulation, users can run simulation scripts in this environment, which can achieve a certain degree of automation, as shown in Figure 1.

但是,上述方案中,仿真环境是完全封闭的且功能有限,只能运行仿真脚本,没有针对逻辑验证的特点设计专门的逻辑仿真项目管理功能,无法实现对整个仿真项目、测试用例、回归测试等的管理,使得仿真效率及自动化程度很低。另外,由于仿真环境和具体的仿真器相关,对外接口不开放,与其它工具集成困难,其可扩展性、可移植性和可重用性都较差,进而使得用户在增加自己需要的功能时变得非常困难。However, in the above solution, the simulation environment is completely closed and has limited functions, and only simulation scripts can be run. There is no special logic simulation project management function designed for the characteristics of logic verification, and it is impossible to realize the entire simulation project, test case, regression test, etc. The management of the simulation makes the efficiency and automation of the simulation very low. In addition, because the simulation environment is related to the specific emulator, the external interface is not open, it is difficult to integrate with other tools, and its scalability, portability and reusability are poor, which makes it difficult for users to add the functions they need. very difficult.

发明内容Contents of the invention

本发明提供一种自动化仿真方法及系统,以解决现有技术中因不能实现逻辑验证的自动化而导致的效率低的问题。The invention provides an automatic simulation method and system to solve the problem of low efficiency in the prior art due to the inability to realize the automation of logic verification.

为解决上述问题,本发明提供如下的技术方案:In order to solve the above problems, the present invention provides the following technical solutions:

一种自动化仿真方法,包括以下步骤:An automated simulation method, comprising the steps of:

A、启动执行脚本开始验证项目;A. Start the execution script to start verifying the project;

B、执行脚本启动激励脚本和配置脚本分别产生激励信号和生成配置文件;B. Execute the script to start the excitation script and the configuration script to generate the excitation signal and generate the configuration file respectively;

C、执行脚本启动仿真器,由仿真器接收所述激励信号和读取配置文件;C, execute the script to start the emulator, receive the excitation signal and read the configuration file by the emulator;

D、仿真器运行仿真脚本进行仿真,并保存仿真过程产生的响应数据;D. The emulator runs the simulation script for simulation, and saves the response data generated during the simulation process;

E、执行脚本启动数据对比脚本和结果分析脚本,将响应数据与预期值进行比较,输出分析结果。E. Execute the script to start the data comparison script and the result analysis script, compare the response data with the expected value, and output the analysis result.

一种自动化仿真系统,包括用于数据处理的处理器,用于存储程序和数据的存储器,以及仿真平台,该仿真平台包括:An automated simulation system includes a processor for data processing, a memory for storing programs and data, and a simulation platform, which includes:

验证脚本模块:由启动执行脚本的命令集构成,用于启动执行脚本来执行测试用列;Verification script module: composed of command sets for starting and executing scripts, used to start and execute scripts to execute test columns;

仿真器模块:由执行脚启动,用于运行仿真脚本进行仿真;Emulator module: started by the execution foot, used to run the simulation script for simulation;

验证项目模块:包括验证过程所需的相关文件模块,并采用固定的目录结构组织所述相关文件模块;Verification project module: including relevant file modules required for the verification process, and adopting a fixed directory structure to organize the relevant file modules;

验证项目管理模块:用于实现整个验证项目模块的目录管理、测试用列的执行和回归测试执行,并提供一用户界面供项目管理操作。Verification project management module: used to realize the directory management of the entire verification project module, the execution of test columns and regression test execution, and provide a user interface for project management operations.

其中:所述的仿真平台还包括用户扩展接口模块,通过该扩展接口模块向仿真台增加工具。Wherein: the simulation platform further includes a user expansion interface module, through which tools are added to the simulation platform.

本发明采用适合逻辑仿真自动化的验证项目管理方法,并为用户提供了一个方便的扩展接口,使得用户能够基于此平台完成整个逻辑项目的自动化仿真,大大提高了仿真规范性和自动化程度,以及仿真项目之间的共享。The invention adopts a verification project management method suitable for logic simulation automation, and provides a convenient extension interface for users, so that users can complete the automatic simulation of the entire logic project based on this platform, greatly improving the standardization and automation of simulation, and the simulation Sharing between projects.

附图说明Description of drawings

图1为现有技术的仿真结构框图;Fig. 1 is the block diagram of simulation structure of prior art;

图2为本发明的仿真结构框图;Fig. 2 is the simulation structural block diagram of the present invention;

图3、图4为本发明的仿真平台结构图;Fig. 3, Fig. 4 are simulation platform structural diagrams of the present invention;

图5为本发明的仿真流程图;Fig. 5 is the simulation flowchart of the present invention;

图6为仿真过程示意图;Fig. 6 is a schematic diagram of the simulation process;

图7为用户界面示意图;Figure 7 is a schematic diagram of the user interface;

图8为测试用列与测试平台的对应关系示意图;Fig. 8 is a schematic diagram of the corresponding relationship between the test column and the test platform;

图9为验证项目的目录结构示意图;Figure 9 is a schematic diagram of the directory structure of the verification project;

图10为验证相关文件的目录结构示意图;Figure 10 is a schematic diagram of the directory structure of verification related files;

图11为脚本对应关系示意图;Figure 11 is a schematic diagram of script correspondence;

图12、图13、图14、图15和图16为工具向导开发模板界面图;Fig. 12, Fig. 13, Fig. 14, Fig. 15 and Fig. 16 are the tool guide development template interface diagrams;

图17A、图17B和图17C为开发工具过程中的流程示意图;Fig. 17A, Fig. 17B and Fig. 17C are schematic flow charts in the process of developing tools;

图18为WCDMA上行专用信道激励数据产生工具工作流程图。Fig. 18 is a working flowchart of the WCDMA uplink dedicated channel excitation data generation tool.

具体实施方式Detailed ways

逻辑验证的过程就是对被测对象施加激励,并通过检测其响应来验证逻辑是否正确的过程,如图2A所示。对于简单的逻辑,只需在用硬件描述语言(HDL)编写的测试平台中即可实现激励的提供和响应的比较,因此对于自动化的要求并不高。随着技术的发展,逻辑设计越来越复杂,逻辑的验证难度也大大增加,激励的提供和响应的检测需要采用多种方式实现,例如通过编写C语言程序实现激励数据的产生。对于算法逻辑,激励的产生和响应的检测常常涉及复杂的算法,因此需要采用Matlab、Cossap等算法仿真工具或者自己编写应用程序实现复杂的算法。The process of logic verification is the process of applying incentives to the object under test and verifying whether the logic is correct by detecting its response, as shown in Figure 2A. For simple logic, the provision of stimulus and comparison of responses can be realized only in a test bench written in a hardware description language (HDL), so the requirements for automation are not high. With the development of technology, the logic design becomes more and more complex, and the difficulty of logic verification is also greatly increased. The provision of incentives and the detection of responses need to be realized in various ways, such as the generation of incentive data by writing C language programs. For algorithmic logic, the generation of incentives and the detection of responses often involve complex algorithms, so it is necessary to use algorithm simulation tools such as Matlab and Cossap or write application programs to implement complex algorithms.

实现自动化最常用的办法就是提供统一的工作平台,并实现过程的脚本化。如图2B所示,完成一个测试任务可能需要很多资源,而仿真过程执行包含很多步骤,以往这些资源和步骤之间是相对独立和零散的,管理和执行的效率很低。The most common way to achieve automation is to provide a unified work platform and realize the scripting of the process. As shown in Figure 2B, many resources may be required to complete a test task, and the execution of the simulation process includes many steps. In the past, these resources and steps were relatively independent and scattered, and the efficiency of management and execution was very low.

参阅图3和图4所示,本发明的系统将资源有机的整合到一起,并通过脚本将仿真过程各个步骤串联起来,从而实现仿真过程的自动执行。Referring to Fig. 3 and Fig. 4, the system of the present invention organically integrates resources together, and connects various steps of the simulation process in series through scripts, thereby realizing the automatic execution of the simulation process.

图3显示了一台计算机用它来实施本发明的方法。计算机具有一个处理器,它通过总线和存储器相连接,同时还通过总线连接输入输出接口。Figure 3 shows a computer with which it can implement the method of the present invention. The computer has a processor, which is connected to the memory through the bus, and is also connected to the input and output interfaces through the bus.

存储器储存了仿真平台程序和相关数据。输入输出接口连接键盘、打印装置和显示器,验证结果和用户界面等通过显示器显示出来,验证结果还通过规定的格式由打印装置以文本形式输出。The memory stores the simulation platform program and related data. The input and output interface is connected with the keyboard, the printing device and the display, and the verification result and the user interface are displayed through the display, and the verification result is also output in text form by the printing device in a prescribed format.

图4为算法逻辑仿真平台结构,包括一个验证项目管理模块,该模块实现整个仿真项目的目录管理、测试用例的执行和回归测试执行。测试用例的执行是通过调用TCL验证脚本实现的。在平台中,TCL脚本起到“粘贴”的作用,用来将各种应用程序、工具集成起来,从而实现整个验证过程的自动化。此外,平台提供了用户扩展接口,用户可以方便的将自己需要的功能扩展为工具,在验证脚本中调用。例如,用户需要增加产生某种激励数据的功能,可以采用C或其它语言实现该功能并扩展为TCL命令,这样就可以在验证脚本中调用。Figure 4 shows the structure of the algorithm logic simulation platform, including a verification project management module, which realizes the directory management of the entire simulation project, the execution of test cases and the execution of regression tests. Execution of test cases is achieved by invoking TCL verification scripts. In the platform, TCL scripts play the role of "paste" and are used to integrate various applications and tools to automate the entire verification process. In addition, the platform provides a user extension interface, and users can easily expand the functions they need into tools and call them in verification scripts. For example, if the user needs to increase the function of generating some kind of incentive data, this function can be implemented in C or other languages and expanded into TCL commands, so that it can be called in the verification script.

算法逻辑自动化仿真平台采用的是TCL脚本语言。该平台不直接控制HDL仿真器,也不直接与仿真器进行数据交换,而是通过脚本间接调用仿真器达到仿真目的,因此可以兼容所有的HDL仿真器,作为通用的逻辑仿真平台。The algorithmic logic automation simulation platform uses the TCL scripting language. The platform does not directly control the HDL simulator, nor does it directly exchange data with the simulator, but indirectly calls the simulator through scripts to achieve the purpose of simulation, so it is compatible with all HDL simulators and serves as a general logic simulation platform.

参阅图7所示,算法逻辑测试平台的验证项目管理模块提供一用户界面。用户界面有三个主要区域:模式控制区、代码显示和编辑区以及状态区,另外还有菜单栏和工具栏。Referring to FIG. 7 , the verification project management module of the algorithmic logic test platform provides a user interface. The user interface has three main areas: the mode control area, the code display and editing area, and the status area, in addition to the menu bar and toolbar.

模式控制区中有三种模式可供选择,分别是测试任务、工具箱和代码浏览,测试任务主要进行测试任务的创建和管理,测试用例管理等功能,采用符合算法逻辑集成仿真规范的目录结构。代码浏览可以显示TCL脚本的基本结构,如名字空间及其中定义的子程序名,双击子程序名可以在右边代码显示和编辑区显示该子程序的代码。工具箱则包含了为具体测试项目开发的各种工具,如WCDMA上行接入信道激励信号产生。工具箱中各种工具提供图形用户界面,为浮动的窗口,用户可以在窗口中进行相关的参数设定。三种模式均采用导航树结构。There are three modes to choose from in the mode control area, which are test task, toolbox and code browsing. The test task is mainly used for the creation and management of test tasks, test case management and other functions, and adopts a directory structure that conforms to the algorithmic logic integration simulation specification. Code browsing can display the basic structure of TCL scripts, such as the name space and the subroutine name defined in it. Double-click the subroutine name to display the code of the subroutine in the code display and editing area on the right. The toolbox contains various tools developed for specific test items, such as WCDMA uplink access channel excitation signal generation. Various tools in the toolbox provide a graphical user interface, which is a floating window, and the user can set related parameters in the window. All three modes use a navigation tree structure.

参阅图5和图6所示,自动化仿真过程如下:Referring to Figure 5 and Figure 6, the automated simulation process is as follows:

步骤10:启动执行脚本开始验证项目;Step 10: Start the execution script to start verifying the project;

步骤20:执行脚本启动激励脚本和配置脚本分别产生激励信号和生成配置文件;Step 20: Execute the script to start the excitation script and the configuration script to generate the excitation signal and generate the configuration file respectively;

步骤30:执行脚本启动仿真器,由仿真器运行仿真脚本对被测对象进行仿真;Step 30: Execute the script to start the emulator, and the emulator runs the simulation script to simulate the object under test;

步骤40:被测对象接收激励信号和读取配置文件,并保存被测对象在仿真过程产生的响应数据;Step 40: the object under test receives the excitation signal and reads the configuration file, and saves the response data generated by the object under test during the simulation process;

步骤50:执行脚本启动数据对比脚本和结果分析脚本,将响应数据与预期值进行比较,输出分析结果。Step 50: Execute the script to start the data comparison script and the result analysis script, compare the response data with the expected value, and output the analysis result.

其中,执行脚本可为多个,由验证脚本依次启动该复数个执行脚本,以完成需要进行多个测试任务的验证项目。Wherein, there may be multiple execution scripts, and the multiple execution scripts are sequentially started by the verification script to complete the verification project requiring multiple test tasks.

为了实现对验证项目的统一管理和规范验证过程,本实施例将验证项目的目录固定下来。每个验证项目都采用同样的目录结构,使用通用的目录结构最大的好处是可以使用相对路径,编写可移植的脚本,而且方便查找文件。In order to realize the unified management of the verification items and standardize the verification process, this embodiment fixes the directory of the verification items. Each verification project uses the same directory structure. The biggest advantage of using a common directory structure is that you can use relative paths, write portable scripts, and find files easily.

目录结构根据算法逻辑验证的特点来确定。在逻辑验证中,对测试用例进行分组,同组的测试用例使用同一个测试平台(Testbench)。将一组测试用例和其对应的Testbench称为一个验证程序组。对于一个验证项目,可能存在多个验证程序组。参阅图8,测试用例与Testbench的对应关系。The directory structure is determined according to the characteristics of algorithm logic verification. In logic verification, test cases are grouped, and test cases in the same group use the same test platform (Testbench). A group of test cases and their corresponding Testbench is called a verification program group. There may be multiple validator groups for a validation project. Refer to Figure 8, the correspondence between test cases and Testbench.

参阅图9,图中示出了验证项目的的顶层目录结构:Refer to Figure 9, which shows the top-level directory structure of the verification project:

其中,图中子目录SoC_N为验证项目,每个验证项目包含第一至第六6个子目录,功能分别如下:Among them, the subdirectory SoC_N in the figure is the verification project, and each verification project contains the first to sixth subdirectories, and the functions are as follows:

第一子目录doc:存放相关的规格、设计和验证文档;The first subdirectory doc: store related specifications, design and verification documents;

第二子目录beh:存放可重用行为模型、公共子程序和函数等;The second subdirectory beh: stores reusable behavior models, public subroutines and functions, etc.;

第三子目录rtl:存放可综合的设计源代码;The third subdirectory rtl: store the design source code that can be synthesized;

第四子目录syn:存放综合脚本、网表以及综合产生的各种报告文件;The fourth subdirectory syn: stores the comprehensive script, netlist and various report files generated by synthesis;

第五子目录phy:存放约束文件、布局布线脚本、烧片文件以及布局布线过程中产生的各种报告文件;The fifth subdirectory phy: store constraint files, layout and routing scripts, burn-in files and various report files generated during the layout and routing process;

第六子目录verif:存放验证相关的文件,由验证程序组(verisuite)组成,一个程序组包括一组互相关联的测试文件,主要是testbench和与此testbench对应的一组测试用例(testcase)。每个testcase中又包括测试脚本、配置数据文件、激励数据文件、仿真结果数据文件和参考比对数据文件等。The sixth subdirectory verif: stores verification-related files, which is composed of a verification program group (verisuite). A program group includes a group of interrelated test files, mainly testbench and a group of test cases (testcase) corresponding to this testbench. Each testcase includes test scripts, configuration data files, stimulus data files, simulation result data files, and reference comparison data files.

第六子目录verif的目录结构如图10所示。该目录结构充分考虑了testbench的结构以及算法逻辑的特点。The directory structure of the sixth subdirectory verif is shown in FIG. 10 . The directory structure fully considers the structure of testbench and the characteristics of algorithm logic.

验证程序组子目录verisuite:称为验证程序组,存放为了验证某一类特性所需的测试文件。该组中的所有testcase都使用相同的testbench,每个测试用例具有不同的配置、激励、响应和参考比对数据;Verisuite subdirectory of the verification program group: called the verification program group, which stores the test files required to verify a certain type of characteristics. All testcases in this group use the same testbench, and each testcase has different configurations, stimuli, responses, and reference comparison data;

仿真工作子目录work:为仿真工作目录,存放仿真编译结果,并作为临时目录供仿真时进行文件拷贝操作;Simulation work subdirectory work: It is the simulation work directory, which stores the simulation compilation results, and serves as a temporary directory for file copy operations during simulation;

脚本子目录scripts:存放仿真中需要被调用的脚本;Script subdirectory scripts: store the scripts that need to be called in the simulation;

配置文件子目录config:存放配置文件;Configuration file subdirectory config: store configuration files;

激励文件子目录stimuli:存放激励数据文件;Stimuli file subdirectory stimuli: store stimulus data files;

仿真结果子目录result:存放仿真输出结果,仿真过程日志文件,代码覆盖率报告及缺陷跟踪表;Simulation result subdirectory result: store simulation output results, simulation process log files, code coverage reports and defect tracking tables;

对比数据子目录reference:存放仿真参考比对数据;Comparison data subdirectory reference: store simulation reference comparison data;

执行脚本子目录run.tcl:该测试用例的执行脚本,回归测试时执行的也是该脚本;Execution script subdirectory run.tcl: the execution script of the test case, which is also executed during the regression test;

说明文件子目录readme.txt:该测试用例的详细说明文件。Description file subdirectory readme.txt: detailed description file of the test case.

仿真平台的项目管理功能包括:The project management capabilities of the simulation platform include:

·验证项目的创建、删除、导入、导出・Creation, deletion, import, and export of authentication items

用户可以在测试根目录下,创建、删除、导入、导出验证项目。Users can create, delete, import, and export verification items under the test root directory.

·验证程序组的创建、删除、导入、导出Creation, deletion, import, and export of verification program groups

用户可以在verif目录下,创建、删除、导入、导出验证程序组。Users can create, delete, import, and export verifier groups under the verif directory.

·测试用例的创建、删除、导入、导出· Create, delete, import and export test cases

用户可以在verisuite目录下,创建、删除、导入、导出测试用例。Users can create, delete, import, and export test cases in the verisuite directory.

利用以上功能,验证人员可以很方便的实现测试代码的共享、重用、移植和归档。Using the above functions, verifiers can easily realize the sharing, reuse, porting and archiving of test codes.

测试用例脚本调用关系如图11所示(将testcase作为当前目录)。每个测试用例只有一个执行脚本(run.tcl),测试用例的执行通过运行该脚本实现。执行脚本将根据具体测试项目的情况,调用其它脚本。这些脚本包括仿真脚本、激励产生脚本、响应比较脚本和结果分析脚本等等。需要简单说明一下仿真脚本的调用方法,对Modelsim仿真器使用如下命令实现。The calling relationship of test case scripts is shown in Figure 11 (take testcase as the current directory). Each test case has only one execution script (run.tcl), and the execution of the test case is realized by running the script. Executing scripts will call other scripts according to the specific test items. These scripts include simulation scripts, stimulus generation scripts, response comparison scripts, and result analysis scripts, among others. It is necessary to briefly explain the calling method of the simulation script, and use the following command to implement the Modelsim simulator.

exec vsim-c-do./scripts/sim.tcl &exec vsim-c-do ./scripts/sim.tcl &

回归测试是逻辑验证过程必不可少的部分。使用算法逻辑仿真平台的测试调度器Scheduler,我们能够容易的将需要回归的测试用例加入回归测试组,并保存和自动运行。测试调度器允许用户按指定顺序建立回归测试组,并在指定的时间启动测试,顺序执行其中的测试脚本。Regression testing is an essential part of the logic verification process. Using the test scheduler Scheduler of the algorithmic logic simulation platform, we can easily add the test cases that need regression to the regression test group, save and run automatically. The test scheduler allows users to create regression test groups in a specified order, start the test at a specified time, and execute the test scripts in it sequentially.

用户扩展接口(平台中称为工具向导或工具箱,以下简称工具向导)作为算法逻辑仿真平台的一部分,也是平台中用户可以进行二次开发的部分,它具有很好的可扩展性和可重用性,界面如图12A。因为在逻辑测试活动中,每个逻辑都有自已不同的特点,用户为了完成验证,需要自己开发一些工具,如激励产生工具、结果分析工具、过程控制工具、脚本生成工具等等。使用用户扩展接口,可以使用户以最少的时间完成向平台增加功能。The user extension interface (called tool guide or toolbox in the platform, hereinafter referred to as tool guide) is a part of the algorithm logic simulation platform, and it is also a part of the platform where users can perform secondary development. It has good scalability and reusability properties, the interface is shown in Figure 12A. Because in logic testing activities, each logic has its own different characteristics, in order to complete the verification, users need to develop some tools by themselves, such as incentive generation tools, result analysis tools, process control tools, script generation tools, etc. Using the user extension interface can enable users to complete adding functions to the platform in the least time.

工具向导将一个工具需要配置的所有参数分成多个步骤配置,通过一步一步的参数配置来完成所有参数的配置。仿真平提供了工具向导的开发模板,按照此模板开发出来的工具向导,在界面风格、使用方法上都是一样的,这样任何人开发出来的工具向导都是标准的,别人都可以直接使用,而无须在使用方法上进行培训。工具向导完全采用TCL/TK语言开发的,可以在不同的操作系统上运行,具有很好的可移植性。The tool guide divides all parameters that need to be configured by a tool into multiple steps to configure, and completes the configuration of all parameters through step-by-step parameter configuration. Emulator provides a tool guide development template. The tool guides developed according to this template have the same interface style and usage methods. In this way, the tool guides developed by anyone are standard and can be used directly by others. No training is required on how to use it. The tool guide is completely developed in TCL/TK language, and can run on different operating systems, with good portability.

·工具向导的目录结构· Directory structure of the tool guide

在平台的根目录中有一个专门用来存放工具向导的文件夹ToolWizards,目录结构形式如图12B:In the root directory of the platform, there is a folder ToolWizards specially used to store tool wizards. The directory structure is shown in Figure 12B:

在平台的根目录下有一个目录ToolWizards,所有的工具向导都存放在这个目录中,在每个工具向导目录中又包括两个目录(存放流程图的images目录和存放实现工具的文件的目录pakcage)和两个文件(工具向导界面实现TCL文件和wordpro格式的帮助文件),其中工具向导界面实现的TCL文件已做成模板文件,用户只需进行简单修改即可完成工具的开发。There is a directory ToolWizards under the root directory of the platform, all tool wizards are stored in this directory, and each tool wizard directory includes two directories (images directory for storing flowcharts and directory pakcage for storing files implementing tools ) and two files (the TCL file realized by the tool guide interface and the help file in wordpro format), among which the TCL file realized by the tool guide interface has been made into a template file, and the user only needs to make simple modifications to complete the development of the tool.

·工具向导的界面说明·Interface description of the tool guide

工具向导只包括三种不同的界面,分别是工具信息(起始步)、参数配置(中间步)和完成(结束步)的页面,其中参数配置可以包括多个页面。The tool wizard only includes three different interfaces, which are tool information (start step), parameter configuration (intermediate step) and completion (end step) pages, and the parameter configuration can include multiple pages.

工具信息界面是工具启动后显示的页面,主要显示一些工具的基本信息,使用户对该工具有一个基本的了解。点击左下方的按钮[Help]可以打开本工具帮助文档。工具信息界面如图13所示。The tool information interface is the page displayed after the tool is started, which mainly displays some basic information of the tool, so that the user can have a basic understanding of the tool. Click the button [Help] on the lower left to open the help document of this tool. The tool information interface is shown in Figure 13.

参数配置是工具向导的主要部分,这部分完成工具所有步骤的参数配置,每一个步骤对应一个页面。每个页面都由提示部分和参数配置部分组成,提示部分主要指示本步在整个工具工作流程中的位置,由用户提供所需的图片,嵌入到此页面中,让用户明白现在配置的参数对应工作流程的哪一部分;参数配置部分以可视化方式让用户对参数进行方便的配置。点击左下方的按钮[Help]可以打开本工具帮助文档;点击右下方的按钮[Next>>]可进入参数配置步的下一步参数配置;点击右下方的按钮[<<Back]可返回前一个页面;右上方的下拉式组合框是所有参数步骤的列表,它提供了一个进入其它参数配置页面的快速通道,选择不同的配置步骤可直接进入相应的步骤页面。参数配置界面如图14所示。Parameter configuration is the main part of the tool wizard. This part completes the parameter configuration of all steps of the tool, and each step corresponds to a page. Each page is composed of a prompt part and a parameter configuration part. The prompt part mainly indicates the position of this step in the entire tool workflow. The user provides the required picture and embeds it into this page to let the user understand the corresponding parameters of the current configuration. Which part of the workflow; the parameter configuration part allows users to configure parameters conveniently in a visual way. Click the button [Help] on the lower left to open the help document of this tool; click the button [Next>>] on the lower right to enter the next parameter configuration of the parameter configuration step; click the button [<<Back] on the lower right to return to the previous one page; the drop-down combo box on the upper right is a list of all parameter steps, which provides a quick channel to enter other parameter configuration pages, and you can directly enter the corresponding step page by selecting a different configuration step. The parameter configuration interface is shown in Figure 14.

如图15所示,完成页面是工具向导的最后一个步骤,页面的左面是参数列表,是所有参数配置情况的一个汇总,将已经配置的所有参数值列出来,参数的值在这里是不能修改的,如果用户需要修改可返回相应的步骤进行修改,这里每个参数名称前都加了一个数字,指示该参数属于哪一步;右边是工具脚本命令编辑区,当用户点击下面的按钮[Make]时便将左边列表中的参数代入工具实现的命令里形成一个TCL脚本命令,显示在工具脚本编辑区里,用户可以在编辑区里对工具脚本进行修改,也可以直接复制和粘贴到验证脚本中;下面是一排命令操作按钮,依次为[Help]:打开本工具的帮助文档,[Clear]:清除工具脚本编辑区的内容,[Make]:生成工具脚本并显示在编辑区,[Insert]:将编辑区的内容插入到平台的脚本编辑。As shown in Figure 15, completing the page is the last step of the tool wizard. The left side of the page is the parameter list, which is a summary of all parameter configurations. It lists all the configured parameter values. The parameter values cannot be modified here. Yes, if the user needs to modify, they can go back to the corresponding step for modification. Here, a number is added before each parameter name to indicate which step the parameter belongs to; the tool script command editing area is on the right, when the user clicks the button below [Make] Then substitute the parameters in the list on the left into the command implemented by the tool to form a TCL script command, which will be displayed in the tool script editing area. The user can modify the tool script in the editing area, or directly copy and paste it into the verification script. ; Below is a row of command operation buttons, which are [Help]: open the help document of this tool, [Clear]: clear the content of the tool script editing area, [Make]: generate the tool script and display it in the editing area, [Insert] : Insert the content of the editing area into the script editor of the platform.

·六种基本控件介绍·Introduction to six basic controls

在每个参数配置页面里,提供了六种基本控件,这六种控件可以满足输入参数的所有情况,下面分别介绍:In each parameter configuration page, six basic controls are provided, which can satisfy all situations of input parameters, and are introduced below:

A、下拉式组合框(ComboBox),用于选择多个选择中的一个,选项在10个以下的情况,控件属性格式为{“第一个值”“第二个值”“第三个值”“第四个值”“第五个值”}A. A drop-down combo box (ComboBox), used to select one of multiple choices. When there are less than 10 options, the format of the control property is {"first value" "second value" "third value" ""fourth value""fifth value"}

B、开关控件(checkbutton),用于二选一的情况,控件属性格式为{“显示的内容”“打上勾时取值”“去掉勾时取值”},如{“双天线打开”“1”“0”}B. The switch control (checkbutton) is used in the case of choosing one of the two. The control attribute format is {"displayed content", "value when ticked" and "value when the check is removed"}, such as {"double antenna open"" 1" "0"}

C、数值调整控件(SpinBox),用于数值变化有规律的数据选择,一般选项超过10个以上,控件属性格式为{最小值最大值变化步长},如{0 100 5}C. Numerical adjustment control (SpinBox), used for data selection with regular numerical changes. Generally, there are more than 10 options, and the control attribute format is {minimum value, maximum value change step size}, such as {0 100 5}

D、文本输入框(entry),用于输入文本,包括数字,用于无规律的文本或数字输入,控件属性格式为空,即{}D. Text input box (entry), used to input text, including numbers, used for irregular text or number input, the control attribute format is empty, ie {}

E、收音机按钮(radiobutton),用于从少量选项中选一的情况,选项不超过4个,控件属性格式为{“第一种情况”“第一种情况取值”“第二种情况”“第二种情况取值”“第三种情况”“第三种情况取值”“第四种情况”“第四种情况取值”}E. Radio button (radiobutton), which is used to select one of a few options, and there are no more than 4 options. The format of the control attribute is {"the first case" "the value of the first case" "the second case"" The value of the second case" "the third case" "the value of the third case" "the fourth case" "the value of the fourth case"}

F、文件选择框(entry),用于选择文件名,如选择输入或输出文件,控件属性格式为{“I或O”},I表示所选文件为输入文件,O表示所选文件为输出文件。F. The file selection box (entry), used to select the file name, such as selecting an input or output file, the control attribute format is {"I or O"}, I indicates that the selected file is an input file, O indicates that the selected file is an output document.

·控件位置· Control position

在每个参数配置页面里,有8个摆放控件的位置,其分布和位置编号如图16所示:图中的每个位置可以放一个短控件(控件A、B、C、D中一个),位于同一行的两个位置(即1和2、3和4、5和6)可以放一个长控件(控件E、F中的一个),这样在每个页面中最多可以放8个短控件或者4个长控件,如果既有长控件也有短控件,则其控件个数在4个至8个之间。所以在每个步骤中最多只能配置8个参数,如果有更多的参数,可以拆分为多个步骤进行配置。In each parameter configuration page, there are 8 positions for placing controls, and their distribution and position numbers are shown in Figure 16: each position in the figure can place a short control (one of controls A, B, C, and D) ), two positions on the same line (ie 1 and 2, 3 and 4, 5 and 6) can place a long control (one of the controls E, F), so that up to 8 short controls can be placed on each page Control or 4 long controls, if there are both long controls and short controls, the number of controls is between 4 and 8. Therefore, you can only configure up to 8 parameters in each step. If there are more parameters, you can split them into multiple steps for configuration.

·工具向导开发步骤·Tool wizard development steps

下面介绍在算法逻辑测试平台上开发工具的一般步骤。The general steps for developing tools on the algorithmic logic test platform are described below.

首先,要实现工具,本平台的工具向导支持下面的三种实现形式的工具:First of all, to realize the tool, the tool wizard of this platform supports the following three implementation forms of tools:

1)用C/C++实现并扩展为TCL命令的DLL二进制包;1) A DLL binary package implemented in C/C++ and expanded into a TCL command;

2)用纯粹的TCL实现的包;2) Packages implemented in pure TCL;

3)带参数的可执行文件(后缀为exe)。3) An executable file (suffixed as exe) with parameters.

然后,需要对的工具的配置参数进行模块划分,形成多个配置步骤,最好按照工具的工作流程进行划分,这样将需要配置的所有参数划分成多个步骤来配置。模块划分的原则是要能体现出工具的工作流程,划分成的各个步骤之间要有较紧密的联系。然后将这些步骤画成流程图,用于该步骤中的图片提示,例如分成两个步骤的流程图如图17A所示。Then, the configuration parameters of the tools need to be divided into modules to form multiple configuration steps. It is best to divide them according to the workflow of the tools, so that all parameters that need to be configured are divided into multiple steps for configuration. The principle of module division is to be able to reflect the workflow of the tool, and there must be a relatively close relationship between the divided steps. Then draw these steps into a flow chart for the picture prompt in this step, for example, a flow chart divided into two steps is shown in FIG. 17A .

例如WCDMA上行专用信道激励数据产生工具工作流程图如图18所示:For example, the work flow diagram of the WCDMA uplink dedicated channel excitation data generation tool is shown in Figure 18:

接下来就要开始制作显示在每一个步骤中对应的图片,每个步骤中的提示图片可以是不一样的,基本的要求是要能起到提示的作用,让用户看了图片后知道这个步骤中要配置的参数是起什么作用的。在配置相应步骤的参数时,建议将上面画好的流程图中的该步以加强色彩的形式体现,这样制作起来简单,但有较强的提示作用。制作好的两个步骤中的提示图片如下面所示:The next step is to create the corresponding pictures displayed in each step. The prompt pictures in each step can be different. The basic requirement is to be able to serve as a reminder, so that users can know this step after viewing the pictures. What is the role of the parameters to be configured in . When configuring the parameters of the corresponding steps, it is recommended to reflect the steps in the flow chart drawn above in the form of enhanced colors, which is simple to make but has a strong prompting effect. The prompt pictures in the two steps that have been made are as follows:

第一个步骤中的流程图(image1.gif)如图17B所示;第二个步骤中的流程图(image2.gif)如图17C所示。The flowchart (image1.gif) in the first step is shown in Figure 17B; the flowchart in the second step (image2.gif) is shown in Figure 17C.

规划好工具的步骤和各个步骤中要配置的参数后,就可以开始修改工具向导界面实现的TCL模板文件,按照下面附件中提供的模板(DemoWizard.tcl,可改为自己的名字)进行修改。只需修改用户设置部分的变量取值,其它模块无须做任何修改。After planning the steps of the tool and the parameters to be configured in each step, you can start to modify the TCL template file implemented by the tool wizard interface, and modify it according to the template (DemoWizard.tcl, which can be changed to your own name) provided in the attachment below. You only need to modify the variable value of the user setting part, and other modules do not need to make any modifications.

本发明能够通过脚本将各种资源有机的结合到验证流程中,具有很好的扩展性、可重复性和可重用性,提高验证的效率和自动化程度。The invention can organically combine various resources into the verification process through scripts, has good scalability, repeatability and reusability, and improves the efficiency and automation of verification.

Claims (14)

1, a kind of automation simulation method is characterized in that the method comprising the steps of:
Start the execution script and begin the checking project;
Carrying out script startup excitation script and configuration script produces pumping signal respectively and generates configuration file;
Carry out script startup emulator operation emulation script measurand is carried out emulation, measurand receives pumping signal and reads configuration file, and preserves the response data that simulation process produces;
Carry out script startup data contrast script and interpretation of result script, response data and desired value are compared, the output analysis result.
2, the method for claim 1 is characterized in that, described execution script is a plurality of, starts this a plurality of execution scripts successively by the checking script, to finish the checking project that need carry out a plurality of test assignments.
3, method as claimed in claim 1 or 2 is characterized in that, the checking project all adopts fixed schedule structure organization associated documents.
4, method as claimed in claim 3 is characterized in that, the bibliographic structure of checking project comprises:
First sub-directory is used to preserve relevant specification, design and identifying file;
Second sub-directory is used to preserve reusable behavior model, public subroutine and function;
The 3rd sub-directory, be used to preserve can be comprehensive design source code;
The 4th sub-directory is used to preserve comprehensive script, net table and the comprehensive various report file that produces;
The 5th sub-directory is used for preserving the various report file that unbound document, placement-and-routing's script, firm file and placement-and-routing's process produce;
The 6th sub-directory is used for preserving the checking associated documents.
5, method as claimed in claim 4 is characterized in that: the 6th sub-directory further comprises:
The simulation work sub-directory is preserved emulation compiling result, and carries out the document copying operation during for emulation as temp directory;
Proving program group sub-directory is used to deposit in order to verify the required test file of a certain class feature of measurand.
6, method as claimed in claim 5 is characterized in that: proving program group sub-directory comprises the identical test of a plurality of bibliographic structures row sub-directory, and each test case sub-directory further comprises:
The script catalogue is used for preserving emulation and needs invoked script;
The configuration file catalogue is used to preserve configuration file;
The excitation file directory is used to preserve the excited data file;
The simulation result catalogue is used to preserve emulation output result, simulation process journal file, code coverage report and defective Track Table;
The correlation data catalogue is used to preserve emulation with reference to the comparison data;
Carry out the script catalogue, be used to preserve the execution script of this test case;
The supporting paper catalogue is used to preserve the detailed description file of this test case.
7, method as claimed in claim 1 or 2 is characterized in that: described checking project and proof procedure carry out unified management by the checking project management module, and this checking project management module provides a user interface to verify the project management operation for the user.
8, method as claimed in claim 7 is characterized in that, the checking project management module provides user's expansion interface by user interface, and the user verifies the project management module function by this user's expansion interface developing instrument to increase.
9, method as claimed in claim 8 is characterized in that, described expansion interface provides instrument guide development template, to develop the instrument guide of standard.
10, a kind of automation simulation system comprises the processor that is used for data processing, is used for stored programme and memory of data, it is characterized in that this system also has emulation platform, and this simulation table comprises:
Checking script module: constitute by the command set that starts the execution script, be used for starting the execution script and carry out test with being listed as;
Emulator module: start by carrying out pin, be used to move the emulation script and carry out emulation;
Checking projects module: comprise the associated documents module that proof procedure is required, and adopt the described associated documents module of fixed schedule structure organization;
Checking project management module: be used to realize the directory management of whole checking projects module, execution and the regression test execution that row are used in test, and provide a user interface for the project management operation.
11, analogue system as claimed in claim 10 is characterized in that also comprising user's expansion connection module, increases instrument by this expansion connection module to emulation platform.
12, analogue system as claimed in claim 11 is characterized in that described user's expansion connection module comprises instrument guide development module, goes out the instrument of standard by this Development of Module.
13, as the described analogue system of one of claim 10 to 12, it is characterized in that: the bibliographic structure of checking projects module comprises:
First sub-directory is used to preserve relevant specification, design and identifying file;
Second sub-directory is used to preserve reusable behavior model, public subroutine and function;
The 3rd sub-directory, be used to preserve can be comprehensive design source code;
The 4th sub-directory is used to preserve comprehensive script, net table and the comprehensive various report file that produces;
The 5th sub-directory is used for preserving the various report file that unbound document, placement-and-routing's script, firm file and placement-and-routing's process produce;
The 6th sub-directory is used for preserving the checking associated documents.
14, analogue system as claimed in claim 13 is characterized in that: the 6th sub-directory further comprises:
The simulation work sub-directory is preserved emulation compiling result, and carries out the document copying operation during for emulation as temp directory;
Proving program group sub-directory is used to deposit in order to verify the required test file of a certain class feature of measurand.
Wherein: proving program group sub-directory comprises the identical test of a plurality of bibliographic structures row sub-directory, and each test case sub-directory further comprises:
The script sub-directory is used for preserving emulation and needs invoked script;
The configuration file sub-directory is used to preserve configuration file;
Excitation file sub-directory is used to preserve the excited data file;
The simulation result sub-directory is used to preserve emulation output result, simulation process journal file, code coverage report and defective Track Table;
The correlation data sub-directory is used to preserve emulation with reference to the comparison data;
Carry out the script sub-directory, be used to preserve the execution script of this test case;
The supporting paper sub-directory is used to preserve the detailed description file of this test case.
CNB031592635A 2003-07-01 2003-09-12 Automation emulation method and system Expired - Fee Related CN100514296C (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CNB031592635A CN100514296C (en) 2003-07-01 2003-09-12 Automation emulation method and system

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
CN03145550 2003-07-01
CN03145550.6 2003-07-01
CNB031592635A CN100514296C (en) 2003-07-01 2003-09-12 Automation emulation method and system

Publications (2)

Publication Number Publication Date
CN1577274A true CN1577274A (en) 2005-02-09
CN100514296C CN100514296C (en) 2009-07-15

Family

ID=34593059

Family Applications (1)

Application Number Title Priority Date Filing Date
CNB031592635A Expired - Fee Related CN100514296C (en) 2003-07-01 2003-09-12 Automation emulation method and system

Country Status (1)

Country Link
CN (1) CN100514296C (en)

Cited By (32)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN100359488C (en) * 2005-08-19 2008-01-02 华为技术有限公司 A Method for Automatic Generation of Random Incentives Based on Functional Coverage
CN102184131A (en) * 2011-04-13 2011-09-14 中兴通讯股份有限公司 Simulation verification method and device for SoC (system on a chip)
CN101398778B (en) * 2007-09-29 2011-09-21 中兴通讯股份有限公司 Automatic integration test method
CN102262394A (en) * 2010-05-24 2011-11-30 通用汽车环球科技运作有限责任公司 Vehicle system modeling systems and methods
CN102541830A (en) * 2010-12-21 2012-07-04 深圳市恒扬科技有限公司 Method and device for generating simulation report in simulation platform
CN103455672A (en) * 2013-08-29 2013-12-18 上海北大方正科技电脑系统有限公司 Automatic regression method of FPGA (Field Programmable Gate Array) simulation test cases
CN103617310A (en) * 2013-11-05 2014-03-05 南阳理工学院 Simulation platform for parallel switching systems
CN103914331A (en) * 2012-12-28 2014-07-09 北京中电华大电子设计有限责任公司 Emulator supporting multi-chip configuration function
CN105242997A (en) * 2015-08-11 2016-01-13 中国航空工业集团公司西安飞机设计研究所 Automatic test method and apparatus for airborne computer
CN105389200A (en) * 2015-12-16 2016-03-09 浪潮(北京)电子信息产业有限公司 Multi-group stimulation batch simulation method and system applied to super-large scale chip verification
CN101932127B (en) * 2009-06-23 2016-05-18 上海摩波彼克半导体有限公司 The method for designing of digital baseband chip, GSM channel coding/decoding and implementation method
CN106202680A (en) * 2016-07-01 2016-12-07 深圳市紫光同创电子有限公司 FPGA configuration control module verification method and device
CN106777729A (en) * 2016-12-26 2017-05-31 中核控制系统工程有限公司 A kind of algorithms library simulation and verification platform implementation method based on FPGA
CN107239400A (en) * 2017-06-09 2017-10-10 山东超越数控电子有限公司 A kind of NandFlash abrasion equilibriums emulation platform
CN108108306A (en) * 2018-02-09 2018-06-01 盛科网络(苏州)有限公司 A kind of method and system for improving packet parsing test coverage
CN108873735A (en) * 2018-06-29 2018-11-23 许继集团有限公司 A kind of distribution main station system component simulation testing device and method
CN109669914A (en) * 2018-11-15 2019-04-23 深圳壹账通智能科技有限公司 Item file storage method, device, equipment and computer readable storage medium
CN109684189A (en) * 2017-10-18 2019-04-26 富士通株式会社 The logic verification method and device and computer storage medium of block chain intelligence contract
CN109739766A (en) * 2018-12-29 2019-05-10 湖北航天技术研究院总体设计所 A kind of system and method for fast construction FPGA digital simulation model
CN110096404A (en) * 2019-05-06 2019-08-06 盛科网络(苏州)有限公司 A kind of automation SoC verification method and device based on bare machine code
CN110688269A (en) * 2019-09-12 2020-01-14 武汉极目智能技术有限公司 RTL code automatic verification device and method adopting AXI bus interface
CN110908354A (en) * 2018-09-17 2020-03-24 浙江宇视科技有限公司 Automatic test detection device and method
CN111400979A (en) * 2020-03-24 2020-07-10 杭州博雅鸿图视频技术有限公司 SOC simulation method, system, electronic device and storage medium
CN111736815A (en) * 2020-06-28 2020-10-02 武汉精立电子技术有限公司 Test file script modular development tool, system and method
CN113010227A (en) * 2021-03-18 2021-06-22 南京仁谷系统集成有限公司 Simulation platform implementation method based on model drive
CN114139473A (en) * 2021-12-03 2022-03-04 中车青岛四方机车车辆股份有限公司 Logic circuit testing method, related assembly and vehicle
CN114662430A (en) * 2021-12-17 2022-06-24 芯华章科技股份有限公司 Regression testing method, equipment and storage medium for design to be tested
CN114692539A (en) * 2022-03-30 2022-07-01 广州万协通信息技术有限公司 Method for realizing parallel verification of SOC (System on chip) chip verification architecture
CN115688659A (en) * 2022-11-09 2023-02-03 紫光同芯微电子有限公司 Verification method based on digital-analog circuit hybrid simulation and related product
CN116128448A (en) * 2023-01-09 2023-05-16 苏州异格技术有限公司 Design data processing method and device for FPGA engineering project and electronic equipment
CN119781807A (en) * 2024-11-19 2025-04-08 北京蓝天航空科技股份有限公司 Method for generating configuration file of visual system
CN120257919A (en) * 2025-06-06 2025-07-04 巨霖科技(上海)有限公司 Integrated circuit model verification method, system, computer equipment and storage medium

Cited By (42)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN100359488C (en) * 2005-08-19 2008-01-02 华为技术有限公司 A Method for Automatic Generation of Random Incentives Based on Functional Coverage
CN101398778B (en) * 2007-09-29 2011-09-21 中兴通讯股份有限公司 Automatic integration test method
CN101932127B (en) * 2009-06-23 2016-05-18 上海摩波彼克半导体有限公司 The method for designing of digital baseband chip, GSM channel coding/decoding and implementation method
CN102262394A (en) * 2010-05-24 2011-11-30 通用汽车环球科技运作有限责任公司 Vehicle system modeling systems and methods
CN102262394B (en) * 2010-05-24 2017-04-12 通用汽车环球科技运作有限责任公司 Vehicle system modeling systems and methods
CN102541830A (en) * 2010-12-21 2012-07-04 深圳市恒扬科技有限公司 Method and device for generating simulation report in simulation platform
CN102541830B (en) * 2010-12-21 2013-12-25 深圳市恒扬科技有限公司 Method and device for generating simulation report in simulation platform
CN102184131A (en) * 2011-04-13 2011-09-14 中兴通讯股份有限公司 Simulation verification method and device for SoC (system on a chip)
CN102184131B (en) * 2011-04-13 2015-08-12 中兴通讯股份有限公司 The emulation verification method of SOC (system on a chip) and device
CN103914331A (en) * 2012-12-28 2014-07-09 北京中电华大电子设计有限责任公司 Emulator supporting multi-chip configuration function
CN103455672A (en) * 2013-08-29 2013-12-18 上海北大方正科技电脑系统有限公司 Automatic regression method of FPGA (Field Programmable Gate Array) simulation test cases
CN103455672B (en) * 2013-08-29 2016-09-14 上海北大方正科技电脑系统有限公司 A kind of FPGA emulation testing use-case automatization homing method
CN103617310A (en) * 2013-11-05 2014-03-05 南阳理工学院 Simulation platform for parallel switching systems
CN105242997A (en) * 2015-08-11 2016-01-13 中国航空工业集团公司西安飞机设计研究所 Automatic test method and apparatus for airborne computer
CN105389200A (en) * 2015-12-16 2016-03-09 浪潮(北京)电子信息产业有限公司 Multi-group stimulation batch simulation method and system applied to super-large scale chip verification
CN106202680A (en) * 2016-07-01 2016-12-07 深圳市紫光同创电子有限公司 FPGA configuration control module verification method and device
CN106777729A (en) * 2016-12-26 2017-05-31 中核控制系统工程有限公司 A kind of algorithms library simulation and verification platform implementation method based on FPGA
CN107239400A (en) * 2017-06-09 2017-10-10 山东超越数控电子有限公司 A kind of NandFlash abrasion equilibriums emulation platform
CN109684189B (en) * 2017-10-18 2022-02-11 富士通株式会社 Logic verification method and device for blockchain smart contract and computer storage medium
CN109684189A (en) * 2017-10-18 2019-04-26 富士通株式会社 The logic verification method and device and computer storage medium of block chain intelligence contract
CN108108306A (en) * 2018-02-09 2018-06-01 盛科网络(苏州)有限公司 A kind of method and system for improving packet parsing test coverage
CN108108306B (en) * 2018-02-09 2021-10-15 苏州盛科通信股份有限公司 Method and system for improving message analysis test coverage rate
CN108873735B (en) * 2018-06-29 2021-11-19 许继集团有限公司 Power distribution main station system component simulation test device and method
CN108873735A (en) * 2018-06-29 2018-11-23 许继集团有限公司 A kind of distribution main station system component simulation testing device and method
CN110908354A (en) * 2018-09-17 2020-03-24 浙江宇视科技有限公司 Automatic test detection device and method
CN109669914A (en) * 2018-11-15 2019-04-23 深圳壹账通智能科技有限公司 Item file storage method, device, equipment and computer readable storage medium
CN109739766B (en) * 2018-12-29 2022-04-29 湖北航天技术研究院总体设计所 System and method for rapidly building FPGA digital simulation model
CN109739766A (en) * 2018-12-29 2019-05-10 湖北航天技术研究院总体设计所 A kind of system and method for fast construction FPGA digital simulation model
CN110096404A (en) * 2019-05-06 2019-08-06 盛科网络(苏州)有限公司 A kind of automation SoC verification method and device based on bare machine code
CN110688269A (en) * 2019-09-12 2020-01-14 武汉极目智能技术有限公司 RTL code automatic verification device and method adopting AXI bus interface
CN110688269B (en) * 2019-09-12 2023-03-14 武汉极目智能技术有限公司 RTL code automatic verification device and method adopting AXI bus interface
CN111400979A (en) * 2020-03-24 2020-07-10 杭州博雅鸿图视频技术有限公司 SOC simulation method, system, electronic device and storage medium
CN111736815A (en) * 2020-06-28 2020-10-02 武汉精立电子技术有限公司 Test file script modular development tool, system and method
CN113010227A (en) * 2021-03-18 2021-06-22 南京仁谷系统集成有限公司 Simulation platform implementation method based on model drive
CN114139473A (en) * 2021-12-03 2022-03-04 中车青岛四方机车车辆股份有限公司 Logic circuit testing method, related assembly and vehicle
CN114662430A (en) * 2021-12-17 2022-06-24 芯华章科技股份有限公司 Regression testing method, equipment and storage medium for design to be tested
CN114692539A (en) * 2022-03-30 2022-07-01 广州万协通信息技术有限公司 Method for realizing parallel verification of SOC (System on chip) chip verification architecture
CN115688659A (en) * 2022-11-09 2023-02-03 紫光同芯微电子有限公司 Verification method based on digital-analog circuit hybrid simulation and related product
CN116128448A (en) * 2023-01-09 2023-05-16 苏州异格技术有限公司 Design data processing method and device for FPGA engineering project and electronic equipment
CN116128448B (en) * 2023-01-09 2023-10-17 苏州异格技术有限公司 Design data processing method and device for FPGA engineering project and electronic equipment
CN119781807A (en) * 2024-11-19 2025-04-08 北京蓝天航空科技股份有限公司 Method for generating configuration file of visual system
CN120257919A (en) * 2025-06-06 2025-07-04 巨霖科技(上海)有限公司 Integrated circuit model verification method, system, computer equipment and storage medium

Also Published As

Publication number Publication date
CN100514296C (en) 2009-07-15

Similar Documents

Publication Publication Date Title
CN1577274A (en) Automation emulation method and system
CN112270149B (en) Verification platform automatic integration method and system, electronic equipment and storage medium
US8745592B1 (en) Input selection for automatic test suite generation
US8271950B2 (en) Test generation from captured user interface status
CN104268310B (en) The method that UVM verification environment is called using special graphical interface
CN108399130A (en) Method, device and equipment for automatically generating test case and readable storage medium
CN103123605B (en) A kind of Android platform automatic integration test method and device
CN1755647A (en) Test automation stack layering
CN101046767A (en) Method and system for automated testing of a graphic-based programming tool
CN1928816A (en) Model drive for embedded system software and component development method
CN111143228B (en) Test code generation method and device based on decision table method
CN101960419B (en) System and method for building operating system image for embedded device
CN1838089A (en) Method and apparatus for executing unit tests in application host environment
Magrin et al. A simulation execution manager for ns-3: Encouraging reproducibility and simplifying statistical analysis of ns-3 simulations
CN103176894B (en) A kind of test data automatic derivatization method and apparatus of data base-oriented
US7895575B2 (en) Apparatus and method for generating test driver
CN1295778C (en) Method for verifying consistency of chip hardware behavior and software simulation behavior
Kim et al. Performance testing based on test-driven development for mobile applications
CN1734458A (en) Method and system for modeling electronic devices
CN112306844A (en) Interface testing method, device, equipment and storage medium of software development system
US10095822B1 (en) Memory built-in self-test logic in an integrated circuit design
JP2003228493A (en) Program test automatic execution device, program test automatic execution method, and program test automatic execution program
JP2007172444A (en) Verification work support system and method therefor
CN108334313A (en) Continuous integrating method, apparatus and code management system for large-scale SOC research and development
CN100347683C (en) Structure-irrelevant micro-processor verification and evaluation method

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20090715

Termination date: 20160912