@Inproceedings\{JoséMiguelFernandes_11_2006,
author = {José Miguel Fernandes and Marcelino Bicho dos Santos and Arlindo L. Oliveira and João Paulo Cacho Teixeira},
title = {DFT and Probabilistic Testability Analysis at RTL},
booktitle = {IEEE International High Level Design Validation and Test Workshop},
location = {Monterey, California},
year = {2006},
month = {November},
}