1BOOM(1)                    CAO-VLSI Reference Manual                   BOOM(1)
2
3
4

NAME

6       BOOM - BOOlean Minimization
7
8

ORIGIN

10       This software belongs to the  ALLIANCE CAD SYSTEM developed by the ASIM
11       team at LIP6 laboratory of Université Pierre et Marie CURIE, in  Paris,
12       France.
13
14       Web : http://asim.lip6.fr/recherche/alliance/
15       E-mail : alliance-users@asim.lip6.fr
16

SYNOPSIS

18       boom [-VTOAP] [-l num] [-d num] [-i num] [-a num] [-sjbgpwtmorn]
19                      filename [outname]
20

DESCRIPTION

22       BOOM is used for the first step of the synthesis process.  It optimizes
23       a behavioural description using a Reduced Ordered Binary Decision  Dia‐
24       gram representation of logic functions.  The file filename is the input
25       behavioural description and must be  written  in  vbe(5)  format.   The
26       resulting behavioural optimized description is saved with the name out‐
27       name or input_name_o in vbe(5) format.
28
29

ENVIRONMENT VARIABLES

31       MBK_WORK_LIB(1)
32                 indicates the path to the read/write directory for  the  ses‐
33                 sion.
34
35

OPTIONS

37       -V        Verbose  mode on.  Each step of the optimization is displayed
38                 on the standard output.
39
40       -T        Trace mode on.  Some debug information are displayed  on  the
41                 standard output.
42
43       -O        Reverses initial Bdd variables order.
44
45       -A        BOOM performs a local optimization and keeps the architecture
46                 of the initial description by saving most of the intermediate
47                 signals.   This  mode  is well-suited for big or regular cir‐
48                 cuits such as multipliers, adders.  By default BOOM  performs
49                 a  global  optimization  and removes most of the intermediate
50                 signals so that the outputs are expressed  in  terms  of  the
51                 inputs  or  the internal registers.  This mode is well-suited
52                 for random circuits such as FSMs.
53
54       -P        Uses a parameter file input_name.boom describing optimization
55                 directives and constraints.  (see below for the exact syntax)
56
57                 # Example of .boom file
58
59                 #
60                 # The list of auxiliary signals that have to be kept
61                 # during optimization.
62                 # Generally carry signals, ram address signals etc ...
63                 #
64                 BEGIN_KEEP
65
66                 carry[3:0]
67                 ram_address[3:0]
68
69                 END
70
71                 #
72                 # The list of auxiliary signals which assigned
73                 # expression won't be modified.
74                 # Generally it's ram output signals.
75                 #
76                 BEGIN_DONT_TOUCH
77                 ram_out[7:0]
78                 END
79
80
81       -l num    Specifies  the  optimization  level  [0-3] (default is 0, low
82                 level).
83
84       -d num    Specifies the  delay  optimization  percent  (default  is  0%
85                 delay, 100% surface).
86
87       -i num    Specifies  the  number of iterations for the chosen optimiza‐
88                 tion algorithm (for experts only).
89
90       -a num    Specifies the amplitude during bdd  reordering  (for  experts
91                 only).
92
93       -sjbgpwtmorn
94                 Specifies  which  algorithm  has  to  be used for the boolean
95                 optimization.
96
97

SEE ALSO

99       boom(5), vbe(5), asimut(1), boog(1), MBK_WORK_LIB(1).
100
101
102
103
104
105ASIM/LIP6                       August 25, 2000                        BOOM(1)