Models in Hardware Testing