Accessing the UV System at UTCS


Warning

This page is under construction.


Availability on UT CS Computers

The UV system is currently available on Sun workstations running SunOS 4.1.x or Solaris 2.4 (SunOS 5.4). Installation for the IBM machines is planned for the near future.


Starting the UV System

In order to run the UV system with its graphical user interface you need access to a Sun SPARCStation computer running SunOS 4.1.x and X Windows X11R5, or Solaris 2.4 and X Windows X11R6. The binaries and scripts of the UV system are currently located in the publically readable directory /u/markus/pub/uv2. The UV system is started by executing /p/bin/uv2 which is linked to the correct script for your machine. Thus, if /p/bin is in your default path, you can start the UV system simply by executing
    % uv2
possibly with additional command line options.

You also need to make sure that your TK_LIBRARY variable is set correctly to the Tk library directory. On Suns this is currently the directory /p/lib/tk, you can set it with

    % setenv TK_LIBRARY /p/lib/tk
Executing the uv2 script starts up the UV window shell uvwish and then processes various Tcl/Tk scripts for building the user interface. For a more detailed discussion of how the UV system is executing you can look at the description of the UV system architecture.

Interaction with the UV system can then take place entirely through the graphical user interface. The uvwish shell is also available and experienced users can take advantage of it for low-level access, scripting, or specific customizations of the UV systems. Doing so, however, requires an intimate understanding of the Tcl interface of the system, and is best avoided by most users.


Using the UV System

Once you know how to start the UV system on your computer, you might want to look at the online manual to learn about the features and operations of the system. A particularly good starting point is the tutorial which contains a step-by-step description of a simple verification session.


This page was last updated on 16-Nov-1995.
markus@cs.utexas.edu