IEEE - Institute of Electrical and Electronics Engineers, Inc. - Constraints specification at higher levels of abstraction

Proceedings Sixth IEEE International High-Level Design Validation and Test Workshop

Author(s): F. Balarin ; J. Burch ; L. Lavagno ; Y. Watanabe ; R. Passerone ; A. Sangiovanni-Vincentelli
Sponsor(s): IEEE Comput. Soc. Tech. Council on Test Technol. IEEE Comput. Soc. Tech. Committee on Design Autom
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2001
Conference Location: Monterey, CA, USA, USA
Conference Date: 9 November 2001
Page Count: 5
Page(s): 129 - 133
ISBN (Paper): 0-7695-1411-1
DOI: 10.1109/HLDVT.2001.972819
Regular:

We are proposing a formalism to express performance constraints at a high level of abstraction. The formalism allows specifying design performance constraints even before all low level details... View More

Advertisement