Circuit function automatic validation program product

An automatic verification and circuit function technology, applied in the field of computer simulation, can solve problems such as boring and error-prone, and achieve the effect of improving efficiency

Inactive Publication Date: 2007-11-28
SHANGHAI MICROELECTRONICS DESIGN
View PDF0 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

It can be seen that this kind of verification is not only boring

Method used

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
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Circuit function automatic validation program product
  • Circuit function automatic validation program product
  • Circuit function automatic validation program product

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0019] The present invention will be further described below in conjunction with the accompanying drawings.

[0020] Referring to Figure 1 and Figure 2, the design engineer as the user provides the library unit circuit description and the library unit circuit function description to the automatic verification tool module, and the automatic verification tool module generates test waveforms according to the functional description and calls the simulation tool module to simulate to obtain the simulation result code , if the simulation result code is different from the verification result code, an error report is generated for users to analyze and correct errors.

[0021] According to different simulation languages, library unit function simulation methods can be divided into two types: internal detection and external detection.

[0022] The implementation of the internal detection method according to Figure 3 is as follows:

[0023] 1. The automatic verification tool module uses...

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

PUM

No PUM Login to view more

Abstract

The invention discloses an automatic proving program product including the circuit function of an automatic proving tool modular and an emulator tool modular, which comprises the following steps: inputting storage unit circuit description and storage unit circuit function description to the automatic proving tool modular; generating the proving input code and the proving result code; calling the emulator tool modular by the automatic proving tool, inputting the proving input code and getting the emulator result code; comparing the emulator result code and the proving result code to the automatic proving tool modular if selecting the internal detection, generating the right report if the same, generating the wrong report if the different; converting the emulator result code and the proving result code to the other computer language by the automatic proving tool modular and analyzing and judging by the circuit function proving product of the other converted language circuit function if selecting the external detection. The storage unit circuit function includes the logical relation and the sequential relationship file of the input and output signal; the code includes various waveform codes.

Description

technical field [0001] The invention belongs to the field of computer simulation, and in particular relates to an automatic circuit function verification program product. Background technique [0002] The design of integrated circuits is the process of combining various library cell circuits. Verification of individual library cell circuits or combinations of library cell circuits is an important part of integrated circuit design. Since it is costly and time-consuming to verify by manufacturing actual products, computer simulation is the most effective means. Currently used verification program products, such as HSPICE, ModelSim, etc., have deficiencies, mainly in the following aspects: you need to write verification input codes and manually input them one by one, and you need to judge the correctness or error of the simulation result codes after the simulation. Taking the multiplexer with 8 data terminals as an example, it has 12 input terminals in total, that is to say, ...

Claims

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

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F17/50
Inventor 姚海平潘日华
Owner SHANGHAI MICROELECTRONICS DESIGN
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap