table of contents
BOOG(1) | CAO-VLSI Reference Manual | BOOG(1) |
NAME¶
- BooG - Binding and Optimizing On Gates.
-
ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.SYNOPSIS¶
- boog [-hmxold] input_file output_file [lax_file]
-
DESCRIPTION¶
boog is a mapper of a behavioural description onto a predefined standard cell library as SXLIB. It is the second step of the logic synthesis: it builds a gate network using a standard cell library.label: BLOCK (NOT ck 'STABLE and ck='1')
BEGIN
reg <= GUARDED expr;
END BLOCK;
label: BLOCK (NOT ck 'STABLE and ck='1' and wen='1')
BEGIN
reg <= GUARDED expr;
END BLOCK;
Optimization mode = 2 (50% area - 50% delay)
Input impedance = 0
Output capacitance = 0
Delayed input = none
Auxiliary signal saved = none
OPTION¶
- -h
- Help mode. Displays possible uses of boog.
- -m optim_mode
- Optimization mode. Can be defined in lax file, it's only a shortcut to define it on command line. This mode number has an array defined between 0 and 4. It indicates the way of optimization the user wants. If 0 is chosen, the circuit area will be improved. On the other hand, 4 will improve circuit delays. 2 is a medium value for optimization.
- -x xsch_mode
- Generate a '.xsc' file. It is a color map for each signals contained in output_file network. This file is used by xsch to view the netlist. By choosing level 0 or 1 for xsch_mode, you can color respectively the critical path or all signals with delay graduation.
- -o output_file
- Just another way to show explicitely the VST output file name.
- -l lax_file
- Just another way to show explicitely the LAX parameter file name.
- -d debug_file
- Generates a VBEdebug file. It comes from internal result
algorithm. Users aren't concerned.
ENVIRONMENT VARIABLES¶
The following environment variables have to be set before using boog :MBK_CATA_LIB
gives the auxiliary paths of the directories of input files (behavioural
description).
MBK_TARGET_LIB
gives the path (single) of the directory of the selected standard cell
library.
MBK_OUT_LO
gives the output format of the structural description.
EXAMPLE¶
You can call boog as follows :SEE ALSO¶
boog(1), boom(1), loon(1), lax(5), vbe(5), proof(1), asimut(1), vhdl(5), ocp(1), nero(1), sxlib(5).BUG REPORT¶
This tool is under development at the ASIM department of the LIP6 laboratory.Jun 29 2000 | ASIM/LIP6 |