// system definition in terms of external port (input and output)
input inPort1, ... ; // Ports inPort1, ... are set as inputs
wire inPort1, ... ; // inPort1, ... are declared as wires
output outPort1, ...; // Ports outPort1, ... are set as outputs
reg outPort1, ... ; // a and b are the two button inputs
// The code that performs the logic of this module goes here
statements // Module Body
endmodule // end of module