Constraints specification at higher levels of abstraction

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

Volumn 2001-January, Issue , 2001, Pages 129-133

  Balarin, F ^a   Burch, J ^a   Lavagno, L ^a   Watanabe, Y ^a   Passerone, R ^b   Sangiovanni Vincentelli, A ^b  

^a CADENCE DESIGN SYSTEMS   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; DESIGN; SPECIFICATIONS;

AUTOMATIC MODELING; CONSTRAINTS SPECIFICATION; DESIGN PERFORMANCE; FORMAL TECHNIQUES; HIGH LEVEL OF ABSTRACTION; LEVELS OF ABSTRACTION; MATHEMATICAL FOUNDATIONS; PERFORMANCE CONSTRAINTS;

MODEL CHECKING;

EID: 35048840709     PISSN: 15526674     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2001.972819     Document Type: Conference Paper

References (8)

1. P. Alexander, C. Kong, and D. Barton. Rosetta usage guide. available at http://www.sldl.org, 2001.
2. Felice Balarin et al. Hardware-software co-design of embedded systems: the POLIS approach. Kluwer Academic Publishers, 1997.
3. R.S. Boyer, M. Kaufmann, and J.S. Moore. The boyer-moore theorem prover and its interactive enhancement. Computers & Mathematics with Applications, pages 27-62, January 1995.
4. Quick reference guide for the Design Constraints Description Language (DCDL). available at http://www.eda.org/dcwg, 2000.
5. Z. Har'El and R. P. Kurshan. Software for analysis of coordination. In Proceedings of the International Conference on System Science, pages 382-385, 1988.
6. Warren A. Hunt Jr. and Steven D. Johnson, editors. Formal methods in computer-aided design: third international conference FMCAD 2000. Springer-Verlag, 2000. LNCS vol. 1954.
7. Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
8. Object Constraint Language specification. available at http://www.omg.org, 1997.