Unlock instant, AI-driven research and patent intelligence for your innovation.

Coverage ratio driven random authentication method

A random verification and coverage technology, applied in the field of random verification, can solve the problem of not being able to effectively speed up the verification, and achieve the effect of simple control, avoiding complexity, and speeding up the convergence process

Inactive Publication Date: 2012-07-04
北京国睿中数科技股份有限公司
View PDF4 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] At present, the random verification based on coverage rate is carried out using a single computer or workstation, which cannot effectively speed up the verification when the project schedule is tight

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
  • Coverage ratio driven random authentication method

Examples

Experimental program
Comparison scheme
Effect test

example

[0033] Specific examples are listed below. By taking a USB2.0 Slave controller as an example, how to realize the random process driven by multi-computer acceleration coverage.

[0034] The verification of the USB2.0 Slave controller must at least include low speed / full speed, control transfer / isochronous transfer / interrupt transfer / block transfer, various types of enumeration, electrical layer normal / abnormal, internal cache empty / full, etc. . These function points will be described by covergroup and assert in System Verilog, and the coverage of the covergroup will be fed back to the stimulus source to adjust the ratio of various USB packages and insert exception packages to achieve coverage-driven verification.

[0035]When the design is modified, we need to perform regression verification on the design. In order to shorten the verification time, we may start multiple simulation computers at the same time to verify the modified design from different aspects, for example: ver...

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 relates to a coverage ratio driven random authentication method by using at least two computing units. The computing units comprises a first computing unit and a second computing unit; the first computing unit and the second computing unit are respectively provided with a first coverage ratio database and a second first coverage ratio database; the first computing unit and the second computing unit can both access a total coverage ratio database; and the first computing unit and the second computing unit start the respective random authentication respectively, write the generated coverage ratio data into the respective coverage ratio database, write the coverage ratio data in the coverage ratio database into the total coverage ratio database, merge the coverage ratio data in the total coverage ratio database to obtain merged coverage ratio data and finally write the merged coverage ratio data into the first coverage ratio database and the second first coverage ratio database.

Description

technical field [0001] The present invention relates to the verification of integrated circuits, in particular to the random verification based on coverage rate drive. Background technique [0002] With the continuous increase of IC design scale and increasingly complex functions, verification has gradually become one of the bottlenecks restricting IC design. Traditional verification methods are not only inefficient, but also the reliability of the verification results cannot be fully guaranteed, and missing points in verification often become killers that lead to chip crashes. In order to solve the verification problem, many new verification methodologies have emerged recently, such as assertion-based verification, coverage-driven random verification, etc. Many corners that design and verification personnel did not expect can be found through random excitation, but if the random excitation source is not restricted, many repeated excitations will often be generated. These e...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/50
Inventor 陈涛
Owner 北京国睿中数科技股份有限公司
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

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

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com