Constraint propagation in an object-oriented IC design environment

  • Authors:
  • Tai A. Ly;Emil F. Girczyc

  • Affiliations:
  • Dept. of Electrical Engineering, University of Alberta, Edmonton, Alberta, Canada, T6G 2G7;Dept. of Electrical Engineering, University of Alberta, Edmonton, Alberta, Canada, T6G 2G7

  • Venue:
  • DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
  • Year:
  • 1988

Quantified Score

Hi-index 0.01

Visualization

Abstract

This paper describes a framework of constraint propagation that supports the least-commitment strategy of design. This is implemented in an object-oriented IC design environment. The resulting system incrementally propagates design characteristics whenever they become available, and checks for design specification violations. By managing the interaction among bottom-up characteristics and top-down specifications, constraint propagation can be a powerful aid in IC design.