Logic verification method for semiconductor device

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, C703S016000

Reexamination Certificate

active

06886144

ABSTRACT:
In designing a semiconductor device, a method of verifying an upper-hierarchy logic including a lower-hierarchy logic. First, a first verification logic having an output terminal, which is equivalent to an input terminal of the lower-hierarchy logic, and an input terminal, which is equivalent to an output terminal of the lower-hierarchy logic. Then, a second verification logic including only the input terminal and output terminal of the lower-hierarchy logic is produced, and an operational verification of the upper-hierarchy logic is executed using the first and second verification logics. This method eliminates the need for performing an operational verification of the lower-hierarchy logic at the time of the operational verification of the upper-hierarchy logic.

REFERENCES:
patent: 4758953 (1988-07-01), Morita et al.
patent: 5473546 (1995-12-01), Filseth
patent: 6493864 (2002-12-01), Liu
patent: 20020023256 (2002-02-01), Seawright
patent: 20030131327 (2003-07-01), Dervisoglu et al.
patent: 20030163795 (2003-08-01), Morgan et al.
patent: 20040078767 (2004-04-01), Burks et al.
patent: 02025980 (1990-01-01), None
patent: 02037474 (1990-02-01), None
Chen et al., “Model aggregation for hierarchical control synthesis of discrete event systems”, Proceedings of the 39th IEEE Conference on Decision and Control, vol. 1, pp. 418-423, Dec. 12, 2000.

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

Logic verification method for semiconductor device does not yet have a rating. At this time, there are no reviews or comments for this patent.

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

Rate now

     

Profile ID: LFUS-PAI-O-3392380

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