K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou
MDG Tools for the Verification of RTL Designs
CAV, 1996.
@inproceedings{CAV-1996-AnonBCCLSTXZ,
author = "K. D. Anon and N. Boulerice and Eduard Cerny and Francisco Corella and Michel Langevin and Xiaoyu Song and Sofiène Tahar and Ying Xu and Zijian Zhou",
booktitle = "{Proceedings of the Eighth International Conference on Computer Aided Verification}",
doi = "10.1007/3-540-61474-5_96",
isbn = "3-540-61474-5",
pages = "433--436",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{MDG Tools for the Verification of RTL Designs}",
volume = 1102,
year = 1996,
}
Tags: