
------------- What's on this CD? --------------
The top level of this CD contains:
autorun.inf     --> The file to startup the installer for Windows
autorun         --> a link to the Linux installer 
examples.tar.gz --> a copy of the examples (including teal and truss) 
README.txt      --> this file
hardware_verification_with_cpp-1.0-Linux-x86-Install --> The installer for Linux
hardware_verification_with_cpp-1.0-Setup.exe          -> The windows installer

------------ Setting up the examples --------------------
This readme will get you started running the examples from the book "Hardware Verification with C++"

There are a few environment variables that you must set. They are:
SIM            --> The simulator you are using (e.g. aldec, ivl, mti, ncsim, or vcs).
SIMULATOR_HOME --> The path to the install area of the simulator (truss is looking for a bin and an include subdir).
TRUSS_HOME     --> The path top where truss is installed.
TEAl_HOME      --> The path top where teal is installed.

The above variables are more or less constant once you have set up an environment.

------------ Running the examples --------------------
The following environment variable tells truss what example you are running.

PROJECT_HOME    --> The path to where  examples/alu, examples, block_uart, or examples/quad_uart are installed.

------------ Running the ALU example --------------------

after setting PROJECT_HOME to <your_path>/examples/alu, type the following:

$TRUSS_HOME/bin/truss -t alu_test

The script will compile teal, truss, and the example.
The script will then run the example. 
The results, in addition to being printed to the display, are in $PROJECT_HOME/results.

----------- Running the block uart example --------------------

After setting PROJECT_HOME to <your_path>/examples/block_uart, type the following:

$TRUSS_HOME/bin/truss -t block_uart

The script will compile teal, truss, and the example.
The script will then run the example. 
The results, in addition to being printed to the display, are in $PROJECT_HOME/results.

------------ Running the quad uart examples  --------------------

After setting PROJECT_HOME to <your_path>/examples/quad_uart, type the following:

$TRUSS_HOME/bin/truss -t quad_uart_test_components
$TRUSS_HOME/bin/truss -t quad_uart_vectors
$TRUSS_HOME/bin/truss -t quad_uart_irritators
$TRUSS_HOME/bin/truss -t block_uart -config block_uart

The script will compile teal, truss, and the example specified.
The script will then run the example specified. 
The results, in addition to being printed to the display, are in $PROJECT_HOME/results.

----------------------------------------------------

If you don't have a verilog license, you can download a free trial from Aldec (http://www.aldec.com/Registration /evalsRiv.htm), one of the many simulators we support.

You can also use Icaurus, a free Verilog simulator (http://icarus.com/eda/verilog).


If you have questions, check out trusster.com or send e-mail to support@trusster.com.

