CN110727583B - Method for constructing verification environment based on extensible verification component - Google Patents

Method for constructing verification environment based on extensible verification component Download PDF

Info

Publication number
CN110727583B
CN110727583B CN201910845696.0A CN201910845696A CN110727583B CN 110727583 B CN110727583 B CN 110727583B CN 201910845696 A CN201910845696 A CN 201910845696A CN 110727583 B CN110727583 B CN 110727583B
Authority
CN
China
Prior art keywords
verification
component
environment
components
extensible
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.)
Active
Application number
CN201910845696.0A
Other languages
Chinese (zh)
Other versions
CN110727583A (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.)
Wuxi Jiangnan Computing Technology Institute
Original Assignee
Wuxi Jiangnan Computing Technology Institute
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 Wuxi Jiangnan Computing Technology Institute filed Critical Wuxi Jiangnan Computing Technology Institute
Priority to CN201910845696.0A priority Critical patent/CN110727583B/en
Publication of CN110727583A publication Critical patent/CN110727583A/en
Application granted granted Critical
Publication of CN110727583B publication Critical patent/CN110727583B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3664Environments for testing or debugging software

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

The invention relates to the technical field of chip verification, in particular to a method for constructing a verification environment based on an extensible verification component. The invention is realized by the following technical scheme: a method for building a verification environment based on extensible verification components comprises the following steps: and an environment component sorting step: analyzing the environment components, and sequencing according to the expandability and universality of the components; element layering: the system is divided into a plurality of element layers from bottom to bottom, and the element with the best expandability and universality is placed at the bottom layer; a verification component forming step; a verification environment framework definition step: and filling the verification components by using a script component library to form a verification environment for actual operation. The invention aims to provide a method for constructing a verification environment based on an extensible verification component, which can be used for rapidly constructing the verification environment in a targeted manner even in the face of verification of a complex chip, and greatly improving the construction efficiency of the verification environment.

Description

Method for constructing verification environment based on extensible verification component
Technical Field
The invention relates to the technical field of chip verification, in particular to a method for constructing a verification environment based on an extensible verification component.
Background
The SOC, i.e. the System on Chip, is called a System on Chip or a System on Chip, and the design verification process of the SOC is very important, which affects not only the successful design of the Chip, but also the Time To Market (TTM) of the Chip, and the correct completion of verification and the reduction of Time consumption become the keys of SOC design. The basic work in the chip verification field of the chip verification environment improves the verification efficiency of the SoC chip and shortens the research and development time; the design risk of the complex chip is reduced, and the correctness of the chip is ensured.
The verification process of the complex chip is large in scale, and the verification TTR (Time To Result) is also required To be as small as possible. Therefore, the verification environment needs to be constructed quickly, and the correctness of the environment needs to be high, so that errors in design can be found more quickly and better, and the development time of a chip is shortened.
In conventional chip functional verification, a verification engineer needs to develop a large number of tests to observe and check errors in the chip design by a manual method. However, when the chip scale is developed to a certain extent, this method is obviously no longer satisfactory for the product. At this stage, as a chip verification platform disclosed in chinese patent document No. 106202638A, a UVM platform of a chip to be verified is built using a UVM, i.e., a universal verification methodology. The method is a more common verification technical means in the industry, and the virtual model is developed, and the incentive has better reusability and inheritance, but the technical scheme still has a defect in the link of how to construct a verification environment.
In different projects, elements of a verification environment, such as a target design, a verification tool, a verification method, and the like, are different. Often, the verification engineer needs to build a customized verification environment to match the design and verification elements by means of the verification elements. Therefore, the technical defect of poor expansibility is formed, and particularly, when a complex chip is used by adopting hierarchical and various verification technical means, a plurality of verification environments need to be constructed, and the environment construction efficiency is particularly important.
Disclosure of Invention
The invention aims to provide a method for constructing a verification environment based on an extensible verification component, which can be used for rapidly constructing the verification environment in a targeted manner even in the face of verification of a complex chip, and greatly improving the construction efficiency of the verification environment.
The technical purpose of the invention is realized by the following technical scheme: a method for constructing a verification environment based on extensible verification components comprises the following steps:
s01, an environment component element sorting step:
analyzing the desired environment components, and sequencing according to the expandability and universality of all the components;
s02, element layering:
the system is divided into a plurality of element layers from top to bottom, and the element with the best expandability and universality is placed at the bottom layer;
s03, verifying component forming:
converting all the constituent elements of each element layer into independent verification components;
s04, defining a verification environment framework:
and filling the verification components by using a script component library to form a verification environment for actual operation.
In the step of S02 and element layering, the element is preferably divided into three element layers, namely, a bottom layer, a middle layer and an upper layer.
Preferably, the verification component at the bottom layer comprises a simulation tool component and a waveform tracking component.
Preferably, the verification component located at the bottom layer further comprises a coverage rate collection analysis component and a result retrieval component.
Preferably, the verification component located in the middle layer includes a virtual model component, an excitation component, a verification component and a parameter component.
Preferably, the verification component located at the upper layer includes a design component to be tested and a testbench component.
As the optimization of the invention, different verification environments are set up, and the verification assemblies in the bottom layer are directly used; the verification component of the middle layer is reconstructed into a customized component according to requirements; the verification component of the upper layer is redesigned as required.
In conclusion, the invention has the following beneficial effects:
when the complex chip is verified, various verification environments can be quickly established and verified, functions of different simulation tools, different verification scenes, different verification requirements and the like are comprehensively supported, and by utilizing good expandability and inheritance of the verification assembly, a user-defined verification assembly can be quickly developed according to requirements, functions of the verification environment are expanded, and the establishment efficiency of the verification environment is greatly improved.
Description of the drawings:
FIG. 1 is a schematic diagram of the first embodiment.
Detailed Description
The present invention will be described in further detail with reference to the accompanying drawings.
The present embodiment is only for explaining the present invention, and it is not limited to the present invention, and those skilled in the art can make modifications without inventive contribution to the present embodiment as required after reading the present specification, but all of them are protected by patent law within the scope of the present invention.
Embodiment 1, a method for constructing a verification environment based on an extensible verification component, first, an environment component ordering step. The environment composition elements of the verification environment are many, for example, the elements comprise a design to be tested, excitation, verification, a virtual model, waveform tracking, coverage rate collection analysis, a simulation tool and the like, and the elements are layered according to the expandability and the universal capability of the elements, wherein the elements with high universality are used as the bottom layer, the elements with low expandability are used as the bottom layer, and the elements with low universality are used as the top layer.
As shown in fig. 1, in the present case, it is divided into three layers, a bottom layer, a middle layer and an upper layer. And the environment constituents of each layer are transformed into independent verification components. The process may adopt object-oriented, UVM and other technologies in the prior art, which are contents in the prior art, and detailed description is not given in the present application. The verification components have independence and do not depend on each other.
The verification components in different layers differ. As shown in FIG. 1, the verification components at the bottom layer include a simulation tool component, a waveform tracking component, a coverage collection analysis component, and a result retrieval component. These components need not be modified in any verification environment and can be used directly.
The simulation tool component comprises the calling of various simulation tools and supports the currently common VCS, IES and MODELSIM, and the waveform tracking component comprises a generated waveform file format, a name, a waveform recording size, waveform recording time, a waveform recording signal type, a waveform recording design level and the like. The coverage collection analysis component can specify a coverage type, a coverage generation module. The result retrieval component is responsible for retrieving the operation result, judges the correctness of the operation result through the printing standard of each component in the retrieval operation process, and supports the user to specify any information needing to be retrieved.
In fig. 1, the middle, intermediate layer assembly. The system comprises four components, namely a virtual model component, an excitation component, a verification component and a parameter component. The four components are realized based on object-oriented or UVM, have good inheritance and expandability, and can be quickly reconstructed into corresponding customized components according to requirements in different verification environments.
And the top layer in fig. 1 is the upper assembly. In this embodiment, the device under test and the TestBench component are included. These two components are related to the actual verification object and need to be written by the software designer.
And after the steps are completed, entering the last step, and verifying the environment framework definition step. In this step, each verification component has a corresponding position in the frame, and all the verification components are filled by using the script component library, so that a verification environment capable of being actually operated is formed. When different verification environments are built, different verification environments can be derived quickly only by replacing different verification components, different functions can be called for the component library at the bottom layer through command parameters during environment operation, and redevelopment is not needed.
The technical scheme abstracts the constituent elements of the verification environment into verification components, defines a set of verification environment framework and accommodates all the verification components. By adopting the object-oriented technology, a series of verification components with good development expansibility and strong inheritance can be developed, and the script component can be realized by python, so that a verification environment framework is realized, and each verification component can be automatically filled to construct a verification environment. Therefore, when the complex chip verification is faced, various verification environments can be quickly constructed and verified, functions of different simulation tools, different verification scenes, different verification requirements and the like are comprehensively supported, the user-defined verification component can be quickly developed according to the requirements by utilizing the good expandability and inheritance of the verification component, the functions of the verification environment are expanded, and the construction efficiency of the verification environment is greatly improved.

Claims (5)

1. A method for building a verification environment based on extensible verification components is characterized by comprising the following steps: s01, environment component sorting: analyzing all environment components, and sequencing according to the expandability and universality of the components; s02, element layering: the system is divided into a plurality of element layers from top to bottom, and the element with the best expandability and universality is placed at the bottom layer; s03, verifying component formation: converting all the constituent elements of each of the element layers into independent verification components; s04, defining a verification environment framework: filling the verification assemblies by using a script assembly library to form a verification environment for actual operation, wherein in the step of S02 element layering, the verification assemblies are divided into three element layers, namely a bottom layer, a middle layer and an upper layer, different verification environments are set up, and the verification assemblies in the bottom layer are directly used; the verification component of the middle layer is reconstructed into a customized component according to requirements; the verification component of the upper layer is redesigned as required.
2. The method for building a verification environment based on extensible verification components according to claim 1, wherein: the verification component at the bottom layer includes a simulation tool component and a waveform tracking component.
3. The method for building a verification environment based on extensible verification components according to claim 2, wherein: the verification component at the bottom layer also includes a coverage component and a result retrieval component.
4. The method for building a verification environment based on extensible verification components according to claim 1, wherein: the verification component located in the middle layer comprises a virtual model component, an excitation component, a verification component and a parameter component.
5. The method for building a verification environment based on extensible verification components according to claim 1, wherein: the verification component positioned on the upper layer comprises a design component to be tested and a testbench component.
CN201910845696.0A 2019-09-09 2019-09-09 Method for constructing verification environment based on extensible verification component Active CN110727583B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910845696.0A CN110727583B (en) 2019-09-09 2019-09-09 Method for constructing verification environment based on extensible verification component

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910845696.0A CN110727583B (en) 2019-09-09 2019-09-09 Method for constructing verification environment based on extensible verification component

Publications (2)

Publication Number Publication Date
CN110727583A CN110727583A (en) 2020-01-24
CN110727583B true CN110727583B (en) 2022-11-15

Family

ID=69218031

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910845696.0A Active CN110727583B (en) 2019-09-09 2019-09-09 Method for constructing verification environment based on extensible verification component

Country Status (1)

Country Link
CN (1) CN110727583B (en)

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107563025A (en) * 2017-08-18 2018-01-09 北京东土军悦科技有限公司 A kind of verification platform management method and device
CN108038294A (en) * 2017-12-06 2018-05-15 北京松果电子有限公司 UVM environmental structure method and systems

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107563025A (en) * 2017-08-18 2018-01-09 北京东土军悦科技有限公司 A kind of verification platform management method and device
CN108038294A (en) * 2017-12-06 2018-05-15 北京松果电子有限公司 UVM environmental structure method and systems

Also Published As

Publication number Publication date
CN110727583A (en) 2020-01-24

Similar Documents

Publication Publication Date Title
CN1303668C (en) Compound integrated circuit design verification method
CN106940428B (en) Chip verification method, device and system
US5539652A (en) Method for manufacturing test simulation in electronic circuit design
US7490307B2 (en) Automatic generating of timing constraints for the validation/signoff of test structures
JP3872954B2 (en) System and method for identifying finite state machines and inspecting circuit designs
CN101763443B (en) Avionics system digitalized design verification system and method
EP1441295A2 (en) Expert system for guidance through a design flow for integrated circuits
US20060294008A1 (en) Method And System For Designing A Probe Card
US6197605B1 (en) Method and device for test vector analysis
JP2002530659A (en) IC test software system for mapping logic functional test data of a logic integrated circuit to a physical representation
CN106844933A (en) The full production procedure three-dimensional operation instruction generation method of micro-system product and system
US7930603B2 (en) Feature-oriented test program development and execution
CN101017457A (en) Automatically testing method of computer software
TW200842570A (en) Method for enhancing the diagnostic accuracy of a VLSI chip
CN112444731B (en) Chip testing method and device, processor chip and server
US20190147131A1 (en) Ecu simulation device
JP2003141206A (en) Method and program for timing verification of lsi test data
CN114692383B (en) Modeling method and device for full-range analog machine simulation object and computer equipment
CN105512372B (en) The data processing onboard emulation test method of modelling
CN110069414A (en) Regression testing method and system
CN106546910A (en) FPGA test platforms based on bit stream retaking of a year or grade
CN110727583B (en) Method for constructing verification environment based on extensible verification component
CN101763453B (en) Standardized IP core evaluating method and system
US7086017B1 (en) Method of post-implementation simulation of a HDL design
US6760904B1 (en) Apparatus and methods for translating test vectors

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant