Formal Approach to the RTL Testability Analysis

Kotásek, Z., Růžička, R., Hlavička, J.

KOTÁSEK, Z., R. RŮŽIČKA, and J. HLAVIČKA. Formal Approach to the RTL Testability Analysis. In: 1st IEEE Latin-American Test Workshop LATW'00. LATW'00, Rio de Janeiro, 2000-03-13/2000-03-15. Rio de Janeiro: Brazilian Computer Society - SBC, 2000. p. 256-261.