Logic synthesis method and device

Details Logic synthesis method and device Logic synthesis method and device

2007-06-08

2010-10-12

Chiang, Jack (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000

Reexamination Certificate

active

07814455

ABSTRACT:
The present invention provides a logic synthesis method and the like that can shorten the execution time and the confirmation time required for logic re-synthesis and logic equivalence checking. The logic synthesis method characteristically includes the steps of: extracting logically different portions between an existing gate level logic circuit and a modified Hardware Description Language (HDL) description; hierarchizing the different portions between the existing gate level logic circuit and the modified HDL description; generating a gate level logic circuit by logically combining the hierarchized portions of the modified HDL description; and replacing the hierarchized portions of the existing gate level logic circuit with the gate level logic circuit. By this method, a layer containing detected different portions is automatically generated in logic equivalence checking between a modified HDL and a gate level logic circuit, so that logic synthesis can be performed in a unit smaller than the unit for the conventional logic synthesis. Thus, the execution time and the confirmation time required for logic re-synthesis and logic equivalence rechecking can be shortened.

REFERENCES:
patent: 6530073 (2003-03-01), Morgan
patent: 2003/0033595 (2003-02-01), Takagi et al.
patent: 10-269271 (1998-10-01), None
patent: 2000-215217 (2000-08-01), None
patent: 2003-58597 (2003-02-01), None
patent: 2003-196335 (2003-07-01), None

Affiliated with

Also associated with

Rating

Logic synthesis method and 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 synthesis method and device, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic synthesis method and device will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4239370