Manpages

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