A method for identifying cyclicity in circuit designs

Details A method for identifying cyclicity in circuit designs A method for identifying cyclicity in circuit designs

G - Physics

06

F

G06F 17/10 (2006.01) G06F 17/50 (2006.01)

Patent

CA 2312628

A method for checking on cyclicity of a set of definitions employs a simple, non-computational definition of constructivity and a symbolic algorithm based on the new, simple to implement, formulation for variables with arbitrary finite types. This is accomplished by extending variable type to include the "undeterminable" value 1 (read as "bottom"). This formulation is non-computational and easily extensible to variables with any finite type. The formulation also handles definitions of indexed variables in the same manner. The set of definitions is then checked to determine whether any of the variables assume the value is 1.

Affiliated with

Also associated with

Rating

A method for identifying cyclicity in circuit designs does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with A method for identifying cyclicity in circuit designs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A method for identifying cyclicity in circuit designs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1979172