Symbolic simulation driven netlist simplification

Details Symbolic simulation driven netlist simplification Symbolic simulation driven netlist simplification

2005-01-11

2005-01-11

Rones, Charles (Department: 2175)

Data processing: database and file management or data structures

Database design

Data structure types

C707S793000, C707S793000, C707S793000, C707S793000, C716S030000, C716S030000

Reexamination Certificate

active

06842750

ABSTRACT:
The present invention is directed to a simplification method for an arbitrary library. In aspects of the present invention, the method does not rely on specific properties of the library elements and has linear complexity. The present invention may be implemented based on a symbolic simulation in an alphabet which contains 0, 1, symbols of variables, and negations of the variables' symbols. In an aspect of the present invention, a method for reducing redundancy in a simulation through use of a symbolic simulation utilizing an arbitrary library includes receiving a set A of values, the set A including input variables which are elements of the set A. Symbols of the input variables are constructed in which like and similar variables share a like symbol and a similar symbol respectively. A table of output values computed from a table of a Boolean operator employing the constructed symbols of the input variable is formed, the constructed symbols formed to reduce redundancy.

REFERENCES:
patent: 5434794 (1995-07-01), Coudert et al.
patent: 5548524 (1996-08-01), Hernandez et al.
patent: 5933356 (1999-08-01), Rostoker et al.
patent: 6047283 (2000-04-01), Braun
patent: 6243720 (2001-06-01), Munter et al.
patent: 6247165 (2001-06-01), Wohl et al.
patent: 6397370 (2002-05-01), Fernandez et al.
patent: 6421660 (2002-07-01), Glaise

Affiliated with

Also associated with

Rating

Symbolic simulation driven netlist simplification does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Symbolic simulation driven netlist simplification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symbolic simulation driven netlist simplification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3411817