CN114330625A - Passive radio frequency tag verification system and control method thereof - Google Patents
Passive radio frequency tag verification system and control method thereof Download PDFInfo
- Publication number
- CN114330625A CN114330625A CN202111371852.8A CN202111371852A CN114330625A CN 114330625 A CN114330625 A CN 114330625A CN 202111371852 A CN202111371852 A CN 202111371852A CN 114330625 A CN114330625 A CN 114330625A
- Authority
- CN
- China
- Prior art keywords
- radio frequency
- tag
- frequency tag
- command
- state
- 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
Links
- 238000012795 verification Methods 0.000 title claims abstract description 115
- 238000000034 method Methods 0.000 title claims abstract description 60
- 230000004044 response Effects 0.000 claims abstract description 186
- 238000012360 testing method Methods 0.000 claims abstract description 26
- 238000001514 detection method Methods 0.000 claims abstract description 16
- 230000007704 transition Effects 0.000 claims description 45
- 230000002159 abnormal effect Effects 0.000 claims description 37
- 238000012545 processing Methods 0.000 claims description 9
- 238000004806 packaging method and process Methods 0.000 claims description 7
- 230000008569 process Effects 0.000 abstract description 7
- 101100079986 Caenorhabditis elegans nrfl-1 gene Proteins 0.000 description 9
- 238000005516 engineering process Methods 0.000 description 9
- 238000011161 development Methods 0.000 description 8
- 238000013461 design Methods 0.000 description 7
- 238000010586 diagram Methods 0.000 description 6
- 230000006870 function Effects 0.000 description 5
- 238000013524 data verification Methods 0.000 description 4
- 238000005538 encapsulation Methods 0.000 description 2
- 230000009191 jumping Effects 0.000 description 2
- 238000012423 maintenance Methods 0.000 description 2
- 239000000463 material Substances 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000004088 simulation Methods 0.000 description 2
- 230000004075 alteration Effects 0.000 description 1
- 235000000332 black box Nutrition 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 230000005284 excitation Effects 0.000 description 1
- 238000007689 inspection Methods 0.000 description 1
- 238000007726 management method Methods 0.000 description 1
- 238000013508 migration Methods 0.000 description 1
- 230000005012 migration Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 239000013307 optical fiber Substances 0.000 description 1
- 230000008520 organization Effects 0.000 description 1
- 239000002245 particle Substances 0.000 description 1
- 238000012552 review Methods 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
Images
Classifications
-
- Y—GENERAL 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
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D30/00—Reducing energy consumption in communication networks
- Y02D30/70—Reducing energy consumption in communication networks in wireless communication networks
Landscapes
- Near-Field Transmission Systems (AREA)
Abstract
The invention discloses a passive radio frequency tag verification system and a control method thereof, wherein the system comprises: the system comprises a transaction test sending module, a driving module, a reference model module, a detection module and a score board module, wherein the driving module processes a transaction to be tested sent by the transaction test sending module to obtain a corresponding tag command; the reference model module acquires a target state response of the tag command when the tag command is determined to be valid, generates a first comparison result according to the target state response and the actual state response when the target state response and the actual state response output by the detection module are command data, and determines the working state of the radio frequency tag according to the first comparison result; and when the target state response and the actual state response are read-write data, the score board module generates a second comparison result according to the target state response and the actual state response, and determines the working state of the radio frequency tag according to the second comparison result, so that the verification workload is reduced, and the verification efficiency is improved.
Description
Technical Field
The present invention relates to the field of chip verification technologies, and in particular, to a passive radio frequency tag verification system, a control method of the passive radio frequency tag verification system, and a computer-readable storage medium.
Background
The Radio Frequency Identification (RFID) technology is a non-contact automatic Identification technology implemented by Radio Frequency communication, and the distance between a metering device equipped with a Radio Frequency tag and a read/write terminal is mutually induced in a certain range, so as to implement non-contact automatic Identification. The RFID technology is mainly classified into a passive RFID technology and an active RFID technology, wherein the passive RFID technology is mainly focused on the aspects of a reader/writer, a read/write module, an electronic tag inlay design, an electronic tag encapsulation and the like, and is widely applied to the aspects of logistics, asset management, article anti-counterfeiting and the like. The technology is compatible with an ISO18000-6C protocol, the ISO18000-6C protocol has the characteristics of multiple commands, diversified state jumps and the like, in addition, links such as meter information confidentiality and the like are considered, different chip manufacturers may need to additionally expand and support some private instructions and various working modes, and scenes in the verification process are more diversified and complicated.
The existing simulation verification platform is built by using a Verilog language, the verification abstraction level is low, the hierarchical structure division is not clear, the test cases adopt a directional test mode, new test cases cannot be automatically generated, the number of the cases is large, the coverage rate is low, when the design is updated, products are iterated or applied to other verification scenes, large modification is usually needed, the use case reusability is low, and the maintenance cost is high.
Disclosure of Invention
The present invention is directed to solving, at least to some extent, one of the technical problems in the related art. Therefore, a first object of the present invention is to provide a passive rf tag verification system, which determines a data verification manner according to the type of a tag command, so as to implement automatic verification, improve verification efficiency, reduce verification workload, and save time and cost.
The second purpose of the invention is to provide a control method of the passive radio frequency tag verification system.
A third object of the invention is to propose a computer-readable storage medium.
The fourth purpose of the invention is to provide a passive radio frequency tag verification system
In order to achieve the above object, an embodiment of a first aspect of the present invention provides a passive radio frequency tag verification system, including: the system comprises a transaction test sending module, a driving module, a reference model module, a detection module and a score board module, wherein the transaction test sending module is used for sending a transaction to be tested; the driving module is used for processing the transaction to be tested so as to obtain a corresponding tag command and respectively sending the tag command to the radio frequency tag and the reference model module; the detection module is used for detecting the actual state response of the tag command output by the radio frequency tag according to the tag command; the reference model module is used for acquiring a target state response of the tag command when the tag command is determined to be valid, generating a first comparison result according to the target state response and the actual state response when the target state response and the actual state response are command data, and determining the working state of the radio frequency tag according to the first comparison result; and the scoring board module is used for generating a second comparison result according to the target state response and the actual state response when the target state response and the actual state response are read-write data, and determining the working state of the radio frequency tag according to the second comparison result.
According to the passive radio frequency tag verification system provided by the embodiment of the invention, the transaction test sending module is used for sending a transaction to be tested; the driving module is used for processing the transaction to be tested so as to obtain a corresponding tag command and respectively sending the tag command to the radio frequency tag and the reference model module; the detection module is used for detecting the actual state response of the tag command output by the radio frequency tag according to the tag command; the reference model module is used for acquiring a target state response of the tag command when the tag command is determined to be valid, generating a first comparison result according to the target state response and the actual state response when the target state response and the actual state response are command data, and determining the working state of the radio frequency tag according to the first comparison result; and the score board module is used for generating a second comparison result according to the target state response and the actual state response when the target state response and the actual state response are read-write data, and determining the working state of the radio frequency tag according to the second comparison result. Therefore, the system determines the data verification mode according to the type of the tag command, realizes automatic verification, improves verification efficiency, reduces verification workload and saves time and cost.
In addition, the passive radio frequency tag verification system according to the above embodiment of the present invention may further have the following additional technical features:
according to an embodiment of the present invention, the reference model module is further configured to determine that the radio frequency tag is in a normal working state when the first comparison result is the same; and when the first comparison result is different, determining that the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, the score counting board module is further configured to determine that the radio frequency tag is in a normal working state when the second comparison result is the same; and when the second comparison result is different, determining that the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, the reference model module is further configured to, when the target status response and the actual status response are command data, obtain a status transition expected result of the target status response and a status transition result of the actual status response; when the state transition expected result of the target state response is different from the state transition result of the actual state response, determining that the radio frequency tag is in an abnormal working state; and when the state transition expected result of the target state response is the same as the state transition result of the actual state response, determining that the radio frequency tag is in a normal working state.
According to an embodiment of the present invention, the reference model module is further configured to determine that the tag command is valid when the tag command and the state parameter thereof are the same as the preset reference data; and when the tag command and the state parameter thereof are different from the preset reference data, determining that the tag command is invalid and the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, the reference model module is further configured to, when the actual status response includes a random number, determine that the radio frequency tag is in an abnormal operating state when the current random number is the same as the random number included in the actual status response of the previous tag command.
According to an embodiment of the invention, the transaction to be tested includes a plurality of command transactions, and the transaction test sending module is further configured to individually package each command transaction in the transactions to be tested to form a data packet, and perform data exchange in the form of the data packet.
According to an embodiment of the invention, the transaction test sending module is further configured to pack together command transactions in which a mutual state jump exists among the transactions to be tested.
In order to achieve the above object, an embodiment of a second aspect of the present invention provides a control method for a passive radio frequency tag verification system, where the passive radio frequency tag verification system includes a transaction test sending module, a driving module, a reference model module, a detection module, and a scoreboard module, and the control method includes: receiving a transaction to be tested; processing the transaction to be tested to obtain a corresponding tag command, and respectively sending the tag command to the radio frequency tag and the reference model module; detecting the actual state response of the tag command output by the radio frequency tag according to the tag command; when the tag command is determined to be valid, acquiring a target state response of the tag command, generating a first comparison result according to the target state response and the actual state response when the target state response and the actual state response are command data, and determining the working state of the radio frequency tag according to the first comparison result; and when the target state response and the actual state response are read-write data, generating a second comparison result according to the target state response and the actual state response, and determining the working state of the radio frequency tag according to the second comparison result.
According to the control method of the passive radio frequency tag verification system, a transaction to be tested is received; processing the transaction to be tested to obtain a corresponding tag command, and respectively sending the tag command to the radio frequency tag and the reference model module; detecting the actual state response of the tag command output by the radio frequency tag according to the tag command; when the tag command is determined to be valid, acquiring a target state response of the tag command, generating a first comparison result according to the target state response and the actual state response when the target state response and the actual state response are command data, and determining the working state of the radio frequency tag according to the first comparison result; and when the target state response and the actual state response are read-write data, generating a second comparison result according to the target state response and the actual state response, and determining the working state of the radio frequency tag according to the second comparison result. Therefore, the control method can realize automatic verification, improve verification efficiency, reduce verification workload and save time and cost.
In addition, the control method of the passive radio frequency tag verification system according to the above embodiment of the present invention may further have the following additional technical features:
according to one embodiment of the invention, determining the working state of the radio frequency tag according to the first comparison result comprises the following steps: when the first comparison result is the same, determining that the radio frequency tag is in a normal working state; and when the first comparison result is different, determining that the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, determining the working state of the rf tag according to the second comparison result includes: when the second comparison result is the same, determining that the radio frequency tag is in a normal working state; and when the second comparison result is different, determining that the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, the method for controlling the passive radio frequency tag authentication system further includes: when the target state response and the actual state response are command data, acquiring a state transition expected result of the target state response; when the state transition expected result of the target state response is different from the state transition result of the actual state response, determining that the radio frequency tag is in an abnormal working state; and when the state transition expected result of the target state response is the same as the state transition result of the actual state response, determining that the radio frequency tag is in a normal working state.
According to an embodiment of the present invention, the method for controlling the passive radio frequency tag authentication system further includes: when the tag command and the state parameter thereof are the same as the preset reference data, determining that the tag command is valid; and when the tag command and the state parameter thereof are different from the preset reference data, determining that the tag command is invalid and the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, the method for controlling the passive radio frequency tag authentication system further includes: and when the actual state response contains the random number, determining that the current random number is the same as the random number contained in the actual state response of the last tag command, and the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, the transaction to be tested includes a plurality of command transactions, and the method further includes: and packaging each command transaction in the transactions to be tested separately to form a data packet, and exchanging data in the form of the data packet.
According to an embodiment of the present invention, the method for controlling the passive radio frequency tag authentication system further includes: and packaging the command transactions with the mutual state jump in the transactions to be tested.
In order to achieve the above object, a computer-readable storage medium according to a third aspect of the present invention is provided, on which a control program of a passive rfid tag authentication system is stored, and the control program of the passive rfid tag authentication system implements the control method of the passive rfid tag authentication system when executed by a processor.
The computer-readable storage medium of the embodiment of the invention can realize automatic verification by executing the control method of the passive radio frequency tag verification system, thereby improving the verification efficiency, reducing the verification workload and saving the time cost.
In order to achieve the above object, a fourth aspect of the present invention provides a passive radio frequency tag verification system, including a memory, a processor, and a control program of the passive radio frequency tag verification system, where the control program is stored in the memory and is executable on the processor, and when the processor executes the control program of the passive radio frequency tag verification system, the control method of the passive radio frequency tag verification system is implemented.
According to the passive radio frequency tag verification system, automatic verification can be achieved by executing the control method of the passive radio frequency tag verification system, verification efficiency is improved, verification workload is reduced, and time cost is saved.
Additional aspects and advantages of the invention will be set forth in part in the description which follows and, in part, will be obvious from the description, or may be learned by practice of the invention.
Drawings
FIG. 1 is a block schematic diagram of a passive radio frequency tag authentication system according to an embodiment of the present invention;
FIG. 2 is a schematic diagram of a data packet in a passive RFID tag verification system according to an embodiment of the invention;
FIG. 3 is a schematic diagram of a hierarchical design of sequence granularity in a passive RFID tag verification system according to an embodiment of the present invention;
FIG. 4 is a schematic diagram of a passive radio frequency tag authentication system according to one embodiment of the present invention;
FIG. 5 is a flow chart of a method of controlling a passive RFID tag verification system according to an embodiment of the present invention;
FIG. 6 is a block diagram of a passive RF tag verification system according to one embodiment of the present invention.
Detailed Description
Reference will now be made in detail to embodiments of the present invention, examples of which are illustrated in the accompanying drawings, wherein like or similar reference numerals refer to the same or similar elements or elements having the same or similar function throughout. The embodiments described below with reference to the drawings are illustrative and intended to be illustrative of the invention and are not to be construed as limiting the invention.
A passive radio frequency tag authentication system, a control method of the passive radio frequency tag authentication system, and a computer-readable storage medium according to embodiments of the present invention will be described below with reference to the accompanying drawings.
In recent years, the rapid development of Verification methodologies represented by UVM (Universal Verification Methodology) has led to a significant increase in Verification efficiency. The UVM is a verification platform development framework taking a SystemVerilog class library as a main body, and a verification engineer can construct a functional verification environment with a standardized hierarchical structure and an interface by using reusable components of the UVM. It was introduced by the Accellera Standard organization and is fully supported by three major main stream EDA suppliers, sysnopsys mentor and cadence.
Compared with the traditional verilog platform, the verification platform built by the UVM technology has the advantages of high abstraction level, clear structure, random constraint, high reusability and the like. At present, some verification schemes based on the UVM exist for passive RFID verification, but the conventional UVM platform is often unreasonable in transaction (transaction) setting in the RFID verification, data exchange is mostly in units of frames or packets, the bottom layer development workload of verification personnel cannot be reduced due to excessively fine sequence granularity, white box verification is mostly adopted in the verification process, a missing reference component cannot be automatically verified, the verification efficiency is low, and the reusability and the portability of the platform are limited.
In order to solve the problems, the invention provides a passive radio frequency tag verification system, which improves the reusability of a verification platform by redefining bottom-layer transactions and adopting a particle hierarchical design and a black box design method of respectively constructing a full-automatic detection reference model and a score counting board aiming at data verification and command state verification, reduces the bottom-layer development workload of verifiers and improves the verification efficiency.
Fig. 1 is a block diagram of a passive rf tag authentication system according to an embodiment of the present invention.
As shown in fig. 1, a passive rf tag verification system according to an embodiment of the present invention may include: a transaction test sending module 10, a driving module 20, a reference model module 30, a detection module 40 and a scoreboard module 50.
The transaction test sending module 10 is configured to send a transaction to be tested. In an embodiment of the present invention, the transaction to be tested includes a plurality of command transactions, and the transaction test sending module 10 is further configured to separately encapsulate each command transaction in the transactions to be tested to form a data packet, so as to perform data exchange in the form of the data packet. The transaction test sending module 10 is further configured to pack together command transactions in which a mutual state jump exists among the transactions to be tested.
Specifically, the radio frequency tag 60 follows an ISO18000-6C protocol, and the ISO18000-6C protocol has many commands and diversified state jumps, and besides, links such as tag information confidentiality are considered, besides standard commands specified in the protocol, some private instructions need to be extended and supported. The tag has twenty-four instructions in total, the existing UVM platform is often unreasonable in transaction (transaction) setting in the verification of RFID, and the data exchange is mostly in the unit of command. Assuming that each of twenty-four instructions in the transaction to be tested is used as the underlying transaction, the transaction test sending module 10 packs all the commands into one large data packet, that is, data exchange is spread out in the form of data packets instead of command units, thereby reducing the bottom development workload of the verifier.
For example, sequence (transaction test issue module 10) generates a transaction of type rfid _ xact, as shown in fig. 2, the command includes: TR _ Config, TR _ Select, TR _ Query, TR _ QueryAdjust, TR _ QueryRep, TR _ ACK, TR _ Access, TR _ Write, TR _ NCK, TR _ REQAU, TR _ Req _ RN, TR _ Read, TR _ Kill …, packetizes this command into a data packet, then passes through sequence to driver (drive module 20), and finally driver drives the transaction onto the DUT (radio frequency tag). Each variable in the data packet is a command transaction, the variables in each command are randomly generated through constraint, and taking a query _ transaction command as an example, parameters (DR, M, Trext, Sel, Session, Target and Q) can be random in a control range.
The current verification platform is often too fine in sequence granularity, when a verifier develops, a lot of bottom development work needs to be done, the workload is large, and repeated work is easy to generate errors. Therefore, a hierarchical design can be adopted, and the excitation generation of the basic granular layer, the advanced granular layer and the user-defined granular layer is realized by respectively packaging commands and multiple commands. Still taking the example of twenty-four commands tagged, the corresponding sequence implements twenty-four, such as seq _ ack, seq _ select, seq _ query, seq _ kill, etc. The mutual state jumping exists among the twenty-four commands, the multi-command encapsulation achieves the purpose of state jumping, for example, when an inactivated tag enters a radio frequency field, the tag enters a ready state, the tag in the state receives a query command, and the tag is switched to a response state. The matching tag will take the Q bit data from its Random Number Generator (RNG) and transition to a Reply (Reply) state when Q is zero. When a tag enters the acknowledge state, it should transition to the acknowledge state if it receives a valid Acknowledgement (ACK). In the process of realizing the label from the ready (ready) state to the Acknowledgement (ACK) state, the Query _ transaction and the Select _ transaction are combined and packaged into the SEQ _ Select, and the jump from the ready state to the ACK state is conveniently realized through the combined call of the SEQ _ Select and the SEQ _ ACK.
The verifier may generate different levels of test sequences using the basic granular layer and the advanced granular layer. As shown in fig. 3, when the existing granular layer cannot meet the requirement of the test sequence, the existing basic granular layer and the existing advanced granular layer may also be used to construct the granular layer of the user to meet the requirements of different functional parts, such as setting of a memory, entering of a state jump mode, and other common functions, which often require the user to configure the granular layer by himself. Taking the security mode as an example, the Base _ safe _ mode sequence is a custom granular layer, and the keys "+ kill _ password", "+ access _ password" (memory field set), "+ safe _ mode" (mode), "+ state" (expected state of jump) etc. that are passed in from the emulation command are judged in the body of this sequence using get _ cmdle. When the functional use case is written, the use case is inherited to the Base _ safe _ mode, only one use case is needed, and all memory, all modes and all expected skip state types can be written by setting different parameters in different simulation commands, so that the use case can be conveniently reused, the bottom development workload of verifiers is reduced, and the working efficiency is improved.
The driving module 20 is configured to process the transaction to be tested to obtain a corresponding tag command, and send the tag command to the rf tag 60 and the reference model module 30, respectively. That is, the driving module 20 processes the transaction to be tested after receiving it to obtain tag commands that the rf tag 60 and the reference model module 30 can recognize.
The detection module 40 is used for detecting the actual status response of the tag command outputted by the rf tag 60 according to the tag command. That is, after receiving the tag command sent by the driving module 20, the rf tag 60 starts to operate according to the tag command, and the detecting module 40 detects the output state of the rf tag, that is, the actual state response of the rf tag when operating according to the tag command.
The reference model module 30 is configured to obtain a target status response of the tag command when the tag command is determined to be valid, generate a first comparison result according to the target status response and the actual status response when the target status response and the actual status response are command data, and determine the working status of the radio frequency tag 60 according to the first comparison result.
According to an embodiment of the present invention, the reference model module 30 is further configured to determine that the rf tag is in a normal working state when the first comparison result is the same; and when the first comparison result is different, determining that the radio frequency tag is in an abnormal working state.
Further, according to an embodiment of the present invention, the reference model module 30 is further configured to, when the target status response and the actual status response are command data, obtain a status transition expected result of the target status response and a status transition result of the actual status response; when the state transition expected result of the target state response is different from the state transition result of the actual state response, determining that the radio frequency tag is in an abnormal working state; and when the state transition expected result of the target state response is the same as the state transition result of the actual state response, determining that the radio frequency tag is in a normal working state.
Specifically, at present, a verification platform adopting white-box verification needs verification personnel to spend a long time on knowing the verification platform and codes when the codes are changed or transplanted, the verification efficiency is low, and the reusability and the portability of the platform are limited, so that the application adopts a full-automatic reference model and a score counting plate black-box verification.
Referring to fig. 4, the reference model module 30 mainly verifies tag commands and state transitions of the tag commands, and the scoreboard module 50 mainly verifies read/write data. The following describes the verification process for the status response and status transition of the tag command in detail.
Since the tag command and the tag command have more state transitions (state jumps), in order to improve the efficiency of comparing the verification results, the full-automatic comparison function of tag command response and state jumps is completed in the reference model module 30. Specifically, the monitor (detection module 40) collects the actual state response and the state transition result of the actual state response of the output of the DUT (radio frequency tag 60) and transmits them to the reference model (reference model module 30), after the Driver (driving module 20) inputs the actual state response and the state transition result of the actual state response into the reference model, the target state response or the state transition expected result of the target state response is obtained through the algorithm pre-stored in the reference model, and the reference model compares the target state response and the actual state response, and if the target state response and the actual state response are the same, the radio frequency tag is considered to be in the normal working state; if not, the radio frequency tag is considered to be in an abnormal working state. Similarly, the reference model compares the state transition expected result of the target state response with the state transition result of the actual state response, and if the state transition expected result and the state transition result are the same, the radio frequency tag is considered to be in a normal working state; if not, the radio frequency tag is considered to be in an abnormal working state.
Further, the reference model module 30 is further configured to determine that the tag command is valid when the tag command and the state parameter thereof are the same as the preset reference data; and when the tag command and the state parameter thereof are different from the preset reference data, determining that the tag command is invalid and the radio frequency tag is in an abnormal working state.
The reference model module 30 is further configured to, when the actual status response includes a random number, determine that the radio frequency tag is in an abnormal operating state when the current random number is the same as the random number included in the actual status response of the previous tag command.
That is, when the reference model module 30 verifies the tag command, it needs to determine whether the tag command is valid, that is, the tag command is verified only if the tag command is valid. For example, after receiving the tag command sent by the driving module 20, the reference model module 30 first determines whether the tag command is the same as a tag command pre-stored in the reference model module 30, and if the tag command is the same, the tag command is considered to be valid, and if the tag command is different, the transaction to be tested received by the driving module 20 is considered to be abnormal. And when judging whether the tag command is effective, determining whether parameters corresponding to the tag command are the same as the parameters stored in advance, wherein the parameters can comprise a jump state mark, a selected mark, a Q value in a time slot counter and the like, and if the parameters are not consistent, the radio frequency tag is considered to be in an abnormal state. In one embodiment of the invention, a uvm _ info report is also generated for the results of the comparison for review by a technician.
It can be understood that, when the radio frequency tag receives the tag command, the radio frequency tag may or may not respond to the tag command, if the tag command responds, it is further necessary to determine whether the tag command response includes a random number, if so, it is necessary to determine whether the current random number is the same as the random number generated by the last response, and if so, the radio frequency tag is considered to be in an abnormal operating state. The obtained random number is an identifier attached during response, which is equivalent to encryption, the randomly generated identifier is not repeated under normal conditions, and if the random number is repeated, the radio frequency tag is considered to be in an abnormal working state.
The score board module 50 is configured to generate a second comparison result according to the target status response and the actual status response when the target status response and the actual status response are read-write data, and determine the working status of the radio frequency tag 60 according to the second comparison result.
Further, the score board module 50 is further configured to determine that the radio frequency tag is in a normal working state when the second comparison result is the same; and when the second comparison result is different, determining that the radio frequency tag is in an abnormal working state.
Specifically, when the target status response is read-write data, the read-write data is stored in the storage area, and the score board module 50 is used to automatically compare the read-write data. Specifically, the monitor (detection module 40) collects the output of the DUT (radio frequency tag 60), where one is passed to the reference model (reference model module 30) and the other is passed to the scoreboard (scoreboard module 50). If the data packet transmitted to the reference model by the Driver (the Driver module 20) is a read-write data packet, the data packet is transmitted to the scoreboard, and automatic comparison with the DUT data collected by the monitor is realized in the scoreboard. If the comparison result is the same, the radio frequency tag is considered to be in a normal working state; and if the comparison result is different, the radio frequency tag is considered to be in an abnormal working state. Therefore, the verification system of the invention improves the verification reusability, has strong readability and higher command abstraction level, takes the standard command and the private command as bottom transactions, takes the command packet as a data exchange unit, and respectively encapsulates the single command and the multiple commands, thereby realizing the transaction-level modeling of the serialized hierarchical design. Through reference model module and scoreboard module, realized full automated inspection and compared, command data and state migration data adopt reference model module to carry out automatic comparison, and read-write data adopts scoreboard module to carry out automatic comparison, has reduced user's development cost, makes things convenient for later maintenance, has improved verification efficiency.
In summary, according to the passive radio frequency tag verification system of the embodiment of the present invention, the transaction test sending module is configured to send a transaction to be tested; the driving module is used for processing the transaction to be tested so as to obtain a corresponding tag command and respectively sending the tag command to the radio frequency tag and the reference model module; the detection module is used for detecting the actual state response of the tag command output by the radio frequency tag according to the tag command; the reference model module is used for acquiring a target state response of the tag command when the tag command is determined to be valid, generating a first comparison result according to the target state response and the actual state response when the target state response and the actual state response are command data, and determining the working state of the radio frequency tag according to the first comparison result; and the score board module is used for generating a second comparison result according to the target state response and the actual state response when the target state response and the actual state response are read-write data, and determining the working state of the radio frequency tag according to the second comparison result. Therefore, the system determines the data verification mode according to the type of the tag command, realizes automatic verification, improves verification efficiency, reduces verification workload and saves time and cost.
Corresponding to the embodiment, the invention further provides a control method of the passive radio frequency tag verification system.
Fig. 5 is a flowchart of a control method of a passive rfid tag authentication system according to an embodiment of the present invention.
In one embodiment of the invention, the passive radio frequency tag verification system comprises a transaction test sending module, a driving module, a reference model module, a detection module and a score board module.
As shown in fig. 5, a method for controlling a passive rf tag authentication system according to an embodiment of the present invention may include the following steps:
s1, receiving the transaction to be tested.
And S2, processing the transaction to be tested to obtain corresponding tag commands, and respectively sending the tag commands to the radio frequency tag and the reference model module.
And S3, detecting the actual state response of the label command output by the radio frequency label according to the label command.
S4, when the tag command is determined to be valid, the target state response of the tag command is obtained, when the target state response and the actual state response are command data, a first comparison result is generated according to the target state response and the actual state response, and the working state of the radio frequency tag is determined according to the first comparison result.
And S5, when the target state response and the actual state response are read-write data, generating a second comparison result according to the target state response and the actual state response, and determining the working state of the radio frequency tag according to the second comparison result.
According to one embodiment of the invention, determining the working state of the radio frequency tag according to the first comparison result comprises the following steps: when the first comparison result is the same, determining that the radio frequency tag is in a normal working state; and when the first comparison result is different, determining that the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, determining the working state of the rf tag according to the second comparison result includes: when the second comparison result is the same, determining that the radio frequency tag is in a normal working state; and when the second comparison result is different, determining that the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, the method for controlling the passive radio frequency tag authentication system further includes: when the target state response and the actual state response are command data, acquiring a state transition expected result of the target state response; when the state transition expected result of the target state response is different from the state transition result of the actual state response, determining that the radio frequency tag is in an abnormal working state; and when the state transition expected result of the target state response is the same as the state transition result of the actual state response, determining that the radio frequency tag is in a normal working state.
According to an embodiment of the present invention, the method for controlling the passive radio frequency tag authentication system further includes: when the tag command and the state parameter thereof are the same as the preset reference data, determining that the tag command is valid; and when the tag command and the state parameter thereof are different from the preset reference data, determining that the tag command is invalid and the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, the method for controlling the passive radio frequency tag authentication system further includes: and when the actual state response contains the random number, determining that the current random number is the same as the random number contained in the actual state response of the last tag command, and the radio frequency tag is in an abnormal working state.
According to an embodiment of the present invention, the transaction to be tested includes a plurality of command transactions, and the method further includes: and packaging each command transaction in the transactions to be tested separately to form a data packet, and exchanging data in the form of the data packet.
According to an embodiment of the present invention, the method for controlling the passive radio frequency tag authentication system further includes: and packaging the command transactions with the mutual state jump in the transactions to be tested.
It should be noted that, for details disclosed in the control method of the passive radio frequency tag verification system according to the embodiment of the present invention, please refer to the details disclosed in the passive radio frequency tag verification system according to the embodiment of the present invention, which are not described herein again in detail.
According to the control method of the passive radio frequency tag verification system, a transaction to be tested is received; processing the transaction to be tested to obtain a corresponding tag command, and respectively sending the tag command to the radio frequency tag and the reference model module; detecting the actual state response of the tag command output by the radio frequency tag according to the tag command; when the tag command is determined to be valid, acquiring a target state response of the tag command, generating a first comparison result according to the target state response and the actual state response when the target state response and the actual state response are command data, and determining the working state of the radio frequency tag according to the first comparison result; and when the target state response and the actual state response are read-write data, generating a second comparison result according to the target state response and the actual state response, and determining the working state of the radio frequency tag according to the second comparison result. Therefore, the control method can realize automatic verification, improve verification efficiency, reduce verification workload and save time and cost.
In correspondence to the above embodiment, the present invention further provides a computer-readable storage medium, on which a control program of a passive radio frequency tag authentication system is stored, where the control program of the passive radio frequency tag authentication system, when executed by a processor, implements the control method of the passive radio frequency tag authentication system described above.
The computer-readable storage medium of the embodiment of the invention can realize automatic verification by executing the control method of the passive radio frequency tag verification system, thereby improving the verification efficiency, reducing the verification workload and saving the time cost.
Corresponding to the embodiment, the invention further provides a passive radio frequency tag verification system.
As shown in fig. 6, the passive rfid tag verification system 100 according to the embodiment of the present invention includes a memory 110, a processor 120, and a control program of the passive rfid tag verification system that is stored in the memory 110 and is executable on the processor 120, and when the processor 120 executes the control program of the passive rfid tag verification system, the control method of the passive rfid tag verification system is implemented.
According to the passive radio frequency tag verification system, automatic verification can be achieved by executing the control method of the passive radio frequency tag verification system, verification efficiency is improved, verification workload is reduced, and time cost is saved.
It should be noted that the logic and/or steps represented in the flowcharts or otherwise described herein, such as an ordered listing of executable instructions that can be considered to implement logical functions, can be embodied in any computer-readable medium for use by or in connection with an instruction execution system, apparatus, or device, such as a computer-based system, processor-containing system, or other system that can fetch the instructions from the instruction execution system, apparatus, or device and execute the instructions. For the purposes of this description, a "computer-readable medium" can be any means that can contain, store, communicate, propagate, or transport the program for use by or in connection with the instruction execution system, apparatus, or device. More specific examples (a non-exhaustive list) of the computer-readable medium would include the following: an electrical connection (electronic device) having one or more wires, a portable computer diskette (magnetic device), a Random Access Memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or flash memory), an optical fiber device, and a portable compact disc read-only memory (CDROM). Additionally, the computer-readable medium could even be paper or another suitable medium upon which the program is printed, as the program can be electronically captured, via for instance optical scanning of the paper or other medium, then compiled, interpreted or otherwise processed in a suitable manner if necessary, and then stored in a computer memory.
It should be understood that portions of the present invention may be implemented in hardware, software, firmware, or a combination thereof. In the above embodiments, the various steps or methods may be implemented in software or firmware stored in memory and executed by a suitable instruction execution system. For example, if implemented in hardware, as in another embodiment, any one or combination of the following techniques, which are known in the art, may be used: a discrete logic circuit having a logic gate circuit for implementing a logic function on a data signal, an application specific integrated circuit having an appropriate combinational logic gate circuit, a Programmable Gate Array (PGA), a Field Programmable Gate Array (FPGA), or the like.
In the description herein, references to the description of the term "one embodiment," "some embodiments," "an example," "a specific example," or "some examples," etc., mean that a particular feature, structure, material, or characteristic described in connection with the embodiment or example is included in at least one embodiment or example of the invention. In this specification, the schematic representations of the terms used above do not necessarily refer to the same embodiment or example. Furthermore, the particular features, structures, materials, or characteristics described may be combined in any suitable manner in any one or more embodiments or examples.
Furthermore, the terms "first", "second" and "first" are used for descriptive purposes only and are not to be construed as indicating or implying relative importance or implicitly indicating the number of technical features indicated. Thus, a feature defined as "first" or "second" may explicitly or implicitly include at least one such feature. In the description of the present invention, "a plurality" means at least two, e.g., two, three, etc., unless specifically limited otherwise.
In the present invention, unless otherwise expressly stated or limited, the terms "mounted," "connected," "secured," and the like are to be construed broadly and can, for example, be fixedly connected, detachably connected, or integrally formed; can be mechanically or electrically connected; they may be directly connected or indirectly connected through intervening media, or they may be connected internally or in any other suitable relationship, unless expressly stated otherwise. The specific meanings of the above terms in the present invention can be understood by those skilled in the art according to specific situations.
Although embodiments of the present invention have been shown and described above, it is understood that the above embodiments are exemplary and should not be construed as limiting the present invention, and that variations, modifications, substitutions and alterations can be made to the above embodiments by those of ordinary skill in the art within the scope of the present invention.
Claims (18)
1. A passive radio frequency tag authentication system, comprising: a transaction test sending module, a driving module, a reference model module, a detection module and a score board module, wherein,
the transaction test sending module is used for sending a transaction to be tested;
the driving module is used for processing the transaction to be tested so as to obtain a corresponding tag command and respectively sending the tag command to the radio frequency tag and the reference model module;
the detection module is used for detecting the actual state response of the tag command output by the radio frequency tag according to the tag command;
the reference model module is used for acquiring a target state response of the tag command when the tag command is determined to be valid, generating a first comparison result according to the target state response and the actual state response when the target state response and the actual state response are command data, and determining the working state of the radio frequency tag according to the first comparison result;
and the score board module is used for generating a second comparison result according to the target state response and the actual state response when the target state response and the actual state response are read-write data, and determining the working state of the radio frequency tag according to the second comparison result.
2. The passive radio frequency tag verification system of claim 1, wherein the reference model module is further configured to,
when the first comparison results are the same, determining that the radio frequency tag is in a normal working state;
and when the first comparison result is different, determining that the radio frequency tag is in an abnormal working state.
3. The passive radio frequency tag authentication system of claim 1, wherein the scoreboard module is further configured to,
when the second comparison result is the same, determining that the radio frequency tag is in a normal working state;
and when the second comparison result is different, determining that the radio frequency tag is in an abnormal working state.
4. The passive radio frequency tag verification system of claim 1, wherein the reference model module is further configured to,
when the target state response and the actual state response are command data, acquiring a state transition expected result of the target state response and a state transition result of the actual state response;
when the state transition expected result of the target state response is different from the state transition result of the actual state response, determining that the radio frequency tag is in an abnormal working state;
and when the state transition expected result of the target state response is the same as the state transition result of the actual state response, determining that the radio frequency tag is in a normal working state.
5. The passive radio frequency tag verification system of claim 1, wherein the reference model module is further configured to,
when the tag command and the state parameters thereof are the same as preset reference data, determining that the tag command is valid;
and when the tag command and the state parameters thereof are different from the preset reference data, determining that the tag command is invalid and the radio frequency tag is in an abnormal working state.
6. The passive radio frequency tag verification system of claim 1, wherein the reference model module is further configured to,
and when the actual state response contains the random number, determining that the radio frequency tag is in an abnormal working state when the current random number is the same as the random number contained in the actual state response of the last tag command.
7. The passive radio frequency tag verification system of claim 1, wherein the transaction to be tested includes a plurality of command transactions, and the transaction test sending module is further configured to individually package each command transaction in the transaction to be tested to form a data packet, and perform data exchange in the form of the data packet.
8. The passive radio frequency tag verification system of claim 7, wherein the transaction test sending module is further configured to package together command transactions having a mutual state jump among the transactions to be tested.
9. A control method of a passive radio frequency tag verification system is characterized in that the passive radio frequency tag verification system comprises a transaction test sending module, a driving module, a reference model module, a detection module and a score board module, and the control method comprises the following steps:
receiving a transaction to be tested;
processing the transaction to be tested to obtain a corresponding tag command, and respectively sending the tag command to a radio frequency tag and the reference model module;
detecting an actual state response of the tag command output by the radio frequency tag according to the tag command;
when the tag command is determined to be valid, acquiring a target state response of the tag command, generating a first comparison result according to the target state response and the actual state response when the target state response and the actual state response are command data, and determining the working state of the radio frequency tag according to the first comparison result;
and when the target state response and the actual state response are read-write data, generating a second comparison result according to the target state response and the actual state response, and determining the working state of the radio frequency tag according to the second comparison result.
10. The method for controlling a passive radio frequency tag authentication system according to claim 9, wherein determining the operating state of the radio frequency tag according to the first comparison result comprises:
when the first comparison results are the same, determining that the radio frequency tag is in a normal working state;
and when the first comparison result is different, determining that the radio frequency tag is in an abnormal working state.
11. The method for controlling the passive radio frequency tag verification system according to claim 9, wherein determining the operating state of the radio frequency tag according to the second comparison result includes:
when the second comparison result is the same, determining that the radio frequency tag is in a normal working state;
and when the second comparison result is different, determining that the radio frequency tag is in an abnormal working state.
12. The method of controlling a passive radio frequency tag authentication system of claim 9, further comprising:
when the target state response and the actual state response are command data, acquiring a state transition expected result of the target state response;
when the state transition expected result of the target state response is different from the state transition result of the actual state response, determining that the radio frequency tag is in an abnormal working state;
and when the state transition expected result of the target state response is the same as the state transition result of the actual state response, determining that the radio frequency tag is in a normal working state.
13. The method of controlling a passive radio frequency tag authentication system of claim 9, further comprising:
when the tag command and the state parameters thereof are the same as preset reference data, determining that the tag command is valid;
and when the tag command and the state parameters thereof are different from the preset reference data, determining that the tag command is invalid and the radio frequency tag is in an abnormal working state.
14. The method of controlling a passive radio frequency tag authentication system of claim 9, further comprising:
and when the actual state response contains the random number, determining that the radio frequency tag is in an abnormal working state when the current random number is the same as the random number contained in the actual state response of the last tag command.
15. The method of controlling a passive radio frequency tag authentication system of claim 9, wherein the transaction to be tested includes a plurality of command transactions, the method further comprising:
and independently packaging each command transaction in the transactions to be tested to form a data packet, and exchanging data in the form of the data packet.
16. The method of controlling a passive radio frequency tag authentication system of claim 15, further comprising:
and packaging the command transactions with the mutual state jump in the transactions to be tested.
17. A computer-readable storage medium, characterized in that a control program of a passive radio frequency tag authentication system is stored thereon, which when executed by a processor implements a control method of the passive radio frequency tag authentication system according to any one of claims 9 to 16.
18. A passive radio frequency tag authentication system, comprising a memory, a processor, and a control program of the passive radio frequency tag authentication system stored in the memory and executable on the processor, wherein the processor implements the control method of the passive radio frequency tag authentication system according to any one of claims 9 to 16 when executing the control program of the passive radio frequency tag authentication system.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111371852.8A CN114330625B (en) | 2021-11-18 | 2021-11-18 | Passive radio frequency tag verification system and control method thereof |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111371852.8A CN114330625B (en) | 2021-11-18 | 2021-11-18 | Passive radio frequency tag verification system and control method thereof |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN114330625A true CN114330625A (en) | 2022-04-12 |
| CN114330625B CN114330625B (en) | 2024-01-23 |
Family
ID=81045938
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202111371852.8A Active CN114330625B (en) | 2021-11-18 | 2021-11-18 | Passive radio frequency tag verification system and control method thereof |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN114330625B (en) |
Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN107944310A (en) * | 2017-11-09 | 2018-04-20 | 中京复电(上海)电子科技有限公司 | A kind of passive UHF RFID tags State Transferring test method |
| US20180165564A1 (en) * | 2016-12-12 | 2018-06-14 | Em Microelectronic-Marin Sa | Method for providing identification and access with respect to a radio-frequency tag |
| CN109933529A (en) * | 2019-03-12 | 2019-06-25 | 苏州中晟宏芯信息科技有限公司 | Verification method and verification platform based on computing unit |
| CN112069074A (en) * | 2020-09-10 | 2020-12-11 | 上海明矽微电子有限公司 | RFID tag chip verification device based on UVM |
| CN112084802A (en) * | 2020-08-12 | 2020-12-15 | 广州芯世物科技有限公司 | RFID tag chip verification system |
| CN112528688A (en) * | 2019-09-19 | 2021-03-19 | 浙江悦和科技有限公司 | Radio frequency tag control method, response method and device, storage medium, reader and radio frequency tag |
-
2021
- 2021-11-18 CN CN202111371852.8A patent/CN114330625B/en active Active
Patent Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20180165564A1 (en) * | 2016-12-12 | 2018-06-14 | Em Microelectronic-Marin Sa | Method for providing identification and access with respect to a radio-frequency tag |
| CN107944310A (en) * | 2017-11-09 | 2018-04-20 | 中京复电(上海)电子科技有限公司 | A kind of passive UHF RFID tags State Transferring test method |
| CN109933529A (en) * | 2019-03-12 | 2019-06-25 | 苏州中晟宏芯信息科技有限公司 | Verification method and verification platform based on computing unit |
| CN112528688A (en) * | 2019-09-19 | 2021-03-19 | 浙江悦和科技有限公司 | Radio frequency tag control method, response method and device, storage medium, reader and radio frequency tag |
| CN112084802A (en) * | 2020-08-12 | 2020-12-15 | 广州芯世物科技有限公司 | RFID tag chip verification system |
| CN112069074A (en) * | 2020-09-10 | 2020-12-11 | 上海明矽微电子有限公司 | RFID tag chip verification device based on UVM |
Also Published As
| Publication number | Publication date |
|---|---|
| CN114330625B (en) | 2024-01-23 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP4880919B2 (en) | Programmable module management | |
| KR100555003B1 (en) | Memory card | |
| CN103530216B (en) | A kind of PCIE based on UVM verifies system | |
| US5895909A (en) | Card and device for processing of same | |
| US7589624B2 (en) | Component unit monitoring system and component unit monitoring method | |
| EP1607905A1 (en) | Chipcard with contact interface and non-contact interface | |
| JP3865629B2 (en) | Storage device | |
| KR20080111061A (en) | Contactless programming and testing of memory elements | |
| CN103198341A (en) | RFID label chip verification system and verification method | |
| CN102375941A (en) | Method and system for validating chip validity by utilizing graphical chip | |
| US10068217B1 (en) | Status monitoring for boxed wireless device | |
| CN103259657A (en) | Dynamic analog authentication | |
| CN101490700B (en) | Smart card terminal side data and management framework | |
| CN102479123A (en) | System and method for testing chip operating system (COS) | |
| CN110377344A (en) | A kind of method for refreshing and relevant device of FRU information | |
| CN100466558C (en) | Method for realizing tax controlled data monitoring of POS system | |
| JP2003030613A (en) | Storage device and data processor provided with the storage device | |
| CN114330625A (en) | Passive radio frequency tag verification system and control method thereof | |
| CN102165459A (en) | System for managing access rights to an object of an object oriented programming language | |
| CN112100014B (en) | Passive wireless communication chip verification platform, construction method and chip verification method | |
| CN106156632B (en) | Safety device and method of the security service to host, safety equipment are provided in it | |
| JP4185680B2 (en) | Storage device | |
| CN105644369A (en) | Motor controller, and reset processing method and device thereof | |
| CN110191013A (en) | Electronic device, the Mock test method of more capital's interfaces and storage medium | |
| CN114741738A (en) | Tracing data processing method and device based on block chain, electronic equipment and 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 |