> :
> #       test_counter
> vsim work.test_counter
> # //  ModelSim PE Student Edition 6.5a Mar 28 2009
> # //
> # //  Copyright 1991-2009 Mentor Graphics Corporation
> # //              All Rights Reserved.
> # //
> # //  THIS WORK CONTAINS TRADE SECRET AND
> # //  PROPRIETARY INFORMATION WHICH IS THE PROPERTY
> # //  OF MENTOR GRAPHICS CORPORATION OR ITS LICENSORS
> # //  AND IS SUBJECT TO LICENSE TERMS.
> # //
> #
> # // NOT FOR CORPORATE OR PRODUCTION USE.
> # // THE ModelSim PE Student Edition IS NOT A SUPPORTED PRODUCT.
> # // FOR HIGHER EDUCATION PURPOSES ONLY
> # //
> # vsim work.test_counter
> # ** Error: ModelSim PE Student Edition license key file not found at
> C:\Modeltech_pe_edu_6.5a\win32pe_edu\..\student_license.dat.
> # ** FATAL ERROR: ModelSim PE Student Edition licensing failure due to
> one or more problems with the license key such as:
> # - it is not found
> # - it has expired
> # - it is not for this user
> # - it is not for this computer
> # - it is not for this version of ModelSim PE Student Edition.
> #
> # Please go tohttp://www.model.comand download an updated copy of
> the ModelSim PE Student Edition.
> # Error loading design
> vsim work.counter
> # vsim work.counter
> # Error loading design
> vsim work.test_counter
> # vsim work.test_counter
> # Error loading design
> vsim work.test_counter
> # vsim work.test_counter
> # Error loading design