Method and device for verifying logic circuit design, electronic equipment and storage medium

Abstract

The invention provides a method for verifying a logic circuit design. The method comprises the following steps: generating configuration data and stimulation data through a verifying platform; storing the configuration data and the stimulation data into a target memory; transmitting the configuration data and the stimulation data to an object to be verified through the verifying platform; controlling a reference object to read the configuration data and the stimulation data from the target memory through the verifying platform so that the reference object begins to carry out simulation calculation, wherein the object to be verified is a logic circuit code which implements an algorithm by using a first language, and the reference object is a code for implementing the same algorithm by using a second language; controlling the reference object to finish simulation calculation through the verifying platform; acquiring output data of the reference object by the verifying platform; acquiring output data of the object to be verified through the verifying platform; and determining a verified result of the object to be verified according to the output data of the reference object and the object to be verified. The invention further provides a device for verifying the logic circuit design. The purpose of accurately verifying the object to be verified is achieved.

Description

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine

Login to view more

AI Technical Summary

Benefits of technology

This technology allows for generating configurations (configuration) and inducing an artificially intelligible response called stimulation). These modifications help verify or troubleshoot problems more efficiently during testing processes. By controlling both the tester's hardware components and software algorithms, this system ensures consistently accurate results even when there may have different inputs/output characteristics between them due to differences in manufacturing process quality control standards used across various devices made up of multiple layers of materials.

Problems solved by technology

This patented describes how complicated mathematical calculations involving certain types of data may require long periods for accurate results due to their complexity. However, it becomes increasingly challenging when trying to maintain accuracy over longer time intervals because these computations involve multiple layers or matrices. Current methods have limitations like requiring simulation environments instead of real hardware devices, making them less efficient at performing simulations compared to actual physical systems. Therefore there needs improvement in testing techniques to improve performance without compromising reliability.

Images