"An Automatic Test Generation Algorithm for Hardware Description Languages."

F. E. Norrod (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics