Verification support apparatus, verification support method,...

Computer-aided design and analysis of circuits and semiconductor – Integrated circuit design processing – Logic design processing

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C716S051000, C716S107000

Reexamination Certificate

active

08079003

ABSTRACT:
In a verification support apparatus, an implementation description of a verification target is acquired and based on the implementation description, a combination of input gates is identified. A pair of output cones including gates to which input signals from the input gates reach, and a common output cone including gates common to the pair of output cones, are detected. Based on the common output cone, a degree of relation between the input gates is calculated and according to the calculation, the strength of relation is determined for the combination of input gates. The strength of relation for a combination of the input gates is set, the combination being based on a specification of the verification target and corresponding to the combination identified from the implementation description. Whether the strength of relation set and that determined for the identified combination coincide is judged and a result of the judgment is output.

REFERENCES:
patent: 5457697 (1995-10-01), Malleo-Roach et al.
patent: 7216318 (2007-05-01), Siarkowski
patent: A 7-35828 (1995-02-01), None
patent: A 7-49887 (1995-02-01), None
21. Saucier et el., “Partitioning with Cone Structures,” Computer-Aided Design, 1993. ICCAD-93. Digest of Technical Papers., 1993 IEEE/ACM International Conference on, Nov. 7-11, 1993, pp. 236.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Verification support apparatus, verification support method,... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Verification support apparatus, verification support method,..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verification support apparatus, verification support method,... will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-4263410

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.