A lock opens only when it is enabled and the entered key matches the stored code bit for bit.

Inputs: key, 4 bits entered; code, 4 bits stored; enable.
Output: unlock, 1 only when enable is 1 and key equals code.

The testbench applies all 512 combinations.