data/full_repos/permissive/208113388/afu/afp/mcp3_ohc06.v
data/verilator_xmls/44406013-9b90-4fb0-a14e-d91e85b84247.xml
module mcp3_ohc06 (


    input           [5:0] one_hot_vector


  , output                one_hot_error

  );

  assign  one_hot_error =  ( one_hot_vector[5:0] == 6'b0 )            ||
                           ( one_hot_vector[5] && one_hot_vector[4] ) ||
                           ( one_hot_vector[5] && one_hot_vector[3] ) ||
                           ( one_hot_vector[5] && one_hot_vector[2] ) ||
                           ( one_hot_vector[5] && one_hot_vector[1] ) ||
                           ( one_hot_vector[5] && one_hot_vector[0] ) ||
                           ( one_hot_vector[4] && one_hot_vector[3] ) ||
                           ( one_hot_vector[4] && one_hot_vector[2] ) ||
                           ( one_hot_vector[4] && one_hot_vector[1] ) ||
                           ( one_hot_vector[4] && one_hot_vector[0] ) ||
                           ( one_hot_vector[3] && one_hot_vector[2] ) ||
                           ( one_hot_vector[3] && one_hot_vector[1] ) ||
                           ( one_hot_vector[3] && one_hot_vector[0] ) ||
                           ( one_hot_vector[2] && one_hot_vector[1] ) ||
                           ( one_hot_vector[2] && one_hot_vector[0] ) ||
                           ( one_hot_vector[1] && one_hot_vector[0] );

endmodule
module mcp3_ohc06 (


    input           [5:0] one_hot_vector


  , output                one_hot_error

  );


  assign  one_hot_error =  ( one_hot_vector[5:0] == 6'b0 )            ||
                           ( one_hot_vector[5] && one_hot_vector[4] ) ||
                           ( one_hot_vector[5] && one_hot_vector[3] ) ||
                           ( one_hot_vector[5] && one_hot_vector[2] ) ||
                           ( one_hot_vector[5] && one_hot_vector[1] ) ||
                           ( one_hot_vector[5] && one_hot_vector[0] ) ||
                           ( one_hot_vector[4] && one_hot_vector[3] ) ||
                           ( one_hot_vector[4] && one_hot_vector[2] ) ||
                           ( one_hot_vector[4] && one_hot_vector[1] ) ||
                           ( one_hot_vector[4] && one_hot_vector[0] ) ||
                           ( one_hot_vector[3] && one_hot_vector[2] ) ||
                           ( one_hot_vector[3] && one_hot_vector[1] ) ||
                           ( one_hot_vector[3] && one_hot_vector[0] ) ||
                           ( one_hot_vector[2] && one_hot_vector[1] ) ||
                           ( one_hot_vector[2] && one_hot_vector[0] ) ||
                           ( one_hot_vector[1] && one_hot_vector[0] );

endmodule