Skip site navigation (1)Skip section navigation (2)

  
 
  

home | help
BOOM(1) 		    CAO-VLSI Reference Manual			 BOOM(1)

NAME
     BOOM - BOOlean Minimization

SYNOPSIS
     boom [-VTOAP] [-l num] [-d num] [-i num] [-a num] [-sjbgpwtmorn]
		    filename [outname]

DESCRIPTION
     BOOM  is  used for the first step of the synthesis process.  It optimizes a
     behavioural description using a Reduced  Ordered  Binary  Decision  Diagram
     representation  of  logic functions.  The file filename is the input behav-
     ioural description and must be written in vbe(5) format.  The resulting be-
     havioural optimized description is saved  with  the  name	outname  or  in-
     put_name_o in vbe(5) format.

ENVIRONMENT VARIABLES
     MBK_WORK_LIB(1)
	       indicates the path to the read/write directory for the session.

OPTIONS
     -V        Verbose	mode  on.  Each step of the optimization is displayed on
	       the standard output.

     -T        Trace mode on.  Some debug information are displayed on the stan-
	       dard output.

     -O        Reverses initial Bdd variables order.

     -A        BOOM performs a local optimization and keeps the architecture  of
	       the  initial  description by saving most of the intermediate sig-
	       nals.  This mode is well-suited for big or regular circuits  such
	       as  multipliers, adders.  By default BOOM performs a global opti-
	       mization and removes most of the intermediate signals so that the
	       outputs are expressed in terms of the inputs or the internal reg-
	       isters.	This mode is well-suited for  random  circuits	such  as
	       FSMs.

     -P        Uses a parameter file input_name.boom describing optimization di-
	       rectives and constraints.  (see below for the exact syntax)

	       # Example of .boom file

	       #
	       # The list of auxiliary signals that have to be kept
	       # during optimization.
	       # Generally carry signals, ram address signals etc ...
	       #
	       BEGIN_KEEP

	       carry[3:0]
	       ram_address[3:0]

	       END

	       #
	       # The list of auxiliary signals which assigned
	       # expression won't be modified.
	       # Generally it's ram output signals.
	       #
	       BEGIN_DONT_TOUCH
	       ram_out[7:0]
	       END

     -l num    Specifies the optimization level [0-3] (default is 0, low level).

     -d num    Specifies  the  delay  optimization percent (default is 0% delay,
	       100% surface).

     -i num    Specifies the number of iterations for  the  chosen  optimization
	       algorithm (for experts only).

     -a num    Specifies the amplitude during bdd reordering (for experts only).

     -sjbgpwtmorn
	       Specifies  which  algorithm  has to be used for the boolean opti-
	       mization.

SEE ALSO
     boom(5), vbe(5), asimut(1), boog(1), MBK_WORK_LIB(1).

ASIM/LIP6			 August 25, 2000			 BOOM(1)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=boom&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>

home | help