Cristiano Rodrigues. A case study for Formal Verification of a timing co-processor. In 10th Latin American Test Workshop, LATW 2009, Rio de Janeiro, Brazil, March 2-5, 2009. pages 1-6, IEEE, 2009. [doi]
@inproceedings{Rodrigues09-2,
title = {A case study for Formal Verification of a timing co-processor},
author = {Cristiano Rodrigues},
year = {2009},
doi = {10.1109/LATW.2009.4813815},
url = {https://doi.org/10.1109/LATW.2009.4813815},
researchr = {https://researchr.org/publication/Rodrigues09-2},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {10th Latin American Test Workshop, LATW 2009, Rio de Janeiro, Brazil, March 2-5, 2009},
publisher = {IEEE},
isbn = {978-1-4244-4207-2},
}