#expect 6 #expect 6 #expect 6 #expect 10 #expect 10 #expect 10 #expect 14 #expect 14 #expect 14 #expect 14 #expect 14 #expect 14 #expect 18 #expect 18 #expect 18 #expect 18 #expect 18 #expect 18 #expect 22 #expect 22 #expect 22 #expect 22 #expect 22 #expect 22 #expect 26 #expect 26 #expect 26 #expect 26 #expect 26 #expect 26 #expect 30 #expect 30 #expect 30 #expect 30 #expect 30 #expect 30 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #expect 34 #ship alu : Alu2 #ship debug : Debug #ship f : Fifo f.in: literal 2; deliver; literal 4; deliver; f.out: take, sendto alu.in1; take, sendto alu.in2; Alu2.inOp[ADD]: sendto alu.inOp; alu.in1: [*] nop; (*) take, deliver; (*) deliver; (*) dismiss; (4) deliver; kill*; alu.in2: take; [*] deliver; alu.inOp: take; [*] deliver; alu.out: [*] nop; (40) take, sendto alu.in1; (50) sendto debug.in; kill*; debug.in: [*] take, deliver;