OnWorks favicon

boog - Online in the Cloud

Run boog in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command boog that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator



BooG - Binding and Optimizing On Gates.


boog [-hmxold] input_file output_file [lax_file]


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.

Input file description
The logic level behavioural description (.vbe file) uses the same VHDL subset as the logic
simulator asimut, the FSM synthesizer syf, the functional abstractor yagle and the formal
prover proof (for further information about the subset of VHDL, see the "vbe" manual).
Some constraints due to hardware mapping exist. These attributes are only supported by
technology mapping onto a standard cell library as sxlib.
For the register signal description, only one condition statement must appear. STABLE must
be strictely used as a negativ motion and joined to clock setup value. Setup can be on
high or low value, but it would be worthy to choose it accordingly with hardware register
# Example
label: BLOCK (NOT ck 'STABLE and ck='1')
reg <= GUARDED expr;

You can also put a write enable condition to your register:
label: BLOCK (NOT ck 'STABLE and ck='1' and wen='1')
reg <= GUARDED expr;

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.

Output file description
A pure standard cell netlist is produced by boog. This file is destinated for /fBloon/fP
alliance utility to improve RC delays. Any equipotential keeps its name from connector to
connector. In trouble case, buffers are inserted to respect this VHDL constraint.

lax Parameter file description
The lax file is common with other logic synthesis tools and is used for driving the
synthesis process. See lax(5) manual for more detail.

lax uses a lot of parameters to guide every step of the synthesis process. Some
parameters are globally used (for example, optimization level whereas others are
specifically used (load capacitance for the netlist optimization only). Here is the
default lax file (see the user's manual for further information about the syntax of the
'.lax' file):

Optimization mode = 2 (50% area - 50% delay)
Input impedance = 0
Output capacitance = 0
Delayed input = none
Auxiliary signal saved = none

Mapping with a standard cell library
Every cell appearing in the directory defined by the environment variable MBK_TARGET_LIB
may be used by boog since they are described as a '.vbe' file. There are some restrictions
about the type of the cell used. Every cell has to have only one output. The cell must be
characterized. The timing and area informations required by boog are specified in the
"generic" clause of the ".vbe" file.


-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


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

MBK_TARGET_LIB gives the path (single) of the directory of the selected standard cell

MBK_OUT_LO gives the output format of the structural description.


You can call boog as follows :
boog alu alu

Use boog online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Fork of TeamWinRecoveryProject(TWRP)
    with many additional functions, redesign
    and more Features:Supports Treble and
    non-Treble ROMsUp-to-date Oreo kernel,
    Download OrangeFox
  • 2
    itop - ITSM  CMDB OpenSource
    itop - ITSM CMDB OpenSource
    IT Operations Portal: a complete open
    source, ITIL, web based service
    management tool including a fully
    customizable CMDB, a helpdesk system and
    a document man...
    Download itop - ITSM CMDB OpenSource
  • 3
    Clementine is a multi-platform music
    player and library organizer inspired by
    Amarok 1.4. It has a fast and
    easy-to-use interface, and allows you to
    search and ...
    Download Clementine
  • 4
    ATTENTION: Cumulative update 2.4.3 has
    been released!! The update works for any
    previous 2.x.x version. If upgrading
    from version v1.x.x, please download and
    Download XISMuS
  • 5
    Modular headtracking program that
    supports multiple face-trackers, filters
    and game-protocols. Among the trackers
    are the SM FaceAPI, AIC Inertial Head
    Tracker ...
    Download facetracknoir
  • 6
    PHP QR Code
    PHP QR Code
    PHP QR Code is open source (LGPL)
    library for generating QR Code,
    2-dimensional barcode. Based on
    libqrencode C library, provides API for
    creating QR Code barc...
    Download PHP QR Code
  • 7
    Cuckoo Sandbox
    Cuckoo Sandbox
    Cuckoo Sandbox uses components to
    monitor the behavior of malware in a
    Sandbox environment; isolated from the
    rest of the system. It offers automated
    analysis o...
    Download Cuckoo Sandbox
  • More »

Linux commands

  • 1
    rsbac-admin - Rule Set Based Access
    Control DESCRIPTION: rsbac-admin is a
    set of tool used to manage systems using
    a Rule Set Based Access Control (RSBAC)
    Run acl_gran
  • 2
    rsbac-admin - Rule Set Based Access
    Control DESCRIPTION: rsbac-admin is a
    set of tool used to manage systems using
    a Rule Set Based Access Control (RSBAC)
    Run acl_grant
  • 3
    cpupower idle-set - Utility to set cpu
    idle state specific kernel options
    SYNTAX: cpupower [ -c cpulist ]
    idle-info [options] DESCRIPTION: The
    cpupower idle-se...
    Run cpupower-idle-set
  • 4
    cpupower-info - Shows processor power
    related kernel or hardware
    configurations ...
    Run cpupower-info
  • 5
    g15daemon - provides access to extra
    keys and the LCD available on the
    logitech G15 keyboard. DESCRIPTION:
    G15Daemon allows users access to all
    extra keys by d...
    Run g15daemon
  • 6
    laditools - tools to control and
    monitor LADI (JACK and ladish) systems ...
    Run g15ladi
  • More »