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; You can also put a write enable condition to your register:
label: BLOCK (NOT ck 'STABLE and ck='1' and wen='1')
BEGIN
reg <= GUARDED expr;
END BLOCK;
A special feature has been introduced in the VHDL subset in order to allow the don't care description for external outputs and internal registers : A bit signal can take the 'd' value. This value is interpreted as a '0' by the logic simulator asimut. Don't Cares are automatically generated by syf in the resulting '.vbe' file.
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 |