NAME

       lax -  Parameter file for logic synthesis

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).

ASIM/LIP6                                        October 1, 1997                                          LAX(5)