// ************************************************************************** //
//                                                                            //
//    eses                   eses                                             //
//   eses                     eses                                            //
//  eses    eseses  esesese    eses   Embedded Systems Group                  //
//  ese    ese  ese ese         ese                                           //
//  ese    eseseses eseseses    ese   Department of Computer Science          //
//  eses   eses          ese   eses                                           //
//   eses   eseses  eseseses  eses    University of Kaiserslautern            //
//    eses                   eses                                             //
//                                                                            //
// ************************************************************************** //
// filename:    ./ComputerArchitecture/AsynchronousCircuits/                  //
//              AsyncArbiterBoch82/C_Element.qrz                              //
// author:      Manuel Gesell                                                 //
//                                                                            //
// description:                                                               //
// The Muller C-element is a special circuit that is often                    //
// used in asychronous designs. When its two inputs agree,                    //
// then the output is that input, otherwise the C-element                     //
// stores its current output.                                                 //
//                                                                            //
// ************************************************************************** //
package ComputerArchitecture.AsynchronousCircuits.AsyncArbiterBoch82;

module C_Element(bool ?in1,?in2,!out){
    loop {
        if(in1==in2)
            out = in1;
        pause;
    }
}