David W. Matula, Lee D. McFearin
A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division
DATE, 2006.
@inproceedings{DATE-2006-MatulaM,
author = "David W. Matula and Lee D. McFearin",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131795",
pages = "1134--1138",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division}",
year = 2006,
}