HiTas -- Static Timing Analyser
HiTas is a static timing analysis tool. Its strength lies in its transparent hierarchical approach combined with the ability to perform analysis at the transistor-level, cell-level or a mixture of the two.
The transistor-level analysis brings the possiblity of handling full-custom circuits not individually but also as blocks within the hierachy of a complete chip. In addition, working at transistor level removes the need for costly and time consuming re-characterization when performing the analysis at different corners. The fact that delays are dynamically calculated throughout the design means that the differences in local context are automatically taken into account such as power supply variations due to IR drop, or simply using different voltages for low-power applications.
Yagle provides automatic generation of a behaviral model (in vhdl or Verilog) directly from a transistor netlist. Its major strength is the ability to take into account functional correlation between signals. This optimizes the partitioning and functional characterization as well as providing the means for automatically identifying and characterizing most kind of memory elements. Yagle is able to mix the totally automatic approach with a pattern-matching approach. This allows functional abstraction of circuits containing a mixture of analog and digital. This can be used to handle RAMs which contain sense amplifiers for example.
This tools are based on the PhD works of Amjad Hajjar (1992), Karim Dioury (1998) Anthony Lester (1999) Grégoire Avot (2003) under the supervision of Alain Greiner, Pirouz Bazargan-Sabet and Marie-Minerve Louërat.
Before using HiTas, please read carefully the UPMC License.
HiTas Quick Install Instructions
Binary archives are avalaibles for the following distributions:
- RedHat Entreprise Linux 6 & 7 (RHEL6 & 7) and clones (Scientific Linux, CentOS).
RedHat / Scientific Linux / CentOS
Archives for RedHat based distributions.
After downloading the relevant archive, simply unpack it in a directory of your choosing (here, <TASYAG_TOP>):
root@machine> mkdir -p <TASYAG_TOP> root@machine> cd <TASYAG_TOP> root@machine> tar jxvf tasyag-3.4p5-DIST.tar.bz2
And before using it, you must source the environment (in each terminal you want to use HiTas / Yagle):
> . <TASYAG_TOP>/etc/tasyag/avt_env.sh
The root of the html documentation can be accessed through this url:
The provided archives may work on other distributions, assuming they supply dynamic libraries compliant with the following versions:
libcrypt.so.1 libedit.so.0 libtcl8.5.so libtinfo.so.5 libpthread.so.0 libdl.so.2 libstdc++.so.6 libm.so.6 libgcc_s.so.1 libc.so.6 libfreebl3.so libncurses.so.5