Example: Bus Arbiter

Example: Bus Arbiter

• AG(reqA -> A(reqA U ackA))
• AG((reqA * ackA) -> A(ackA U not(reqA + EX(ackA))))

ClientA

ControllerA

reqA

ackA

Time

reqA

ackA

few clock cycles

one clock cycle

Previous slide

Next slide

Back to the first slide

View Graphic Version