Acyclic modeling of combinational loops

Details Acyclic modeling of combinational loops Acyclic modeling of combinational loops

2005-03-01

2008-11-18

Siek, Vuthe (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000

Reexamination Certificate

active

07454722

ABSTRACT:
Aspects of the present invention are directed to converting non-oscillatory combinational loops into acyclic circuits. Combinational loops may be modeled as state-holding elements where non-oscillatory loops are broken using edge-sensitive latches. In addition to providing a way to model combinational loops originally consisting only of gates (i.e., without originally including any state-holding elements), loops that have paths through user latches may also be converted. The presented methodology may be used with both small and large loops.

REFERENCES:
patent: 6009531 (1999-12-01), Selvidge et al.
patent: 7246331 (2007-07-01), Ward
Ronald L. Rivest. The necessity of feedback in minimal monotone combinational circuits. InIEEE Transactions on Computers, 26, 6 (1977).
Thomas R. Shilpe, Gerard Berry and Herve Tousti. Constructive analysis of cyclic cicuits. InProceedings of European Design and Test Conference, pp. 328-333, Paris France, Mar. 1996.
Thomas R. Shilpe, Vigyan Singhal, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli. Analysis of combinational cycles in sequential circuits. InProceedings of the International Symposium on Circuits an Systems(ISCAS), vol. IV, pp. 592-595, May 1996.
S. Malik. Analysis of cyclic combinational circuits.In IRRR Trans. Computer-Aided Design, pp. 950-956, Jul. 1994.
Stephan A. Edwards. Making cyclic circuits acylic. InProceedings of the 40thDesign Automation Conference(DAC), pp. 159-162, Jun. 2-6, 2003.
Denis Hommais and Frederic Petrot. Efficient combinational loops handling for cycle precise simulation of system on chips. InProceedings of the 24th EUROMICRO International Conference on Digital Systems, pp. 51-54, vol. 1 IEEE Computer Society Press, 1998.
F. Bourdoncle. Efficient chaotic iteratuib strategies with widening, InProceedings of the International Conference on Formal Methods in Programming and their Applications, vol. 735of Lecture Notes in Computer Science, pp. 128-141. 1993.
T. Cormen, C. Leiserson, R. Rivest, and C. Stein. InIntroduction to algorithms. The MIT Press, second edition, 2001, Chapter-21.

Affiliated with

Also associated with

Rating

Acyclic modeling of combinational loops does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Acyclic modeling of combinational loops, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Acyclic modeling of combinational loops will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4035780