
1.8. FLATBEH 37
As could be notice from the output, no errors has been detected. And the layout generated by OCP and NERO
does not contain violations to the design rules spe cified in the cmos .rds file.
The options available in DRUC are shown in Table 1.9. The option -h generates many intermediate files,
but there is no documentation about its use.
Table 1.9: Options Available for the DRUC Tool.
Option Description
-v
Verbose mode on. Each step of the DRC is output on the standard output
-h
Hierarchical design rule checking. Generates lots of files locally, to be used by future
invocations of druc.
1.8 FlatBeh
The FlatTBeh (Flattens to Behavioral) tool generates a behavioral description from a structural one. It
could be used to check if the description obtained in the synthesis process of a design is correct. It flattens
the structural description of the target design down to its leaf behavioral components. Then, it uses those
descriptions to create a behavioral description of the target design. This tool can be started with the following
command.
flatbeh root_structural_file [ output_file ]
This tool has no options. Its parameters are only the root structural design and the ouput file name. We must
check that MBK CATA LIB is set to the path where the descriptions of the design are given. MBK IN LO
must be set to vst. Also, if needed, we can set MBK CATAL NAME to the file (normally CATAL) that lists the
files names of the behavioral description where FlatBeh must stop the flattening of the structural ro ot design.
Let’ apply it to our mux oo.vst design generated by BOOG.
% flatbeh mux_oo mux_oo
@@@@@@@@@ @@@@ @@@@@@@ @@@
@@ @ @@ @ @@ @@ @@
@@ @ @@ @@ @@ @@ @@
@@ @@ @@@@ @@ @@ @@ @@@@@ @@ @@@
@@ @ @@ @@ @ @@@@@@@@ @@ @@ @ @ @@@ @@
@@@@@@ @@ @@ @@ @@ @@@@@@ @@ @@ @ @ @@
@@ @ @@ @@@@@ @@ @@ @@ @@@@@@@@@ @@ @@
@@ @@ @@ @@ @@ @@ @@ @@ @@ @@
@@ @@ @@ @@ @@ @@ @@ @@ @ @@ @@
@@ @@ @@ @@@ @@ @ @@ @@ @@ @@ @@ @@
@@@@@@ @@@@@@ @@@@ @@ @@@@ @@@@@@@@ @@@@ @@@@ @@@@
a netlist abstractor
Alliance CAD System 5.0 20040928, flatbeh 5.0 [2000/11/01]
Copyright (c) 1993-2005, ASIM/LIP6/UPMC
Author(s): Fran?ois DONNET, Huu Nghia VUONG
========================= Environnement =========================
MBK_WORK_LIB = .
MBK_CATA_LIB = .:/usr/local/alliance/cells/sxlib:/usr/local/alliance/cells/dp_s xlib
:/usr/local/alliance/cells/rflib:/usr/local/alliance/cells/romlib:/usr/local/alliance/cells/ramlib
:/usr/local/alliance/cells/padlib
MBK_CATAL_NAME = CATAL
============================== Files === ==== ==== ==== ==== === ==== ====
Netlist file = mux_oo.vst
Output file = mux_oo.vbe
===================================================================
Loading ’./mux_oo.vst’
flattening figure mux_oo
loading inv_x2
loading ao2o22_x2
Restoring array’s orders
BEH : Saving ’mux_oo’ in a vhdl file (vbe)
Comentários a estes Manuais