CN116090406A - Random verification method and device for ping-pong configuration circuit, upper computer and storage medium - Google Patents

Random verification method and device for ping-pong configuration circuit, upper computer and storage medium Download PDF

Info

Publication number
CN116090406A
CN116090406A CN202310361982.6A CN202310361982A CN116090406A CN 116090406 A CN116090406 A CN 116090406A CN 202310361982 A CN202310361982 A CN 202310361982A CN 116090406 A CN116090406 A CN 116090406A
Authority
CN
China
Prior art keywords
random
circuit
tasks
task
executed
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
CN202310361982.6A
Other languages
Chinese (zh)
Other versions
CN116090406B (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.)
Hunan Goke Microelectronics Co Ltd
Original Assignee
Hunan Goke Microelectronics 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 Hunan Goke Microelectronics Co Ltd filed Critical Hunan Goke Microelectronics Co Ltd
Priority to CN202310361982.6A priority Critical patent/CN116090406B/en
Publication of CN116090406A publication Critical patent/CN116090406A/en
Application granted granted Critical
Publication of CN116090406B publication Critical patent/CN116090406B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/39Circuit design at the physical level
    • G06F30/398Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/34Circuit design for reconfigurable circuits, e.g. field programmable gate arrays [FPGA] or programmable logic devices [PLD]
    • G06F30/343Logical level
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2115/00Details relating to the type of the circuit
    • G06F2115/10Processors
    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02DCLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
    • Y02D10/00Energy efficient computing, e.g. low power processors, power management or thermal management

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Tests Of Electronic Circuits (AREA)

Abstract

The invention discloses a random verification method, a device, an upper computer and a storage medium of a ping-pong configuration circuit, which relate to the field of random control, and are characterized in that a plurality of random tasks are acquired from a preset task library of an integrated circuit, one of the random tasks is randomly distributed to a first circuit or a second circuit, a circuit receiving the random tasks is controlled to execute the tasks, and meanwhile, the random task which is not executed in the random tasks is written into the other circuit, so that the other circuit is controlled to execute the tasks after the task which is currently executed is finished, the task is alternately executed by the two circuits as a cycle, and the normal function of the integrated circuit is determined after all the random tasks are executed. The random operation of a user at random time in practical application can be simply and accurately represented by a mode of acquiring random tasks with random number, and meanwhile, the integrated circuit in ping-pong configuration can be accurately checked by a mode of alternately executing tasks by two circuits.

Description

Random verification method and device for ping-pong configuration circuit, upper computer and storage medium
Technical Field
The present invention relates to the field of random control, and in particular, to a random verification method and apparatus for a ping-pong configuration circuit, an upper computer, and a storage medium.
Background
The design and optimization thought of the existing integrated circuit is mainly based on PPA (power consumption, performance, area), for performance design and optimization, pipeline design is generally used, specifically, the whole integrated circuit is divided into two logic circuits with the same function to perform ping-pong configuration, when the integrated circuit needs to sequentially execute a plurality of tasks, the two logic circuits in the integrated circuit cross-execute the tasks, so that the performance and efficiency of the integrated circuit are improved; in order to ensure normal use of the integrated circuit, functional verification of the integrated circuit is required when the integrated circuit leaves the factory. In the prior art, when performing function verification on an integrated circuit, a task list is usually set for two logic circuits in the integrated circuit in advance, and when starting verification, the two logic circuits are enabled to execute the tasks sequentially according to a preset sequence, so as to determine whether the function of the integrated circuit is normal. However, in practical applications, the operation of the user is not regular, and the irregular operation of the user may cause the integrated circuit to start executing a random number of random tasks at random time, and the verification manner of executing the tasks according to the preset sequence cannot verify whether the integrated circuit functions normally in the practical application scenario.
Disclosure of Invention
The invention aims to provide a random verification method and device for a ping-pong configuration circuit, an upper computer and a storage medium, which can simply and accurately represent the random operation of a user in random time in practical application, and can also accurately verify an integrated circuit of the ping-pong configuration.
In order to solve the technical problems, the present invention provides a random verification method of a ping-pong configuration circuit, which is applied to a processor in an upper computer, wherein the upper computer is respectively connected with a first circuit and a second circuit in an integrated circuit, and functions of the first circuit and the second circuit are the same, and the verification method comprises:
when a random verification instruction is received, n random tasks are obtained from a preset task library of the integrated circuit, wherein n is a positive integer;
randomly assigning one of n said random tasks to said first circuit or said second circuit;
controlling a circuit which receives the random task to execute the random task, and simultaneously writing a random task which is not executed in the random tasks in n into another circuit so as to control the other circuit to execute the random task after the execution of the random task which is currently being executed is completed;
and after all the random tasks are executed, determining that the integrated circuit is normal in function.
Preferably, before randomly assigning one of the n random tasks to the first circuit or the second circuit, the method further comprises:
taking a random task in n random tasks as a current task, and taking n-1 random tasks as tasks to be executed;
taking x of n-1 tasks to be executed as tasks to be executed of the first circuit, and y as tasks to be executed of the second circuit, wherein x and y are natural numbers and x+y=n-1;
randomly assigning one of n of the random tasks to the first circuit or the second circuit, comprising:
randomly assigning the current task to the first circuit or the second circuit;
writing random tasks, of which random ones are not executed, in another circuit, comprising:
and writing a random task in the tasks to be executed, which correspond to the other circuit, into the other circuit.
Preferably, x of the n-1 tasks to be executed are taken as tasks to be executed of the first circuit, and y are taken as tasks to be executed of the second circuit, including:
determining a first identifier of the first circuit and a second identifier of the second circuit, respectively;
the first identifier is assigned to x of the random tasks and the second identifier is assigned to y of the random tasks.
Preferably, randomly assigning one of n random tasks to the first circuit or the second circuit includes:
one of n random tasks is randomly written into a fifo memory of the first circuit or the second circuit.
Preferably, after controlling the circuit that receives the random task to execute the random task, the method further includes:
judging whether the result of the circuit executing the random task is correct or not;
if not, generating a prompt signal, and sending the prompt signal to a prompt module so that the prompt module sends out prompts.
Preferably, before the circuit that receives the random task is controlled to execute the random task, the method further includes:
setting a semaphore for a circuit that received the random task to a semaphore that indicates write inhibition;
after controlling the circuit that receives the random task to execute the random task, the method further comprises:
setting a semaphore for the circuit that performed the random task to a semaphore indicating write permission.
Preferably, before the circuit that receives the random task is controlled to execute the random task, the method further includes:
judging whether the random task exists in the circuit or not;
if yes, executing the random task in a circuit which receives the random task in an entering control mode;
if not, writing the random task into the circuit, and entering a step of controlling the circuit which receives the random task to execute the random task.
The application also provides a random verification device of a ping-pong configuration circuit, which comprises:
a memory for storing a computer program;
and the controller is used for realizing the steps of the random verification method of the ping-pong configuration circuit when executing the computer program.
The application also provides an upper computer, which comprises an upper computer body and a random verification device of the ping-pong configuration circuit;
the upper computer body is connected with the random verification device of the ping-pong configuration circuit.
The present application also provides a storage medium having stored thereon a computer program which, when executed by a processor, implements the steps of a random verification method for a ping pong configuration circuit as described above.
The application provides a random verification method, a device, an upper computer and a storage medium of a ping-pong configuration circuit, which relate to the field of random control, and are characterized in that a plurality of random tasks are acquired from a preset task library of an integrated circuit, one of the random tasks is randomly distributed to a first circuit or a second circuit, a circuit receiving the random tasks is controlled to execute the random tasks, and meanwhile, one random task which is not executed in the random tasks is written into another circuit, so that the other circuit is controlled to execute the random tasks after the execution of the random task which is currently executed is finished, the two circuits are used as a cycle to alternately execute the tasks, and the random control of the integrated circuit is determined to be finished after the execution of all the random tasks is finished. The random operation of a user at random time in practical application can be simply and accurately represented by a mode of acquiring random tasks with random number, and meanwhile, the integrated circuit in ping-pong configuration can be accurately checked by a mode of alternately executing tasks by two circuits.
Drawings
In order to more clearly illustrate the technical solutions of the embodiments of the present invention, the drawings required in the prior art and the embodiments will be briefly described below, and it is apparent that the drawings in the following description are only some embodiments of the present invention, and other drawings may be obtained according to these drawings without inventive effort for a person skilled in the art.
FIG. 1 is a flowchart of a random verification method for a ping-pong configuration circuit provided in the present application;
fig. 2 is a schematic structural diagram of a random verification device of a ping-pong configuration circuit provided in the present application.
Detailed Description
The core of the invention is to provide a random verification method, a random verification device, an upper computer and a random verification storage medium for a ping-pong configuration circuit, which can simply and accurately represent the random operation of a user in random time in practical application and can also accurately verify an integrated circuit of the ping-pong configuration.
For the purpose of making the objects, technical solutions and advantages of the embodiments of the present invention more apparent, the technical solutions of the embodiments of the present invention will be clearly and completely described below with reference to the accompanying drawings in the embodiments of the present invention, and it is apparent that the described embodiments are some embodiments of the present invention, but not all embodiments of the present invention. All other embodiments, which can be made by those skilled in the art based on the embodiments of the invention without making any inventive effort, are intended to be within the scope of the invention.
The present integrated circuit is mainly designed and optimized based on PPA (power consumption, performance, area), in the performance optimization, the optimal mode is pipeline design, and for this point, the whole integrated circuit is generally divided into two parts, and the internal structures of the two parts may be different, but the realized functions are the same, and the purpose of improving the performance of the integrated circuit is realized by designing two sets of circuit logic to perform ping-pong processing. Before the integrated circuits are shipped to be used, the integrated circuits need to be verified in order to ensure the yield and stability of the integrated circuits, and the integrated circuits need to execute random tasks at random time in consideration of the use habits of users, so that the upper computer needs to perform random control when verifying the integrated circuits. However, because of the large number and variety of internal elements of the integrated circuit, the timing control is complex, and the host computer is difficult to generate perfect random timing when verifying the timing, so that the completeness of the timing is difficult to verify.
In order to solve the above technical problems, please refer to fig. 1, fig. 1 is a flowchart of a random verification method of a ping-pong configuration circuit provided in the present application, which is applied to a processor in an upper computer, wherein the upper computer is respectively connected with a first circuit and a second circuit in an integrated circuit, and functions of the first circuit and the second circuit are the same, and the verification method includes:
s1: when a random verification instruction is received, n random tasks are obtained from a preset task library of the integrated circuit, wherein n is a positive integer;
s2: randomly assigning one of n random tasks to the first circuit or the second circuit;
s3: the circuit which receives the random tasks is controlled to execute the random tasks, and meanwhile, random tasks which are not executed in random in the n random tasks are written into the other circuit, so that the other circuit is controlled to execute the random tasks after the execution of the random tasks which are currently executed is finished;
s4: and after all the random tasks are executed, determining that the integrated circuit is normal in function.
In order to realize random control and verification, the random tasks of random number are acquired through random time, and it can be understood that in actual application, due to different requirements, use habits, use time and the like of different users, the integrated circuit may receive any command from the user at any time point, so that in verification before delivery, user operation in actual application needs to be simulated through random control. The integrated circuit has a plurality of functions, tasks corresponding to all the functions of the integrated circuit can be stored in a preset task library in advance, when verification is carried out, the upper computer takes out a random number of tasks from the preset task library at a random time point, and the type of the specifically taken tasks and the corresponding functions are random and non-repeated, so that the action of random operation of a user in the actual use is shown.
After n random tasks are acquired, as the integrated circuit is provided with the first circuit and the second circuit with the same functions, the first circuit and the second circuit can be specifically two circuits with different structures (or the same structure) but the same functions, such as an FPGA (Field Programmable Gate Array ) or a CPLD (Complex Programmable logic device, complex programmable logic device) and the like, and the first circuit and the second circuit are arranged on the same circuit board or are spliced together to form the integrated circuit. Because the two circuits are idle before the task is acquired, on the premise that the user has no requirement on the order of task completion, 1 random task in n random tasks can be distributed to one random circuit so as to be executed after the task is written in the circuit; at this time, in order to verify the ping-pong design of the integrated circuit, while the circuit performs the random task, for the circuit on the other side that is not performing the task, it is necessary to write 1 random task out of the remaining n-1 random tasks into the circuit, and when the above-mentioned circuit finishes performing the random task, the circuit on the other side then performs the next task, thereby improving the efficiency by saving the time of writing the random task. For example, there are a total of 4 random tasks, 1 of which is first assigned to the first circuit, which needs to be written into the first circuit in order to control its execution; meanwhile, 1 random task is selected from the remaining 3 random tasks which are not executed and is distributed to the second circuit, and the random tasks are written into the second circuit, when the first circuit executes the first random task, the second circuit can directly execute the second random task, and the time required by writing is saved; at this time, 1 random task is selected from the remaining 2 random tasks which are not executed and written into the first circuit, and so on.
Through the mode that one circuit is executing tasks and simultaneously writing the next task into the other circuit, pipeline running water design is realized, when the integrated circuit is normal, the random tasks can be normally and smoothly executed, when all the random tasks are executed, the random control on the integrated circuit can be finished, the integrated circuit is judged to be qualified and normal, and if the tasks are found to be incapable of being successfully executed, a prompt signal can be generated to prompt staff, so that the staff can find problems in time.
In summary, when a random verification instruction is received, a plurality of random tasks are acquired from a preset task library of the integrated circuit, one of the random tasks is randomly distributed to the first circuit or the second circuit, the circuit receiving the random tasks is controlled to execute the random tasks, and meanwhile, the random tasks which are not executed in the random tasks are written into the other circuit, so that the other circuit is controlled to execute the random tasks after the execution of the random tasks which are currently executed is finished, the two circuits are used as a cycle to alternately execute the tasks, and the function of the integrated circuit is determined to be normal after all the random tasks are executed. The random operation of a user at random time in practical application can be simply and accurately represented by a mode of acquiring random tasks with random number, and meanwhile, the integrated circuit in ping-pong configuration can be accurately checked by a mode of alternately executing tasks by two circuits.
Based on the above embodiments:
as a preferred embodiment, before randomly assigning one of the n random tasks to the first circuit or the second circuit, further comprising:
taking a random task in n random tasks as a current task, and taking n-1 random tasks as tasks to be executed;
taking x of the n-1 tasks to be executed as tasks to be executed of the first circuit, and y as tasks to be executed of the second circuit, wherein x and y are natural numbers and x+y=n-1;
randomly assigning one of n random tasks to the first circuit or the second circuit, comprising:
randomly distributing the current task to the first circuit or the second circuit;
writing random tasks, of which random ones are not executed, into another circuit, comprising:
and writing random one task of all unexecuted tasks to be executed corresponding to the other circuit into the other circuit.
For simple allocation of random tasks, in this application, these random tasks may be allocated in advance to their corresponding circuits. Specifically, one of the random tasks is first used as a current task to be executed, the other tasks are used as tasks to be executed, the first task to be executed is randomly written into a certain circuit, the other tasks can be randomly allocated, and when allocation is performed, the probability of each task being allocated to which circuit can be set according to the performance between the two circuits in consideration that the performance of the two circuits can be the same but the performance of the two circuits can be divided into high and low values, so that the number of the tasks to be executed allocated to the two circuits can be equal or approximate. After tasks are allocated in advance, when one circuit executes the corresponding random tasks, the other circuit writes the corresponding tasks to be executed, and the task writing is not needed to be selected from the random tasks in real time, so that the time for selecting the tasks is saved. Based on this, a random task can be simply assigned.
As a preferred embodiment, taking x of the n-1 tasks to be performed as tasks to be performed by the first circuit, and y as tasks to be performed by the second circuit, includes:
determining a first identifier of the first circuit and a second identifier of the second circuit, respectively;
a first identifier is assigned to x random tasks and a second identifier is assigned to y random tasks.
For simple allocation of the random tasks, in this application, the allocation may be performed by means of identifiers, first determining the identifiers of the first circuit and the second circuit, and then selecting one of the first identifier and the second identifier for each random task as the identifier of the random task, so as to mark the random tasks, which circuit needs to execute. Further, whether these random tasks are executed or not may also be indicated by an identifier, for example, by marking a random task that is not executed with 0 and a random task that is already executed with 1, so that it is simply indicated whether the random task is executed or not. Based on this, a random task can be simply assigned.
As a preferred embodiment, randomly assigning one of n random tasks to the first circuit or the second circuit comprises:
one of n random tasks is randomly written into fifo memory of the first circuit or the second circuit.
The Fifo (First Input First Output) memory is a Fifo (first in first out) dual-port buffer, i.e. the first task entering the Fifo memory is executed first, each task is output and executed according to the sequence of entering the Fifo, and in this way, the data and tasks written into the circuit are gathered to push and store, so that the parallel bus operation caused by errors can be avoided, and the operation load of the circuit is reduced.
As a preferred embodiment, after controlling the circuit that receives the random task to perform the random task, the method further includes:
judging whether the result of the circuit executing the random task is correct or not;
if not, generating a prompt signal and sending the prompt signal to the prompt module so that the prompt module sends out prompts.
In order to simply prompt the staff, the upper computer can also detect the execution result of the circuit after executing the random task, and can determine whether the random task is normally and successfully executed by comparing the actual execution result of the random task with a pre-stored reference execution result; and when the execution exception and failure are found, prompting a worker through a prompting module. The prompting module can be a sound prompting module or a light prompting module and the like arranged on the upper computer, and also can be a prompting module arranged on the integrated circuit, and the application is not limited to the prompting module. Based on this, the staff can be simply prompted.
As a preferred embodiment, before controlling the circuit that receives the random task to perform the random task, the method further includes:
setting a semaphore for a circuit that receives the random task to a semaphore indicating that writing is prohibited;
after controlling the circuit that received the random task to perform the random task, further comprising:
the semaphore for the circuit that performed the random task is set to the semaphore indicating that writing is allowed.
To avoid the case of multi-tasking, in this application, the semaphore is used to control whether a task can be written to a circuit. Specifically, when a task is written into a circuit, the semaphore sempore_x_reg get is used as an identifier indicating that the circuit cannot write other tasks before executing the task, and when a random task is executed, the semaphore sempore_x_reg put is used as an identifier indicating that the circuit can continue to write other tasks, wherein x is the identifier of the circuit. When one circuit is executing a random task, the upper computer can be ensured not to be wrongly written into the circuit executing the random task when the subsequent random task is written into the other circuit due to the limitation of the semaphore, and the semaphore can be further matched with fifo, so that the situations of multi-task writing and executing can be avoided.
As a preferred embodiment, before controlling the circuit that receives the random task to perform the random task, the method further includes:
judging whether a random task exists in the circuit or not;
if yes, executing the random task in the circuit which receives the random task in the access control mode;
if not, writing the random task into the circuit, and entering a step of controlling the circuit receiving the random task to execute the random task.
In order to improve efficiency, in the present application, before the control circuit executes the random task, it is further required to determine whether the random task allocated to the circuit is written into the circuit before the random task is executed, and if not, the random task is written into the circuit before the random task is executed; if written, the circuit can be directly controlled to perform the random task without the need to write again. Based on the above, considering the long-term use efficiency of the integrated circuit in practical application, when a random task is allocated to a certain circuit, if the random task is executed for the first time by the circuit, the random task can be executed only by writing the random task into the circuit, after the execution is finished, the configuration information of the random task is stored in the circuit, and when the random task is executed again on the circuit, the random task can be directly executed without writing the random task again, so that the time for writing the random task again is saved.
Referring to fig. 2, fig. 2 is a schematic structural diagram of a random verification device of a ping-pong configuration circuit provided in the present application, including:
a memory 21 for storing a computer program;
a controller 22 for implementing the steps of the random verification method of the ping pong configuration circuit as described above when executing a computer program.
For a detailed description of a random verification apparatus for a ping-pong configuration circuit provided in the present application, please refer to an embodiment of a random verification method for a ping-pong configuration circuit, which is not described herein again.
The application also provides an upper computer, which comprises an upper computer body and a random verification device of the ping-pong configuration circuit;
the upper computer body is connected with a random verification device of the ping-pong configuration circuit.
For a detailed description of an upper computer provided in the present application, please refer to an embodiment of a random verification method of a ping-pong configuration circuit, which is not described herein.
The present application also provides a storage medium having stored thereon a computer program which, when executed by a processor, performs the steps of a random verification method for a ping pong configuration circuit as described above.
For a detailed description of a storage medium provided in the present application, please refer to an embodiment of a random verification method of a ping-pong configuration circuit, which is not described herein.
In the present specification, each embodiment is described in a progressive manner, and each embodiment is mainly described in a different point from other embodiments, and identical and similar parts between the embodiments are all enough to refer to each other. For the device disclosed in the embodiment, since it corresponds to the method disclosed in the embodiment, the description is relatively simple, and the relevant points refer to the description of the method section.
It should also be noted that in this specification, relational terms such as first and second, and the like are used solely to distinguish one entity or action from another entity or action without necessarily requiring or implying any actual such relationship or order between such entities or actions. Moreover, the terms "comprises," "comprising," or any other variation thereof, are intended to cover a non-exclusive inclusion, such that a process, method, article, or apparatus that comprises a list of elements does not include only those elements but may include other elements not expressly listed or inherent to such process, method, article, or apparatus. Without further limitation, an element defined by the phrase "comprising one … …" does not exclude the presence of other like elements in a process, method, article, or apparatus that comprises the element.
Those of skill would further appreciate that the various illustrative elements and algorithm steps described in connection with the embodiments disclosed herein may be implemented as electronic hardware, computer software, or combinations of both, and that the various illustrative elements and steps are described above generally in terms of functionality in order to clearly illustrate the interchangeability of hardware and software. Whether such functionality is implemented as hardware or software depends upon the particular application and design constraints imposed on the solution. Skilled artisans may implement the described functionality in varying ways for each particular application, but such implementation decisions should not be interpreted as causing a departure from the scope of the present invention.

Claims (10)

1. The random verification method of the ping-pong configuration circuit is characterized by being applied to a processor in an upper computer, wherein the upper computer is respectively connected with a first circuit and a second circuit in an integrated circuit, the functions of the first circuit and the second circuit are the same, and the verification method comprises the following steps:
when a random verification instruction is received, n random tasks are obtained from a preset task library of the integrated circuit, wherein n is a positive integer;
randomly assigning one of n said random tasks to said first circuit or said second circuit;
controlling a circuit which receives the random task to execute the random task, and simultaneously writing a random task which is not executed in the random tasks in n into another circuit so as to control the other circuit to execute the random task after the execution of the random task which is currently being executed is completed;
and after all the random tasks are executed, determining that the integrated circuit is normal in function.
2. The method of random verification of a ping pong configuration circuit of claim 1, further comprising, prior to randomly assigning one of n of the random tasks to the first circuit or the second circuit:
taking a random task in n random tasks as a current task, and taking n-1 random tasks as tasks to be executed;
taking x of n-1 tasks to be executed as tasks to be executed of the first circuit, and y as tasks to be executed of the second circuit, wherein x and y are natural numbers and x+y=n-1;
randomly assigning one of n of the random tasks to the first circuit or the second circuit, comprising:
randomly assigning the current task to the first circuit or the second circuit;
writing random tasks, of which random ones are not executed, in another circuit, comprising:
and writing a random task in the tasks to be executed, which correspond to the other circuit, into the other circuit.
3. The random verification method of a ping-pong configuration circuit according to claim 2, wherein x of n-1 of the tasks to be performed are taken as tasks to be performed by the first circuit, and y are taken as tasks to be performed by the second circuit, comprising:
determining a first identifier of the first circuit and a second identifier of the second circuit, respectively;
the first identifier is assigned to x of the random tasks and the second identifier is assigned to y of the random tasks.
4. The random verification method of a ping-pong configuration circuit of claim 1, wherein randomly assigning one of n of the random tasks to the first circuit or the second circuit comprises:
one of n random tasks is randomly written into a fifo memory of the first circuit or the second circuit.
5. The method of random verification of a ping pong configuration circuit of claim 1, further comprising, after controlling the circuit that received the random task to perform the random task:
judging whether the result of the circuit executing the random task is correct or not;
if not, generating a prompt signal, and sending the prompt signal to a prompt module so that the prompt module sends out prompts.
6. A method of random verification of a ping pong configuration circuit as claimed in any one of claims 1 to 5, further comprising, prior to controlling the circuit receiving the random task to perform the random task:
setting a semaphore for a circuit that received the random task to a semaphore that indicates write inhibition;
after controlling the circuit that receives the random task to execute the random task, the method further comprises:
setting a semaphore for the circuit that performed the random task to a semaphore indicating write permission.
7. The method of random verification of a ping pong configuration circuit of claim 6, further comprising, prior to controlling the circuit that received the random task to perform the random task:
judging whether the random task exists in the circuit or not;
if yes, executing the random task in a circuit which receives the random task in an entering control mode;
if not, writing the random task into the circuit, and entering a step of controlling the circuit which receives the random task to execute the random task.
8. A random verification apparatus for a ping pong configuration circuit, comprising:
a memory for storing a computer program;
a controller for implementing the steps of the random verification method of a ping pong configuration circuit as claimed in any one of claims 1 to 7 when executing said computer program.
9. The upper computer is characterized by comprising an upper computer body and a random verification device of the ping-pong configuration circuit as claimed in claim 8;
the upper computer body is connected with the random verification device of the ping-pong configuration circuit.
10. A storage medium having stored thereon a computer program which, when executed by a processor, implements the steps of the random verification method of a ping pong configuration circuit as claimed in any one of claims 1 to 7.
CN202310361982.6A 2023-04-07 2023-04-07 Random verification method and device for ping-pong configuration circuit, upper computer and storage medium Active CN116090406B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202310361982.6A CN116090406B (en) 2023-04-07 2023-04-07 Random verification method and device for ping-pong configuration circuit, upper computer and storage medium

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202310361982.6A CN116090406B (en) 2023-04-07 2023-04-07 Random verification method and device for ping-pong configuration circuit, upper computer and storage medium

Publications (2)

Publication Number Publication Date
CN116090406A true CN116090406A (en) 2023-05-09
CN116090406B CN116090406B (en) 2023-07-14

Family

ID=86210497

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202310361982.6A Active CN116090406B (en) 2023-04-07 2023-04-07 Random verification method and device for ping-pong configuration circuit, upper computer and storage medium

Country Status (1)

Country Link
CN (1) CN116090406B (en)

Citations (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20030079059A1 (en) * 1999-03-25 2003-04-24 Tsai Mandy Mei-Feng Interface between different clock rate components
CN1630053A (en) * 2003-12-18 2005-06-22 四川南山之桥微电子有限公司 Verification method for ping-pong match mode of switching chip
CN102222316A (en) * 2011-06-22 2011-10-19 北京航天自动控制研究所 Double-buffer ping-bang parallel-structure image processing optimization method based on DMA (direct memory access)
US20180239530A1 (en) * 2017-02-20 2018-08-23 Texas Instruments Incorporated Methods and apparatus for reduced area control register circuit
CN110134503A (en) * 2019-04-28 2019-08-16 中国银行股份有限公司 Timed task processing method, device and storage medium under a kind of cluster environment
CN112486901A (en) * 2020-11-30 2021-03-12 清华大学 Memory computing system and method based on ping-pong buffer
WO2022121315A1 (en) * 2020-12-08 2022-06-16 深圳市广和通无线股份有限公司 Network handover method and apparatus, computer device, and storage medium
CN115085765A (en) * 2022-06-13 2022-09-20 重庆邮电大学 FPGA-based PLC system receiving end equal gain combination realization method
CN115167809A (en) * 2022-08-01 2022-10-11 成都天奥信息科技有限公司 Method for realizing sequencing circuit based on pipeline processing
CN115391846A (en) * 2021-05-24 2022-11-25 北欧半导体公司 PUF key transmission
CN115908100A (en) * 2021-09-30 2023-04-04 想象技术有限公司 Graphics processor

Patent Citations (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20030079059A1 (en) * 1999-03-25 2003-04-24 Tsai Mandy Mei-Feng Interface between different clock rate components
CN1630053A (en) * 2003-12-18 2005-06-22 四川南山之桥微电子有限公司 Verification method for ping-pong match mode of switching chip
CN102222316A (en) * 2011-06-22 2011-10-19 北京航天自动控制研究所 Double-buffer ping-bang parallel-structure image processing optimization method based on DMA (direct memory access)
US20180239530A1 (en) * 2017-02-20 2018-08-23 Texas Instruments Incorporated Methods and apparatus for reduced area control register circuit
CN110134503A (en) * 2019-04-28 2019-08-16 中国银行股份有限公司 Timed task processing method, device and storage medium under a kind of cluster environment
CN112486901A (en) * 2020-11-30 2021-03-12 清华大学 Memory computing system and method based on ping-pong buffer
WO2022121315A1 (en) * 2020-12-08 2022-06-16 深圳市广和通无线股份有限公司 Network handover method and apparatus, computer device, and storage medium
CN115391846A (en) * 2021-05-24 2022-11-25 北欧半导体公司 PUF key transmission
CN115908100A (en) * 2021-09-30 2023-04-04 想象技术有限公司 Graphics processor
CN115085765A (en) * 2022-06-13 2022-09-20 重庆邮电大学 FPGA-based PLC system receiving end equal gain combination realization method
CN115167809A (en) * 2022-08-01 2022-10-11 成都天奥信息科技有限公司 Method for realizing sequencing circuit based on pipeline processing

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
刘延飞;杨铁阡;李琪;倪亮;: "多总线地面测试设备中双SDRAM控制器的设计", 电讯技术, no. 04, pages 31 - 34 *
樊磊;吕高登;: "基于CPLD的高速存储设计", 电子元器件应用, no. 11, pages 80 - 81 *

Also Published As

Publication number Publication date
CN116090406B (en) 2023-07-14

Similar Documents

Publication Publication Date Title
JP2007287171A (en) Method and apparatus for distributing operation to remote computer, and storage medium
JP2008009721A (en) Evaluation system and evaluation method thereof
US7363544B2 (en) Program debug method and apparatus
KR20170040734A (en) Electronic system with update control mechanism and method of operation thereof
WO2020232951A1 (en) Task execution method and device
CN110765032A (en) Method for reading and writing I2C memory based on system management bus interface
US9529536B2 (en) Semiconductor memory device, memory system including the same, and operating method thereof
US20050154573A1 (en) Systems and methods for initializing a lockstep mode test case simulation of a multi-core processor design
US8117574B2 (en) Implementing a serialization construct within an environment of parallel data flow graphs
EP3933639B1 (en) Transaction processing method, apparatus, and electronic device for blockchain
CN107577527A (en) Task generation and scheduling method and device
CN116090406B (en) Random verification method and device for ping-pong configuration circuit, upper computer and storage medium
CN115656788B (en) Chip testing system, method, equipment and storage medium
CN111352492A (en) Digital power-on reset circuit, method, device and storage medium
CN115687166B (en) Formal verification method and system
CN116069765A (en) Data migration method, device, electronic equipment and storage medium
CN115760405A (en) Transaction execution method, device, computer equipment and medium
CN115576766A (en) Flash memory management algorithm debugging method, system, device and readable storage medium
CN113672260A (en) CPU initialization method for processor
CN113177388A (en) Device, system and method for testing and verifying IP (Internet protocol) core
CN114968864B (en) Verification environment construction method, chip verification method and system
CN113176974B (en) Method, device and system for verifying IP core
CN113407438B (en) Module testing method, computer device, and storage medium
US20220156074A1 (en) Electronic device and multiplexing method of spatial
CN114077538A (en) Program debugging method and device and readable storage medium

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