/* ************************************************************ */
declare MAJORITY3 {

    input       A_i ;
    input       B_i ;
    input       C_i ;

    output      Q_o ;

}

/* ************************************************************ */
// Declare module
module MAJORITY3 {

/* ************************************************************ */
// Internal operation signals
    wire        in_value[3] ;

/* ************************************************************ */
// Equation

    {
    // Connection statement.
        in_value = { A_i, B_i, C_i } ;

    // Evaluate input value.
        any {
            in_value == 3'b011 : Q_o = 1'b1 ;       // TRUE
            in_value == 3'b101 : Q_o = 1'b1 ;       // TRUE
            in_value == 3'b110 : Q_o = 1'b1 ;       // TRUE
            in_value == 3'b111 : Q_o = 1'b1 ;       // TRUE
            else               : Q_o = 1'b0 ;       // FALSE
        }
    }
}
/* ************************************************************ */