PPT Slide

always @ (select[1] or select[2] or select[3])

begin

case (select)

3’b001: mc1=0; mc2=0;

3’b010: mc1=1; mc2=0;

3’b100: mc1=0; mc2=1;

default: “error message”

endcase

end

Glue logic provides Statement and Branch information

Toggle and Variable Trace Coverage on signals/wires

Testing using Functional Verification

Integration and Sub-System Testing