Formal proof methods for analyzing circuit loading problems...

Computer-aided design and analysis of circuits and semiconductor – Nanotechnology related integrated circuit design

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C716S030000, C716S030000, C716S030000, C716S030000

Reexamination Certificate

active

06983429

ABSTRACT:
A process for determining the optimum load driving capacity for each driving node in a complex logic circuit is disclosed. First, the logic equations of the logic circuit are extracted from a circuit description. Then, the fan-out of each driving node is analyzed to determine if the total number of pass transistor loads of the analyzed node is excessive compared to a predetermined driving capacity. For each flagged node, logic equations are added which represent the sum of the node's pass transistor loads, and further logic equations are added to compare the number of pass transistors turned on from one to the absolute maximum for the node. Then, a formal proof program is used to analyze the logic circuit and determine which of the comparators have a true output. For each flagged node, the comparator for the largest number which has a possible true output is identified to determine the highest possible actual load for the node; and, if necessary, the driving capacity of the node is adjusted to handle the determined highest possible actual load.

REFERENCES:
patent: 6886152 (2005-04-01), Kong

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

Formal proof methods for analyzing circuit loading problems... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Formal proof methods for analyzing circuit loading problems..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formal proof methods for analyzing circuit loading problems... will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-3580071

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