José M. Fernandes, Marcelino B. Santos, Arlindo L. Oliveira, João C. Teixeira. A Probabilistic Method for the Computation of Testability of RTL Constructs. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 176-181, IEEE Computer Society, 2004. [doi]
Abstract is missing.