Formal Approach to the RTL Testability Analysis

Zdenek Kotásek, Richard Ruzicka, Jan Hlavicka. Formal Approach to the RTL Testability Analysis. In 13th Latin American Test Workshop, LATW 2012, Quito, Ecuador, April 10-13, 2012. pages 256-261, IEEE Computer Society, 2000.

Abstract

Abstract is missing.