Constraint propagation in an object-orientated IC design environment

Ly, T.A.; Girczyc, E.F.

doi:10.1109/dac.1988.14830

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…known ideas: the concept of interval constraint propagation (Davis, 1987), and that of interval arithmetic (Moore, 1966(Moore, , 1979Alefeld & Herzberger, 1983). These have seen some use in design (for example, in Popplestone, 1987;Sarma & Rinderle, 1991;Rinderle & Krishnan, 1990;Ly & Girczyc, 1988;Brett et al, 1990;and Matthews et al, 1990, respectively). DOMAIN and SUFFICIENT-POINTS can be thought of as inverses to RANGE.…”

Section: Introductionmentioning

confidence: 99%

The RANGE family of propagation operations for intervals on simultaneous linear equations

Chen

Ward

1995

AIEDAM

View full text Add to dashboard Cite

Interval arithmetic has been extensively applied to systems of linear equations by the interval matrix arithmetic community. This paper demonstrates through simple examples that some of this work can be viewed as particular instantiations of an abstract “design operation,” the RANGE operation of the Labeled Interval Calculus formalism for inference about sets of possibilities in design. These particular operations promise to solve a variety of design problems that lay beyond the reach of the original Labeled Interval Calculus. However, the abstract view also leads to a new operation, apparently overlooked by the matrix mathematics community, that should also be useful in design; the paper provides an algorithm for computing it.

show abstract