Ytzhak H. Levendel, Premachandran R. Menon. Test Generation Algorithms for Computer Hardware Description Languages. IEEE Transactions on Computers, 31(7):577-588, 1982.
@article{LevendelM82,
title = {Test Generation Algorithms for Computer Hardware Description Languages},
author = {Ytzhak H. Levendel and Premachandran R. Menon},
year = {1982},
tags = {testing},
researchr = {https://researchr.org/publication/LevendelM82},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {31},
number = {7},
pages = {577-588},
}