A set of specified binary codes used to check the correctness of digital circuits.

• 一组用于检测数字电路正确性的特定二进制码。