26
Constraints Specification at Higher
Levels of Abstraction
•
Felice Balarin
, Jerry Burch, Luciano Lavagno,
Yosinori Watanabe
•
Cadence Berkeley Labs
•
Roberto Passerone, Alberto Sangiovanni-Vincentelli
•
University of California at Berkeley