module is_bcd_digit(digit, is_bcd);
   input [3:0] digit;
   output is_bcd;
