LAX(5)                                                       CAO-VLSI Reference Manual                                                      LAX(5)

NAME

       lax -  Parameter file for logic synthesis

ORIGIN

       This  software  belongs  to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

SYNOPSIS

       filename.lax

DESCRIPTION

       The .lax file contains user modifiable parameters that lead to different logic synthesis.

EXAMPLE

       Circuit Interfce

       -- Entity Declaration

       ENTITY digia IS
         PORT (
         clock : in BIT;   -- clock
         jour : in BIT;    -- jour
         reset : in BIT;   -- reset
         vdd : in BIT;     -- vdd
         vss : in BIT;     -- vss
         i : in bit_vector(3 DOWNTO 0) ;  -- i
         porte : out BIT;  -- porte
         alarm : out BIT;  -- alarm
         ep_0 : out BIT;   -- ep_0
         ep_1 : out BIT;   -- ep_1
         ep_2 : out BIT;   -- ep_2
         ep_3 : out BIT;   -- ep_3
         ep_4 : out BIT;   -- ep_4
         ep_5 : out BIT;   -- ep_5
         ep_a : out BIT    -- ep_a
         );
       END digia;

       -- Architecture Declaration

       ARCHITECTURE behaviour_data_flow OF digia IS
         SIGNAL cs : REG_VECTOR(0 TO 2) REGISTER;   -- cs
         SIGNAL cs_ea : BIT;         -- cs_ea
         SIGNAL ef_ea : BIT;         -- ef_ea
         SIGNAL cs_e5 : BIT;         -- cs_e5
         SIGNAL ef_e5 : BIT;         -- ef_e5
         SIGNAL cs_e4 : BIT;         -- cs_e4
         SIGNAL ef_e4 : BIT;         -- ef_e4
         SIGNAL cs_e3 : BIT;         -- cs_e3
         SIGNAL ef_e3 : BIT;         -- ef_e3
         SIGNAL cs_e2 : BIT;         -- cs_e2
         SIGNAL ef_e2 : BIT;         -- ef_e2
         SIGNAL cs_e1 : BIT;         -- cs_e1
         SIGNAL ef_e1 : BIT;         -- ef_e1
         SIGNAL cs_e0 : BIT;         -- cs_e0
         SIGNAL ef_e0 : BIT;         -- ef_e0
         SIGNAL ef : BIT_VECTOR(0 TO 2);  -- ef

       .Lax parameter file

       ## This line is a comment

       ## Set the Optimisation Mode (0..4)
       ## 0 : full area optimisation
       ## 2 : 50% area, 50% delay
       ## 4 : full delay optimisation
       ## Used by boog and loon
       #M{4}

       ## Set the Optimisation Level (1..5)
       ## 1 : poor optimisation - small computation time
       ## 5 : best optimisation - long computation time
       #L{5}

       ## External Input Delay (in ns)
       ## Those signals are taken into account to optimise
       ## the global delay of the circuit.
       ## Used by boog and loon
       #D{
       i(3):300;
       i(0):100;
       jour:120;
       }

       ## Set the list of early outputs
       ## Some outputs may be critical. They can be
       ## optimized in delay before others regardless
       ## of the optimisation mode.
       #E{
       porte;
       ep_3;
       }

       ## Set the list of auxiliary (intermediate) signals to keep
       ## This can be used to decrease the memory consuption
       ## when trying to reorder Bdds. Those signals wont
       ## be reordered.
       #S{
       cs_ea;
       ef_0;
       ef_1;
       ef_e4;
       }

       ## The following parameters are used for whith glop
       ## (Delayed --#D--inputs are also used)

       ## Fanout factor : the max fanout of the
       ## output connector is multiplied by this factor
       #T{1000}

       ## Input Capacitance : The primary inputs of the circuit
       ## can have fanout values. (in fF)
       #F{
       jour:50;
       }

       ## External Output Capacitance (in fF)
       ## Used by boog and loon
       #C{
       porte:50;
       }

       ## External Input Impedance (in Ohms)
       ## Used by boog and loon
       #I{
       jour:5000;
       }

       ## Buffered Input : this is a list of primary inputs whith
       ## the number of buffer you want to add.
       #B{
       clock:1;
       }

SEE ALSO

       boom(1), boog(1).  loon(1).

BUG REPORT

       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6                                                         October 1, 1997                                                           LAX(5)