Testability of Cryptographic Hardware