Interface timing verification with delay correlation using constraint logic programming.

Pierre Girodias, Eduard Cerny

Browse the full DATE paper archive.