Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed
Efficient assertion based verification using TLM
DATE, 2006.
@inproceedings{DATE-2006-HabibiTSLM,
author = "Ali Habibi and Sofiène Tahar and Amer Samarah and Donglin Li and Otmane Aït Mohamed",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131516",
pages = "106--111",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{Efficient assertion based verification using TLM}",
year = 2006,
}