BSV by Example - Computation Structures Group

let y = pipe; // was let y = pipe.receive();
Instead of providing the Pipe_ifc interface, the mkPipe module provides a standard register interface:
module mkPipe (Reg#(int));
The standard register interface provides the _write and _read methods instead of the send and
receive methods in the previous example:
method Action _write (int a); // was method Action send (int a);
method int _read (); // was method int receive ();
5.6 Using valid bits
Source directory: rulesregs/validbits
Source listing: Appendix A.4.5
Let’s expand the previous example, adding Valid bits to deal with pipeline bubbles. The testbench
module, mkTb is not changed at all; all changes are in the mkPipe module.
In the mkPipe module, we instantiate 4 validn registers in addition to the xn registers:
Reg#(Bool) valid1