Man de BOOM

alliance/share/man/man1/ali.1

@@ -1,6 +1,6 @@
-.\" $Id: ali.1,v 1.3 1999/11/05 16:43:17 czo Exp $
+.\" $Id: ali.1,v 1.4 2000/08/25 12:01:41 syf Exp $
 
-.TH ali 1 "$Date: 1999/11/05 16:43:17 $" "ASIM/LIP6" "ALLIANCE  Reference Manual"
+.TH ali 1 "$Date: 2000/08/25 12:01:41 $" "ASIM/LIP6" "ALLIANCE  Reference Manual"
 
 .SH NAME
 ali \- ALliance Information
@@ -16,33 +16,33 @@ Alliance settings :
 
 ALLIANCE_OS          = Linux_elf
 ALLIANCE_OS      = Linux_elf
-ALLIANCE_TOP              = /users/cao7/czo/cvstree/alliance/archi/Linux_elf
-ALLIANCE_TOP     = /users/cao7/czo/cvstree/alliance/archi/Linux_elf
+ALLIANCE_TOP              = /users/cao/czo/cvstree/alliance/archi/Linux_elf
+ALLIANCE_TOP     = /users/cao/czo/cvstree/alliance/archi/Linux_elf
 ALLIANCE_VERSION = '"3.5.9"'
 
-DREAL_TECHNO_NAME=/users/cao7/czo/cvstree/alliance/archi/Linux_elf/etc/cmos_7.dreal
-ELP_TECHNO_NAME=/users/cao7/czo/cvstree/alliance/archi/Linux_elf/etc/prol10.elp
-GRAAL_TECHNO_NAME=/users/cao7/czo/cvstree/alliance/archi/Linux_elf/etc/cmos_7.graal
+DREAL_TECHNO_NAME=/users/cao/czo/cvstree/alliance/archi/Linux_elf/etc/cmos_7.dreal
+ELP_TECHNO_NAME=/users/cao/czo/cvstree/alliance/archi/Linux_elf/etc/prol10.elp
+GRAAL_TECHNO_NAME=/users/cao/czo/cvstree/alliance/archi/Linux_elf/etc/cmos_7.graal
 MBK_C4_LIB=./cellsC4
 MBK_CATAL_NAME=CATAL
-MBK_CATA_LIB=.:/users/cao7/czo/cvstree/alliance/archi/Linux_elf/cells/sxlib:/users/cao7/cz
+MBK_CATA_LIB=.:/users/cao/czo/cvstree/alliance/archi/Linux_elf/cells/sxlib:/users/cao/cz
 o/cvstree/alliance/archi/Linux_elf/cells/padlib
 MBK_IN_LO=vst
 MBK_IN_PH=ap
 MBK_OUT_LO=vst
 MBK_OUT_PH=ap
 MBK_SCALE_X=10
-MBK_TARGET_LIB=/users/cao7/czo/cvstree/alliance/archi/Linux_elf/cells/sxlib
+MBK_TARGET_LIB=/users/cao/czo/cvstree/alliance/archi/Linux_elf/cells/sxlib
 MBK_VDD=vdd
 MBK_VSS=vss
 MBK_WORK_LIB=.
-RDS_TECHNO_NAME=/users/cao7/czo/cvstree/alliance/archi/Linux_elf/etc/cmos_7.rds
+RDS_TECHNO_NAME=/users/cao/czo/cvstree/alliance/archi/Linux_elf/etc/cmos_7.rds
 VH_BEHSFX=vbe
 VH_DLYSFX=dly
 VH_MAXERR=10
 VH_PATSFX=pat
-XFSM_PARAM_NAME=/users/cao7/czo/cvstree/alliance/archi/Linux_elf/etc/xfsm.par
-XPAT_PARAM_NAME=/users/cao7/czo/cvstree/alliance/archi/Linux_elf/etc/xpat.par
+XFSM_PARAM_NAME=/users/cao/czo/cvstree/alliance/archi/Linux_elf/etc/xfsm.par
+XPAT_PARAM_NAME=/users/cao/czo/cvstree/alliance/archi/Linux_elf/etc/xpat.par
 
 .SH SEE ALSO
 .BR alliance(1).

alliance/share/man/man1/boom.1

@@ -0,0 +1,79 @@
+.\"   $Id: boom.1,v 1.1 2000/08/25 12:01:41 syf Exp $
+.\" @(#)Labo.l 2.2 95/09/24 UPMC; Author: Jacomme L.
+.pl -.4
+.TH BOOM 1 "August 25, 2000" "ASIM/LIP6" "CAO\-VLSI Reference Manual"
+.SH NAME
+.TP
+BOOM \- BOOlean Minimization
+.so man1/alc_origin.1
+.SH SYNOPSIS
+.TP
+\f4boom [\-VTOAP] [\-L num] [\-D num] [\-i num] [\-a num] [\-sjbgpwtmorn]
+        filename [outname]
+.br
+.SH DESCRIPTION
+.br
+\fBBOOM\fP 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 \fBfilename\fP is the input behavioural description and must
+be written in vbe(5) format.
+The resulting behavioural optimized description is saved with the name
+\fBoutname\fP or \fBinput_name\fP_o in vbe(5) format.
+
+.SH ENVIRONMENT VARIABLES
+.br
+.TP 10
+\f4MBK_WORK_LIB\fR(1)
+indicates the path to the read/write directory for the session.
+.br
+
+.SH OPTIONS
+.TP 10
+\f4\-V\fP
+Verbose mode on.
+Each step of the optimization is displayed on the standard output.
+.TP 10
+\f4\-T\fP
+Trace mode on.
+Some debug informations are displayed on the standard output.
+.TP 10
+\f4\-O\fP
+Reverses initial Bdd variables order.
+.TP 10
+\f4\-A\fP
+\fBBOOM\fP performs a local optimization and keeps the architecture of the initial description by saving most of the intermediate signals.
+This mode is well-suited for big or regular circuits such as multipliers, adders.
+By default \fBBOOM\fP performs a global optimization and removes most of the intermediate
+signals so that the outputs are expressed in terms of the inputs or the internal registers.
+This mode is well-suited for random circuits such as FSMs. 
+.TP 10
+\f4\-P\fP
+Uses a parameter file \fBinput_name\fP.boom describing
+optimization directives and constraints (see boom(5) for details) .
+.TP 10
+\f4\-L num\fP
+Specifies the optimization level [0\-3] (default is 0, low level).
+.TP 10
+\f4\-D num\fP
+Specifies the delay optimization percent (default is 50% delay, 50% surface).
+.TP 10
+\f4\-i num\fP
+Specifies the number of iterations for the choosen optimization algorithm
+(for experts only).
+.TP 10
+\f4\-a num\fP
+Specifies the amplitude during bdd reordering (for experts only).
+.TP 10
+\f4\-sjbgpwtmorn\fP
+Specifies which algorithm has to be used for the boolean optimization.
+
+.SH SEE ALSO
+.BR boom (5),
+.BR vbe (5),
+.BR asimut (1),
+.BR boog (1),
+.BR MBK_WORK_LIB (1).
+
+.so man1/alc_bug_report.1
+