Bernard Laurent, Thierry Karger
A System to Validate and Certify Soft and Hard IP
DATE, 2003.
@inproceedings{DATE-2003-LaurentK, acmid = "1022951", author = "Bernard Laurent and Thierry Karger", booktitle = "{Proceedings of the Eighth Conference on Design, Automation and Test in Europe}", doi = "10.1109/DATE.2003.10232", isbn = "0-7695-1870-2", pages = "20208--20213", publisher = "{IEEE Computer Society}", title = "{A System to Validate and Certify Soft and Hard IP}", year = 2003, }