Pierre Girodias, Eduard Cerny
Interface timing verification with delay correlation using constraint logic programming
DATE, 1997.
@inproceedings{EDTC-1997-GirodiasC, author = "Pierre Girodias and Eduard Cerny", booktitle = "{Proceedings of the Second European Design and Test Conference}", doi = "10.1109/EDTC.1997.582324", pages = "12--19", publisher = "{IEEE}", title = "{Interface timing verification with delay correlation using constraint logic programming}", year = 1997, }