SYSTEM VERILOG FOR VERIFICATION A GUIDE TO LEARNING THE TESTBENCH LANGUAGE FEATURES - SPEAR (SPRINGER)