"An RTL methodology to enable low overhead combinational testing."

Subhrajit Bhattacharya, Sujit Dey, Bhaskar Sengupta (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics