A. S. Kamkin, M. M. Chupilko. Survey of modern technologies of simulation-based verification of hardware. Programming and Computer Software, 37(3):147-152, 2011. [doi]
@article{KamkinC11,
title = {Survey of modern technologies of simulation-based verification of hardware},
author = {A. S. Kamkin and M. M. Chupilko},
year = {2011},
doi = {10.1134/S0361768811030017},
url = {http://dx.doi.org/10.1134/S0361768811030017},
tags = {rule-based, survey},
researchr = {https://researchr.org/publication/KamkinC11},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {37},
number = {3},
pages = {147-152},
}