20results about How to "Improve verification speed" patented technology

The embodiment of the invention provides a chip verification method and device, electronic equipment and a storage medium, and relates to the technical field of chips.The method comprises the steps that a configuration file is obtained, the configuration file comprises the module name of a to-be-dummy module, reset signal information and the hierarchical structure of a to-be-dummy instance, and the to-be-dummy instance is the instantiated to-be-dummy module; using the module name to extract an interface code of a to-be-dummy module from the original code of the to-be-verified chip; obtaining an output value of an output interface signal corresponding to the to-be-dummy instance based on the output waveform of the to-be-dummy instance by using the interface code, the reset signal information and the hierarchical structure; adding an output value in the interface code to obtain a dummy code of the to-be-dummy instance; and verifying the to-be-verified chip by using the dummy code. By applying the technical scheme provided by the embodiment of the invention, the chip verification speed of the ST layer can be improved, the chip verification period is shortened, and problems can be quickly found and converged on the ST layer.

The invention discloses a voucher verification method, a service processing method, electronic equipment and a storage medium, and relates to the field of large model technology and e-commerce. The method comprises the steps that in response to a first input instruction acting on a first operation interface, target text data and a first service voucher are displayed on the first operation interface, the target text data are used for describing an initial reason for requesting to provide a target service, and the first service voucher is an image corresponding to the initial reason; the display module is used for displaying a first verification result or first prompt information of the first service voucher on the first operation interface in response to a first verification instruction acting on the first operation interface, and the first verification result is a result obtained by verifying the first service voucher based on the target text data; the first prompt information is used for prompting to wait for verification of the first service voucher to obtain a first verification result. According to the method and the device, the technical problem of low verification efficiency and accuracy of manual offline verification of certificates is solved.

The utility model discloses a test fixture for a double-sided sounding loudspeaker, which comprises a front test assembly and a rear test assembly which are detachably connected, the front test assembly comprises two test modules which are oppositely arranged, the two test modules are separable, the loudspeaker is fixed between the two test modules, and the rear test assembly is detachably connected with the front test assembly. The rear test assembly wraps one side of the loudspeaker, and the loudspeaker is limited in a sealed cavity formed by the front test assembly and the rear test assembly. According to the utility model, through the cooperation of the front test assembly and the rear test assembly, the double-sided sounding loudspeaker can be fixed, a sealed test environment is formed, the double-sided sounding loudspeaker can be tested, and the test accuracy and efficiency of a production line are improved.

The invention relates to the technical field of chip simulation, in particular to a TCL script-based waveform dump method, which comprises the following steps of: defining a system, a subsystem / submodule of the system, a dump level of the subsystem module and a dump level of the dump level according to a verification requirement of a chip in a simulation command line and / or makefile, and representing the dump level by using parameters; compiling an execution script based on a tool command language, the execution script being used for identifying the parameter representation of the simulation command line to analyze the verification demand of the chip, the execution script converting the verification demand into an analysis code; and adding a parameter for starting a UCLI command line mode in the simulation command line, and calling the analysis code in the UCLI command line mode to perform waveform dump. According to the application, after the verification demand of the chip is given through the simulation command line or the makefile, flexible selection of the dump waveform is realized.

The invention relates to the technical field of chip interconnection path verification, and relates to a verification method and system. The method comprises the following steps: determining a pin name from a pin file through a script program according to a core function or an extended function of a pin to be verified by a user; according to the name of the pin, determining a trigger target name and a function keyword of the pin through a script program; when the script program determines that an interconnection path corresponding to the pin does not have time delay based on the pin name, controlling the script program to construct a first interconnection path file based on the pin name, the pin triggering target name and the pin function keyword; and inputting the first interconnection path file and a first constraint file in the script program into a verification tool, and controlling the verification tool to verify the first interconnection path file. According to the method, the verification efficiency of the interconnection path is improved.

The invention discloses a system verification method and device, electronic equipment and a storage medium. The method comprises the steps that current configuration information and to-be-verified parameters of a vehicle system are acquired; the current configuration information is used for representing a hardware configuration state and a software configuration state of the vehicle system at the current moment; determining service information corresponding to the current configuration information; the service information is used for providing a preset function; establishing an automaton model based on the service information and the to-be-verified parameters; and inputting the automaton model into the formalized verification model, and outputting verification data. According to the method, the corresponding automaton model is established according to the real-time configuration information and the to-be-verified parameters, and the formalized model is input to realize formalized verification, so that the vehicle can perform formalized verification on the system performance under any configuration, and the adaptability and reliability of the system are improved; and meanwhile, each function of the vehicle system is packaged in the service, so that subsequent calling is facilitated, the verification speed of the system is accelerated, and the verification efficiency of the system is improved.

The invention provides an incentive and secure federal learning method and system based on a block chain, and the method comprises the steps: a plurality of participants obtain training tasks from the block chain, submit corresponding bidding prices to a smart contract, the smart contract determines a winner set in current training according to the bidding prices, and randomly divides the winner set into a training set and a verification set, obtaining a corresponding trainer and a verifier; the method comprises the following steps: downloading a currently trained local model from a block chain based on winner, adding artificial Gaussian noise, calculating a noise gradient of a target function of the local model by each winner, transmitting the noise gradient to each verifier for model verification, obtaining a list of the selected local model, and performing global aggregation; all verifiers are divided into small fragments, after a verification task of a local model of the trainer is received, each verifier in the small fragments evaluates the quality of the model, and the verifiers exchange votes mutually. The fragmentation consensus algorithm based on circulation can ensure the same security as a non-fragmentation consensus protocol.

The present invention provides an anti-counterfeiting code generation method, an anti-counterfeiting code decoding method and a device, the method comprising: determining a random number, using the random number as a key to encrypt first message information to obtain encrypted message information; determining summary information of the first message information based on a hash algorithm; encrypting the random number based on a private key to obtain a random number ciphertext; writing the encrypted message information into an information area based on a coding rule, writing the random number ciphertext into an encryption area, writing the summary information into a verification area, and writing the public key corresponding to the private key into a watermark area as digital watermark information to generate a corresponding anti-counterfeiting code; in this way, random number technology, cryptographic technology, digital watermark technology and a two-dimensional code coding method are combined, random numbers are used to realize one object one code, one code one password, cryptographic technology is used to realize encryption protection of message information, and digital watermark technology is used to realize encrypted transmission based on two-dimensional code anti-counterfeiting.

The present invention provides a data persistence and parallel processing method and device based on blockchain, which can be used in the field of financial technology. According to the characteristics of the data, the present invention classifies and decouples data rows with correlation and dependency relationships, and configures a processing mechanism to realize data parallel processing, improve data processing speed, and reduce waiting time; the decoupled data is packaged into a main block and a micro block, and nodes are set to process the main block and the micro block to realize block parallel processing, that is, to realize parallel processing of transaction data; because the transaction data inside the micro block has a strong correlation and dependency relationship, and has no correlation or very weak correlation with other micro blocks or main blocks, the node can directly package the micro block into the main block to realize the parallel processing of the main block and the micro block, and at the same time, the verification speed of the block can also be improved. The present invention changes the processing mode of transaction data of the blockchain system from serial processing to parallel processing, making full use of computer resources.

The invention discloses a storage tank breather valve online verification device, and relates to the technical field of storage tank breather valve verification. The online verification device for the breather valve of the storage tank comprises an explosion-proof box, a processing computer display is fixedly connected in the explosion-proof box, a processing computer operation area is fixedly connected to the position, located at the bottom of the processing computer display, in the explosion-proof box, and an information processing module is fixedly connected to the position, located at the bottom of the processing computer operation area, in the explosion-proof box. According to the online verification device for the breather valve of the storage tank, when negative pressure verification is carried out on the breather valve, the negative pressure motor exhausts gas cooled by the negative pressure connecting pipe into the storage tank, so that the air pressure in the storage tank is sharply reduced, and when positive pressure verification is carried out, the positive pressure motor exhausts gas heated by the positive pressure connecting pipe into the storage tank, so that the air pressure in the storage tank is greatly reduced. Therefore, the air pressure in the storage tank rises sharply, and the change speed of gas and liquid in the storage tank is accelerated, so that the verification speed is increased.

The invention discloses an Internet of Things access authentication system capable of bidirectional authentication, which comprises a key distribution center and an authentication information monitoring unit, and is characterized in that a group of output ends of the key distribution center are wirelessly connected with Internet of Things equipment a. According to the Internet of Things access authentication system capable of bidirectional authentication, when the Internet of Things equipment a and the Internet of Things equipment b are accessed, the key distribution center sends verification information and inputs the verification information into the information integration unit for integration, so that waiting time and processing time are reduced, the verification speed is accelerated, the bidirectional authentication platform can accept the verification information, and the verification efficiency is improved. The Internet of Things equipment a and the Internet of Things equipment b establish communication after verification succeeds, the encryption communication unit can encrypt the information during communication, the dynamic firewall can adapt to dynamic address changes in a large-scale network, and the security of the Internet of Things equipment a and the Internet of Things equipment b is improved. And protection is carried out through the API protection module after dangerous information is found.

The invention discloses a method and a device for performing consistency verification on financial data and a readable storage medium. The method comprises the following steps: acquiring a first data verification task for indicating to perform consistency verification on first financial data in an original data source and second financial data in a backup data source; determining business types of the first financial data and the second financial data; according to the business types, a plurality of first business tasks corresponding to the first financial data and a plurality of second business tasks corresponding to the second financial data are inquired; and determining a plurality of comparison groups according to task attributes of the business tasks, and determining a consistency verification result of the first financial data and the second financial data based on execution results of the tasks in the comparison groups. According to the embodiment of the invention, different business tasks are inquired according to the business categories, then the comparison group is determined according to the task attributes of the business tasks, and then the comparison result is determined based on the execution result of the tasks in the comparison group, so that the verification speed can be increased, and the verification efficiency can be improved.

This invention provides a cable pairing device based on mechanical coding identification, relating to the field of cable assembly. This device, which fixes the cable and performs phase verification of the cable cores, includes a fixing module, a cable core separation plate, a bracket, and a rectangular frame. The fixing module is symmetrically arranged at both ends of the cable, clamping the cable ends. The device comprises the fixing module, cable core separation plate, bracket, and rectangular frame. A support rod slides within the rectangular frame, and a mating nozzle is installed at the front end of the support rod. The cable core separation plate has holes, and an arc-shaped plate is installed directly below the holes. A positioning module is installed on the arc-shaped plate, and a color identifier is installed at the bottom of the support rod. Through the cooperation of the positioning module and the color identifier, automatic cable core replacement is achieved, replacing traditional manual replacement, improving work efficiency, making it more convenient to use, and further increasing the verification speed.

The disclosure provides a verification method, device, equipment, medium and program product, relating to the field of information security or the field of finance. The verification method comprises: in response to an operation of a first user, determining to-be-verified information, wherein the to-be-verified information comprises information of M characters, and first verification data of N sensors is collected within a first time period during which the first user moves an electronic device according to the information of M characters; the first verification data is classified by using a pre-trained verification model, and a classification result is output; and in a case where the classification result represents that a trajectory of the first user moving the electronic device matches the M characters, verification is passed. The disclosure also provides a model training method, device, equipment, medium and program product.

The invention relates to a signature image comparison method and device, computer equipment, a computer readable storage medium and a computer program product. The method comprises the following steps: acquiring a comparison data set and a to-be-compared target signature image; wherein the comparison data set is obtained by performing feature vector extraction on a standard signature image; comparing the first feature vector of the target signature image with the second feature vector in the comparison data set to obtain a comparison result vector; calculating signature similarity according to the comparison result vector; and determining a target comparison result of the target signature image according to the signature similarity and a preset similarity threshold. By adopting the method, the verification speed of signature authenticity can be improved.

The application provides a visual recognition data processing method and system. The method obtains original visual data of a target object through a visual sensor, then obtains a target feature point set of a target part of the target object in the original visual data, and converts the target feature point set into a key feature point set by using a preset feature conversion model, and generates corrected visual data according to the original visual data and the key feature point set, so as to verify object information of the target object according to the corrected visual data, to correct the visual angle deviation of the visual sensor by adjusting the pixel coordinates in the original visual data, so that the corrected visual data is more consistent with the real features of the target object, thereby correcting the visual angle deviation of the visual sensor, verifying the object information by using the corrected visual data, which can significantly improve the reliability and accuracy of the verification, and can reduce the calculation amount of the verification process and improve the verification speed.

The embodiment of the present invention provides a verification method, device, electronic device and readable storage medium, the method comprising: obtaining data transmission parameters, benchmark test program and reference model corresponding to the design to be tested; burning the design to be tested into the programmable logic area of ​​the programmable logic chip, and loading the reference model into the processing system of the programmable logic chip; re-encoding each instruction in the benchmark test program according to the encoding format corresponding to the data transmission parameters and the preset communication control instructions to obtain a target test program; controlling the design to be tested and the reference model to execute the target test program respectively; obtaining a first execution result of the design to be tested and a second execution result of the reference model; and determining that the design to be tested has an operation error when the first execution result and the second execution result do not match. The embodiment of the present invention simplifies the verification process of the design to be tested and improves the verification efficiency.

The present invention discloses an IC3 accelerated verification method and system based on unsatisfiable cores. The present invention includes inputting a program model to be verified into an IC3 algorithm model using an SMT solver for solving to obtain a verification result of whether the program model to be verified meets a specified security attribute or specification, and includes initializing an unsatisfiable core library, checking the unsatisfiable core library before each call to the SMT solver, and skipping the solution process if an unsatisfiable core matching the current formula is found, otherwise the solution is executed and the returned unsatisfiable core is updated to the unsatisfiable core library after the solution. The present invention aims to utilize the similarity between a large number of constraint solutions in the IC3 algorithm, construct an unsatisfiable core library according to the previous constraint solution, and quickly implement the solution of the following part of the problem based on the existing unsatisfiable core, which can reduce the number of SMT solutions and thus reduce the running time of the IC3 algorithm, and accelerate the verification speed of the IC3 algorithm.

The invention relates to the technical field of mechanical devices and transportation, in particular to a vehicle door protection plate hard spot verification device and a whole vehicle hard spot verification system. The vehicle door protection plate hard spot verification device comprises an installation main plate and three adjusting assemblies. And the mounting main board is provided with three windows which sequentially correspond to the elbow position of the automobile door, the hip position of the automobile door and the foot position of the automobile door. The three adjusting assemblies are installed at the upper window, the middle window and the lower window correspondingly, each adjusting assembly is detachably provided with different door protection plate local models, and the three adjusting assemblies are used for driving the door protection plate local models to move in the length direction, the height direction and the thickness direction of the installation main plate. According to the method, the door protection plate local model at the corresponding position is driven by the adjusting assembly to be adjusted in three directions, and meanwhile, the door protection plate local model and the adjusting assembly are independent parts and can be flexibly replaced to achieve express item replacement, so that the influence of shape change on engineering is rapidly verified and evaluated, and the verification speed in the design stage is increased.

The invention discloses a short-process software and hardware collaborative verification system based on UTMI, and relates to the field of software and hardware collaborative simulation. The BFM receives the test data, splits and extracts BFM transaction data, the data exchange state machine receives the BFM transaction data, analyzes and configures the BFM transaction data, and performs data interaction between the analyzed and configured UTMI data and the device to be tested through the serial port engine; and the speed negotiation module outputs a UTMI protocol signal for simulating a PHY layer behavior by being butted with the UTMI interface, generates a speed negotiation signal and feeds back the speed negotiation signal to the data exchange state machine, so that the data exchange state machine switches a driving working mode of the serial port engine. According to the scheme, the logic of the PHY part is removed, one link in the verification structure is reduced, the UTMI interface is directly butted with the DUT, the design complexity is reduced, the verification process is shortened, and the verification speed is improved.