TDS - A TED-based Synthesis and Verification System
TDS is TED-based Synthesis and Verification System developed over several years at UMass by graduate students: Serkan Askar, Qian Ren, and Daniel Gomez-Prado (most recent version being developed by Daniel).
TED, a Taylor Expansion Diagram, is a canonical representation of word level, integer-valued functions, developed by Prof. Ciesielski.
-
Follow the instructions
to install TDS.
- Here is a list of
basic TDS commands. It can be obtained by typing "help" at the TDS prompt.
- This
TDS manual describes the use of TDS system.
- Make sure to put the following file in the working directory to use some useful aliases:
tds.aliases
- The following environment file
tds.env
is needed. It contains important parameters, such as area and delay of the arithmetic operators, interface with other tools, etc. It will be automatically created the first time you invoke TDS with some default parameters. You should modify it according to your design and environment constraints.
-
Here are a few examples shown in class, illustrating the use of TDS. When running those examples, you should check (and modify as needed) the delay parameters in the tds.env file to properly interpret the results:
- You can download the Linux version of TDS from the following link (9.5 Mb):
tds-linux.tar.gz .
Windows version is NOT available.
For help with installing and using TDS, contact
Cunxi Yu:
ycunxi@engin.umass.edu