78 results about "Design under test" patented technology

The invention relates to the technical field of integrated circuit design and verification, and discloses a chip simulation verification acceleration method, device and equipment and a storage medium, and the method comprises the steps: obtaining simulation analysis of a tested design file and excitation, obtaining a corresponding simulation result, analyzing a module occupying the most simulation time and memory according to the simulation result, and obtaining a simulation result; the method comprises the following steps of: decomposing a simulation process of a whole chip into a plurality of simulation operation tasks by combining a design requirement and a function definition of the chip; distributing the disassembled operation tasks to a multi-core processor for block simulation; and setting a dynamic performance optimization option DPO, performing multiple tests to collect data, and generating a simulation verification result based on a simulation result and an original design expectation. According to the method, the to-be-tested design is disassembled for layered compiling simulation, and the DPO is set for dynamic performance optimization, so that the simulation speed is increased, the chip design period is shortened, the development cost is reduced, and the requirement for rapid development of modern large-scale chips is met.

The invention relates to the field of function verification of digital integrated circuits, and discloses an atomic-scale computing chip verification method based on a UVM. The method comprises the following steps: firstly, building a UVM simulation verification platform comprising each core component; then, a software program is used for generating test excitation with physical significance, wherein the test excitation comprises information such as configuration, functional, pseudo potential and track files; then respectively inputting the test excitation into the established UVM verification platform and the software reference model; the UVM verification platform applies the test excitation to the to-be-tested design and outputs a calculation result; the reference model also correspondingly generates a reference result; and finally, comparing the output of the to-be-tested design with the output of the reference model, and verifying the correctness of the function of the atomic calculation chip through visual auxiliary analysis and quantitative error analysis. Through excitation generation based on physical constraints and an effective error evaluation method, the function verification problem of the atomic-scale computing chip can be solved.

A method for data center switching fabric path emulation in an electronics design automation (EDA) environment includes generating emulated data center traffic. The method further includes, at a path emulation element, modifying the emulated data center traffic to emulate passing of the emulated data center traffic through a data center switching fabric. The method further includes outputting, by the path emulation element, the modified emulated data center traffic to an EDA emulator emulating an electronics design under test. The method further includes receiving and storing a response of electronics design under test to the modified emulated data center traffic.

The invention discloses a verification method and device for accelerating function coverage rate convergence, a medium and equipment, the method is applied to a verification platform, the verification platform comprises a directional excitation generator, a function coverage rate model and a to-be-tested design, and the verification platform is provided with a simulation switch. Comprising the following steps: analyzing a code file of a function coverage rate model by utilizing a preset cross use case script file to extract coverage bin information corresponding to a cross function coverage point, and configuring a simulation switch according to the coverage bin information to generate a boundary use case file; and reading switch configuration information in the boundary case file by using a directional excitation generator, generating a directional excitation flow based on the directional instruction sequence according to the switch configuration information, and sending the directional excitation flow to the design to be tested to execute verification work. By adopting the technical scheme of the invention, the boundary use case of the cross function coverage point can be automatically generated, so that the convergence time consumption of the function coverage rate is effectively reduced, and the convergence rate of the function coverage rate is improved.

The invention provides an AXI interconnection module verification platform and electronic equipment, and relates to the technical field of chip verification. The invention discloses an AXI interconnection module verification platform. The verification platform comprises a test module, an interface module, a test case configuration module and a transmission transaction router, the test module comprises an agent cluster, a scoreboard unit, a parameter configuration unit and a virtual sequence transmitter; an interface in the interface module is used for connecting the design to be tested with each agent in the agent cluster; the test case configuration module is used for generating a corresponding test case; and the transmission transaction router is used for distributing the request transaction or the response transaction sent or received by the proxy to the scoreboard in the scoreboard unit. Therefore, according to the AXI interconnection module verification platform in the application, flexible adaptation to a complex topological structure is realized, and verification challenges caused by complexity of the AXI interconnection module are effectively solved.

The invention discloses a software and hardware co-simulation field recovery method and device, equipment and a medium. Comprising the steps of defining a recording starting point and a storage time point of a simulation site; from the recording starting point to the storage time point, capturing transaction flow and causal metadata from the hardware simulation environment of the simulation site to the software test platform, and meanwhile, storing a state snapshot of the verified design in the hardware simulation environment; and when a recovery instruction is received, performing simulation field recovery based on the transaction flow, the causal metadata and the state snapshot. By defining the time range of data capture, a clear boundary is delimited for subsequent data storage, and pertinence and integrity of data records are ensured. A basis is provided for semantic reconstruction of a software test platform by capturing a transaction flow and causal metadata, a state snapshot ensures that the verified design hardware state can be accurately restored, and complete storage of recovery data on the two sides of software and hardware is achieved. And the system does not need to be restarted from the starting point during recovery, so that a redundancy initialization process is avoided, and the simulation debugging efficiency is improved.

The embodiment of the invention provides a chip verification method, system and device and a storage medium, a chip comprises a core particle group, the core particle group is formed by coupling a plurality of core particles, and the method comprises the following steps: based on a core particle verification environment, performing a verification test on a to-be-tested designed core particle; after the core particles pass the verification test, a core particle group verification environment is generated, the core particle group verification environment comprises a plurality of core particle verification sub-environments, and the core particle verification sub-environments are obtained based on instantiation of the core particle verification environment; and based on the core particle group verification environment, carrying out verification test on a to-be-tested designed core particle group. According to the chip verification method in the embodiment of the invention, complete verification of the core particle group can be realized.

The invention discloses an RoCEv2 protocol RC service type basic primitive function verification system based on a UVM. The system comprises a test case class used for configuring verification parameters, initializing a verification environment and driving a primitive execution process; the verification environment is used for packaging a plurality of agent components, a reference model, a register model and a scoreboard and carrying out data interaction through a TLM interface; the agent components are used for driving or monitoring an interface designed to be tested, comprise but are not limited to a register read-write agent, a work queue element WQE reading agent, a load data reading and receiving agent, a data packet sending and receiving agent, a complete queue element CQE receiving agent and a register model component, and are constructed based on a register abstraction layer RAL modeling method; and front-door and back-door access paths are supported. The method is high in automation degree, integrates constraint randomization, comparison verification and coverage rate analysis, and realizes full automation of the verification process.

The invention relates to a chip verification method and system based on a double-FPGA architecture, and the method comprises the steps: deploying a verification platform on a first programmable logic device in a hardware circuit form, deploying a tested design on a second programmable logic device, and enabling the verification platform and the second programmable logic device to be interconnected through a hardware interface; the first programmable logic device comprises a control module, an excitation generation module, an expectation calculation module, an evaluation module, an excitation output module and a response input module; in response to external triggering, the control module jumps from idle to start, controls the excitation generation module to generate excitation, and transmits the excitation to the tested design through the excitation output module; the tested design generates a response signal based on excitation and transmits the response signal to the evaluation module through the response input module; the expectation calculation module receives an excitation calculation expectation result and transmits the result to the evaluation module; and the evaluation module compares the response with the expected result to generate a verification result. The method gets rid of software simulation dependence, shortens verification starting time, is close to a real chip use environment, and improves function verification reliability.

The embodiment of the invention discloses a PCIe interrupt verification method and device, hardware simulation equipment and a medium, and relates to the field of chip verification. The method is executed by a hardware simulation device, the hardware simulation device runs a to-be-tested design and an interrupt processing engine, the to-be-tested design is an RTL code of a PCIe controller, and the method comprises the following steps: generating an interrupt signal triggered by a PCIe interrupt trigger event through the to-be-tested design; determining an interrupt processing mode of the interrupt signal through an interrupt processing engine; and performing interrupt processing on the interrupt signal according to the interrupt processing mode through an interrupt processing engine to obtain an interrupt processing result which is used for determining a verification result of the to-be-tested design. By adopting the PCIe interrupt verification method provided by the invention, the resource bottleneck caused by a host and a Speed Bridge in related technologies is eliminated, the verification efficiency and the test throughput are improved, and the feasibility of large-scale pressure test is realized.

The invention provides a USB measurement and control system collaborative verification platform building method based on the combination of System Verilog and a C language, and relates to the technical field of FPGA testing, the method is based on a Cadence IES simulation environment to build a verification platform of a layered tree topology architecture, the verification platform is independent of a tested design project file, a three-level system structure is adopted, and the verification platform is provided with a three-level architecture; the rtl design layer is used for storing a source code file of a to-be-tested USB measurement and control system baseband processing FPGA (Field Programmable Gate Array) described by adopting a register transmission level; and the tb test platform layer adopts a modular design and comprises a dutif interface definition module, a dutrap design packaging module, a tb test control module and a tbtop top layer integration module. According to the USB measurement and control system collaborative verification platform building method based on the combination of the System Verilog and the C language, intelligent generation of a verification environment is achieved through an automatic script, and the configuration complexity is remarkably reduced; and a parameterized configuration mechanism is adopted, so that different types of USB measurement and control systems can be quickly adapted, and excellent adaptability is shown.

This application relates to the field of chip verification technology, and in particular to a method for constructing a verification platform for flexible GPU interconnection. It includes: obtaining a topology information description file; the topology information description file includes interconnection information of several topologies and topology information of each design under test (DUT) included in each topology; the DUT is a functional module in the GPU that is interconnected with external systems; instantiating the DUT according to the topology information description file; constructing a verification environment in the test platform that matches the topology in the topology information description file according to a dynamic configuration file; the dynamic configuration file is obtained by parsing the topology information description file; and implementing connections between DUTs and between the DUTs and the verification environment according to the dynamic configuration file. This invention can solve the problems of existing methods, such as fixed verification environment structure, insufficient reusability and scalability, and difficulty in supporting verification of multiple types of DUTs and various interconnection topologies and interconnection modes.

The invention relates to the technical field of nonvolatile memory chips, and discloses a verification method and device for a FLASH memory and a universal verification platform, and the simulation verification method comprises the steps: carrying out the modeling of a signal time sequence in the form of an executable task of a hardware description language based on the time sequence requirement of an operation manual of a target FLASH memory, defining a key time interval between the signals as a configurable parameter; performing parameter configuration on the executable task and the key time interval according to a parameter value input by a user for adapting to the target FLASH memory; according to the configured executable task and the key time interval, generating simulation data, and according to the simulation data, simulating the to-be-tested design of the target FLASH memory model; in the simulation process, a time sequence signal, a voltage signal and a decoding logic signal in a to-be-tested design are checked according to parameterized time sequence requirements. According to the invention, the accuracy and efficiency during simulation verification can be improved.

The present application relates to the technical field of chip verification, and more particularly to a verification system based on a shared register address, comprising: a design under test including a plurality of register groups; a register model for generating register access request information and sending it to an adapter; the adapter for decoding a target logical address, obtaining target PFVF information and a target register address, and generating target transaction information and sending it to a bus agent module; the bus agent module for driving the design under test based on the target transaction information; the design under test is also used to determine a target register group based on the target register address, determine a target register in the target register group based on the target PFVF information, and then execute target access information based on the target register. The present application can be applied to verification of a shared register address, simplifies the verification environment, and improves the efficiency and accuracy of verification.

This application provides a cross-clock domain synchronization circuit, method, and simulator in an EMU simulation verification environment to solve the technical problem that cross-clock domain metastable states cannot be simulated in EMU simulation verification environments before chip design. This application adds a metastable state simulation circuit after the trigger synchronization circuit constructed based on a multi-level trigger cascade mode. The metastable state simulation circuit simulates cross-clock domain metastable data output scenarios. The technical solution provided in this application complements the CDC simulation method in the DV design verification environment, effectively identifying potential problems in the design under test under CDC scenarios in the early stages of chip verification, thereby effectively ensuring the correctness of the chip design and accelerating the chip development process.

This invention proposes a cloud native method and system for FPGA-based hardware logic emulation, including: building a hardware logic emulation platform based on a loosely coupled FPGA cluster, and partitioning each FPGA node into a static logic region and a plurality of dynamic logic regions. Specifically, with a custom design tool, such an FPGA-based emulation platform obtains multiple cloud tenants'hardware logic Design Under Tests (DUTs) wraps an emulation control circuit to each DUT. Then FPGA configuration bitstream files that are deployable in each dynamic logic region are generated with the toolset. An emulation software is also employed on a tightly coupled general-purpose microprocessor in each FPGA node to control emulation operation of the DUT and to receive circuit status of DUTs in each dynamic logic region as emulation results for each tenant.

A method to generate a hardware design for an electronic device wherein a digital hardware design under test (DUT) for the electronic device is received in a test environment, the digital hardware DUT having an input with a connected buffer; receiving assertions relating to the digital hardware DUT and the buffer; inputting watched data into the buffer; using a state machine to verify the assertions; detecting a deadlock or livelock in the digital hardware DUT in dependence on the verification; and in response to detecting a deadlock or livelock in the digital hardware, providing an output indicative of a deadlock or livelock state detected in the digital hardware DUT. The method may be used in simulation verification or formal verification, e.g. dynamic simulation, particularly for system-on-chip (SoC) designs where computing elements are connected by a fabric or a bus. The DUT may be a high-level language description of a component of a SoC. The buffer may be part of the DUT or a test bench and the watched data may be symbolic data. Assertions may be provided in SystemVerilog Assertions (SVA), Property Specification Language (PSL) or Open Verification Language (OVL). The state machines may be finite state machines (FSM).

The invention relates to the technical field of chip verification, and discloses a to-be-tested design verification method, a verification environment building method, a verification environment and a chip verification device. The verification method comprises the steps that under the condition that a test excitation identifier is received, a target configuration file corresponding to the test excitation identifier is acquired through an excitation generation component; performing parameter analysis on the target configuration file through an analysis component to obtain a target configuration parameter set; and generating a test data packet based on the target configuration parameter set through the excitation generation component, and storing the test data packet to the memory model component, so that the to-be-tested design can use the test data packet to perform verification. Therefore, the target configuration parameter set corresponding to the test excitation is dynamically loaded by utilizing the excitation generation component, and the configuration parameters are stripped from the logic of hard generation excitation codes, so that the verification efficiency of the to-be-tested design is greatly improved.

An apparatus to facilitate floating point compliance verification is disclosed. The apparatus includes processing circuitry to load a design under test (DUT) into a formal equivalence checking tool; define a floating point (FP) component of interest of the DUT; based on the DUT and a reference specification, produce a set of verification properties for the FP component of interest, wherein the set of verification properties is generated for each flag having no freedom, each flag having freedom, for output data having multiple allowable outputs, and for output data having infinitely precise results; check the generated set of verification properties at the formal equivalence checking tool using the DUT and the reference specification; and generate a verification properties report at a conclusion of running the formal equivalence checking tool to detail the set of verification properties.

According to the chip verification system, the chip verification method and the related equipment, in the chip verification system, the verification environments of a plurality of first tested designs are integrated into the first verification environment, and compared with the mode that the corresponding verification environments are set for the plurality of first tested designs, the number of the verification environments can be reduced, and the verification efficiency is improved. Therefore, the integration difficulty between verification environments can be reduced, and the management and debugging difficulty can be reduced. Moreover, a first interconnection assembly located in the first verification environment or the second verification environment realizes the connection between the first tested design and the second test through the first application program interface, and a second interconnection assembly located in the first verification environment or the second verification environment realizes the connection between the first tested design and the second test through the second application program interface. The connection between the first reference model and the second reference model is realized through the second application program interface, so that the communication overhead between the first verification environment and the second verification environment is reduced, and the simulation verification efficiency is improved.

The present disclosure provides a verification system, a verification method, an electronic device and a storage medium. The verification system includes a simulation verification device, a first portion and a second portion. The first portion includes a first master module and a second slave module. The second slave module includes a memory unit connected to a memory access interface at a periphery of a design under test. The second portion includes a first direct programming interface, a second direct programming interface, a function library module, and a test case module. The first direct programming interface communicates with the first master module and is configured to call a first function to implement front door access to a register of the design under test. The second direct programming interface communicates with the memory unit and is configured to call a second function to implement back door access to the memory unit.

This invention relates to the field of chip technology, and more particularly to a method, electronic device, and medium for automatically generating chip event statistics modules. The method includes: step S1, setting target event statistics module generation information according to a preset data structure; step S2, generating a target event statistics module architecture based on the design under test (DUT) identifier and the number of counters corresponding to the target event statistics module; step S3, generating a control module and a functional module based on the signal parameter list corresponding to the target event statistics module, generating control signals between the control module and the target event statistics architecture, generating functional signals between the functional modules and the target event statistics architecture, and generating event signals between the target event statistics architecture and the DUT, thereby generating a complete target event statistics module. This invention reduces the cost of generating chip event statistics modules and improves the efficiency and accuracy of generating chip event statistics modules.

The invention discloses a chip verification method and device, and relates to the technical field of integrated circuit design verification. The method comprises the following steps: determining an environment data class and an environment configuration class in a current verification environment; determining a reference algorithm class corresponding to the environment configuration class from algorithm classes of a pre-constructed transaction-level algorithm library according to the environment configuration class, and instantiating the reference algorithm class to obtain a reference model; constructing a reference model system comprising a reference model based on a common interface of a reference algorithm class and an object handle declared by the common interface; obtaining an environment data class and an environment configuration class through a model input agent of the reference model system, determining input of a reference model and a to-be-tested design, and obtaining final reference output of the reference model system and final test output of the to-be-tested design; and comparing the final reference output with the final test output to verify the chip. According to the embodiment, cross-level verification multiplexing can be realized, and the reusability and transportability of the reference model are improved.

This disclosure provides a method and system for large-scale model-assisted logic function simulation and verification for hardware design, relating to the fields of artificial intelligence and hardware design technology. The method includes: performing logical perception analysis on hardware design specifications to generate a structured design analysis report; based on the design analysis report and design specifications, using a generator agent to initially generate a testbench, obtaining an initial test platform and a reference design under test set; simulating the initial test platform and the reference design under test set, and verifying the initial test platform using a consensus verification mechanism based on confidence levels; iteratively refining the test platform using a corrector agent based on a structured reflection report to obtain the final optimal test platform; and automatically generating a retrieval knowledge base precisely aligned with hardware semantics using a reflexive domain knowledge mining method, achieving fully automated construction of the hardware domain knowledge base. This disclosure achieves fully automated system-level hardware design testbench generation and verification.

The application discloses a method for modifying RTL source code files and an electronic device, the method comprising: obtaining all RTL source code files of a design under test and a file name of a top RTL source code of the design under test, associating instantiation names of each module in each RTL source code file with the file name, and saving the association result as a tree type data structure; obtaining all signal names corresponding to each module in each RTL source code file one by one, and position information of each RTL source code file corresponding to the data structure, adding a prefix before the signal name to obtain a complete signal name according to the position information; selecting at least one signal to be observed from all complete signals, detecting each signal to be observed in a list of signals to be observed one by one to obtain a detection result, and modifying the RTL source code file corresponding to the signal to be observed based on the detection result. The application solves the technical problem of low efficiency of adaptive modification of a design under test in the prior art.

The application relates to the technical field of chip verification, in particular to a cross-domain verification bridging system for system-level chip verification, which comprises a configuration file acquisition module, a server, a transaction-level protocol transmitter and a client. The configuration file acquisition module is used for acquiring a configuration file. The server is used for connecting a corresponding target client based on the configuration file, adapting a corresponding target transaction-level protocol transmitter for the target client, receiving a request of the target client, distributing the request to the corresponding target transaction-level protocol transmitter, returning a response of the target transaction-level protocol transmitter to the target client, accessing a design under test based on the corresponding request, and receiving a response of the design under test. The client is used for generating and running an application program, a driver program or a test case, and sending a request to the server by calling a corresponding preset application programming interface. The application reduces the complexity of cross-domain verification of system-level chip verification and improves the cross-domain verification efficiency of system-level chip verification.

The application relates to the technical field of integrated circuits and provides a management method of a verification platform, an electronic device, a medium, a verification method and a platform. The method comprises determining a test requirement associated with a design under test, setting configurable parameters of a plurality of function modules of the verification platform based on the requirement, and setting verification rules included in a layered verifier of the verification platform, so that adaptation for the design under test is realized. Not only can customized service support be provided for specific interface test requirements, but also the complexity and workload of maintenance of the verification stage of the full life cycle of chip development from the early stage to the middle and late stages are effectively reduced. In addition, the verification efficiency is improved and the verification time is shortened, and quick response and cost reduction are supported, for complex and changeable chip IP verification requirements in different development stages, different communication protocols and interface standards, different interface test requirements and different customized requirements.

The invention provides a soft reset verification method, a logic device and data processing equipment, when a message ending signal of a tested design is monitored, an ideal model is triggered to start a processing flow, and when it is monitored that soft reset is completed, a global variable is set. And under the condition that the ideal model is triggered, obtaining the message data from the specified address and caching the message data. And if the global variable is not in the set state, the cached message data is used as expected message data to be sent to a comparator, and the comparator compares actual message data obtained from the detected and identified data with the expected message data to obtain a comparison result. And if the global variable is in the set state, the ideal model stops sending the message data to the comparator, and clears the cached message data and descriptors. According to the scheme, data comparison failure is avoided by establishing time sequence synchronization between the ideal model and the tested equipment, and a cache clearing mechanism is executed after soft reset is finished, so that a single test case can support multiple soft reset operations.

The invention provides a performance analysis method and device, electronic equipment and a computer readable storage medium, and the method comprises the steps: obtaining a test instruction sequence, and converting the test instruction sequence into a physical signal and a program calling signal; the test instruction sequence comprises a plurality of test instructions, and the test instructions are used for testing the function of the to-be-tested design; the physical signal is matched with a hardware simulation model to be tested and designed; the program calling signal is matched with a to-be-tested designed software simulation model; driving a hardware simulation model of the to-be-tested design to operate according to the physical signal to obtain first operation performance data of the to-be-tested design; driving a software simulation model of the to-be-tested design to run according to the program calling signal to obtain second running performance data of the to-be-tested design; and determining a performance analysis result of the to-be-tested design according to the first operation performance data and the second operation performance data. According to the embodiment of the invention, the total project period can be shortened, the performance analysis efficiency is improved, and the performance analysis complexity is reduced.

The application provides an AXI interconnection module verification platform and electronic equipment, and relates to the chip verification technical field. The AXI interconnection module verification platform comprises a test module, an interface module, a test case configuration module and a transmission transaction router. The test module comprises an agent cluster, a score board unit, a parameter configuration unit and a virtual sequence transmitter. The interface in the interface module is used for connecting a design under test and each agent in the agent cluster. The test case configuration module is used for generating corresponding test cases. The transmission transaction router is used for distributing a request transaction or a response transaction sent or received by the agent to a score board in the score board unit. Thus, the AXI interconnection module verification platform in the application realizes flexible adaptation to a complex topology structure, and effectively solves the verification challenge caused by the complexity of the AXI interconnection module.