Bound-T downloads for Intel/MS-Windows PC hosts

Here you can download no-cost, size-limited versions of the Bound-T WCET and stack-usage analyser for the Intel/MS-Windows PC host platform and various target processors. Tidorum provides this software under a specific no-cost licence.

To use Bound-T on an Intel/MS-Windows PC, you need the required support programs — see section 1 below — and the Bound-T main program(s) for your target processor(s) — see section 2 below. After you have downloaded the support programs and the Bound-T main program(s), follow the installation advice in section 3 below.

1. Required support programs (for all targets)

Click on a Download link to download a Bound-T support program for the Intel/MS-Windows host platform.

Program Download Description Version
All of them support.zip A ZIP of the support programs for this host, the programs oc and lp_solve. If you download this package, you do not need to download each support program separately. See below
oc oc.zip The Omega Calculator program, modified by Tidorum for use with Bound-T. Om21T3
lp_solve lp_solve.zip The LP Solve program, modified by Tidorum for use with Bound-T. L3T1

2. Bound-T main programs (one per target)

Click on the Target name for more information on Bound-T support for this target. Click on the Download link to download the Bound-T main program for a target processor.

Target Download Description Version
ARM7 TDMI boundt-arm7-4b3-1k.zip The Bound-T main program for the ARM7 TDMI target, limited to 1k instructions per analysis. 4b3
Atmel AVR boundt-avr-4a2-1k.zip The Bound-T main program for the Atmel AVR (8-bit) target, limited to 1k instructions per analysis. 4a2
Intel-8051 boundt-8051-4a5-1k.zip The Bound-T main program for the Intel-8051 target, limited to 1k instructions per analysis. 4a5
Renesas H8/300 boundt-h8300-4a2-1k.zip The Bound-T main program for the Renesas H8/300 target, limited to 1k instructions per analysis. 4a2
SPARC/ERC32 boundt-sparc-4a3-1k.zip The Bound-T main program for the SPARC/ERC32 target, limited to 1k instructions per analysis. 4a3
ADSP-21020 (SHARC) boundt-sharc-4a1-1k.zip The Bound-T main program for the Analog Devices ADSP-21020 target (an early form of SHARC), limited to 1k instructions per analysis. 4a1

3. Installation advice

Bound-T for an Intel/MS-Windows host consists of the two executable files for the support programs (files named oc.exe and lp_solve.exe) and one executable file for the Bound-T main program for each target processor you will use (files named boundt_<target>.exe).

To install Bound-T, download these executable files and put them in a folder (a directory) that is listed in your PATH environment variable. You can use an existing folder or make a new folder just for Bound-T. If you need help with this, you can read about it in Wikipedia, or ask Tidorum for help.

For example, the advice below show how to make a folder for Bound-T under your home folder, and how to add this folder to the PATH variable. The details may be different for different versions of MS Windows; the advice below is for Windows XP with the "classic" interface style.

What to do Explanation
From the Start menu, follow the path Start -> Programs -> Accessories and click on Command Prompt. Opens a command window into which you will type the following commands. By default the command window opens with your home folder as the current directory.
mkdir boundt Creates a new directory called boundt.
cd boundt Enters the directory boundt.
... Download and unzip the Bound-T programs here, so that all the executables are in the boundt directory. You will probably use a web browser for downloading, so no commands are shown at left.
cd .. Returns to your home directory.
set PATH=%CD%\boundt;%PATH% Adds the boundt directory at the front of the PATH variable for this session. This means that this directory is the first directory to be searched for a program name.
boundt_8051 -licence As a check, and assuming that you installed Bound-T for the Intel 8051, this command asks Bound-T to display its licence. The output should be something like: "Licence limited to at most 1024 instructions (steps) per analysis. Licensed for time and stack analysis with at most 1024 instructions (steps) per analysis".

The "set PATH" command shown above is in effect only for this command window. To avoid repeating it every time you open a command window you can change the initial value of the PATH variable as follows:

Insert the new folder name in a suitable place in the PATH value, usually at the start, and separate it from the following folder name with a semicolon (;). Write the full path to the new folder, beginning with the drive letter, for example C:\Users\jill\boundt.

To experiment with Bound-T, you can download the examples provided for each target processor. Click on the Target links in the download table in section 2, above, to find links to the examples.



Valid HTML 4.01 Transitional