// ************************************************************************** // // // // 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 // // // // ************************************************************************** // // This module implements a basic module that can be cascaded to implement a // // comparator (see modules NatLes and IntLes). // // ************************************************************************** // module LesCell(bool ?ls_in,?eq_in,?x,?y,ls,eq) { event u,v,w; u = !x & y; w = x <-> y; eq = w & eq_in; v = u & eq_in; ls = ls_in | v; }