Constraints specification at higher levels of abstraction

Felice Balarin, Jerry R. Burch, Luciano Lavagno, Yosinori Watanabe, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Constraints specification at higher levels of abstraction. In Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001. pages 129-133, IEEE Computer Society, 2001. [doi]

Abstract

Abstract is missing.