// ************************************************************************** // // // // 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 // // // // ************************************************************************** // import ComputerArchitecture.AsynchronousCircuits.AsyncArbiter.*; module OriginalArbiterInContext(bool usr1_req, usr2_req, tok1_ack, tok2_ack, src_ack, usr1_ack,usr2_ack,tok1_req,tok2_req,src_req, ?del1,?del2,?del3,?del4,?del5,?del6,?del7,?del8,?del9,?del10) { T1 : Server(false,tok1_req,tok1_ack); || T2 : Server(false,tok2_req,tok2_ack); || SR : Server(false,src_req,src_ack); || U1 : Client(usr1_ack,usr1_req); || U2 : Client(usr2_ack,usr2_req); || AR : OriginalArbiter(usr1_req,usr2_req,tok1_ack,tok2_ack,src_ack, usr1_ack,usr2_ack,tok1_req,tok2_req,src_req, del1,del2,del3,del4,del5,del6,del7,del8,del9,del10); }