Introduction to Discrete Event Simulation Technology, Functional Verification, Getting acquainted with Simulation tools