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,
}











