Debugging hardware designs using a value-based model
scientific article; zbMATH DE number 1944870