lvx - Logical Versus eXtracted net-list comparator
lvx format1 format2 filename1 filename2 [ -a ] [ -o ] [ -f ]
This software belongs to the ALLIANCE CAD system from the CAO-VLSI team at
ASIM/LIP6/UPMC laboratory.
LIP6/ASIM
University P. et M. Curie
4, place Jussieu
75252 PARIS Cedex 05
FRANCE
Fax : {33/0} 1.44.27.62.86
E-mail support : alliance-support@asim.lip6.fr
lvx compares two gate-level or block level net-list. The goal is to compare
a specification net-list (logical net-list), the input to a place and
route tool, with the physical net-list (extracted net-list) obtained by
the lynx(1)
extractor.
The net-list 1 is considered as the logical net-list and net-list 2 as the
extracted net-list.
lvx is an one-level hierarchical tool:
The two net-list are flattened, if the -f option is present, to the cells contained in the catalog file. The path to the catalog file is indicated in the MBK_CATA_LIB(1) variable for the cell library, and in the MBK_WORK_LIB(1) variable with the name MBK_CATAL_NAME(1) for user blocks ( catal(5) ) that are not to be flattened.
For both net-list, the instances are considered as black-boxes.
The two net-list must have the same external connectors names.
The two net-list must have the same instances names.
The two net-list must have the same signals names for unconnected signals.
The two net-list cannot directly contain transistors.
Comparison is performed in three steps:
Compare terminals.
Compare instances.
Compare connections.
Compare unconnected signals.
If an error occurs during first or second step, a message is immediately
displayed and the third step will not start: lvx cannot compare connections
(signals) if terminals or instances are not equivalent.
The -o option allows to order connectors if the steps described before
have been reached successfully. Extracted_netlist is then saved on disk.
The file get the name filename2 suffixed by the value of MBK_OUT_LO(1)
variable.
Routers add automatically empty feed-through cells. These cells must not
be taken into account in the comparison. A cell that have the F attribute
in the catalog file ( catal (5) ) is considered as feed-through cell, and
are deleted, in memory, from the net-list where it appears.
With logical_netlist named amd2901.vst and the corresponding extracted_netlist as amd2901.al containing multiple power connectors, the command line is :
lvx vst al amd2901 amd2901 -a
xx
MBK
_CATA
_LIB
MBK
_WORK
_LIB
contains the directory path of the
working directory, usually set to
MBK
_OUT
_LO
MBK
_CATAL
_NAME
lynx(1) , MBK_OUT_LO(1) , MBK_WORK_LIB(1) , MBK_CATA_LIB(1) , MBK_CATAL_NAME(1) , catal(5) .
The string _logic is appended to the net-list 1 and the string _extract", is appended to the net-list 2.
Two kinds of error message can occur:
A fatal error causes the program to exit. It happens when one of the net-lists is not correct, lvx cannot construct internal structure for compare.
A compare error occurs when the figures are not identical. It happens when basic objects (instances, connectors) do not exist in both net-list, or when connections (signals) do not connect same terminals or instances in the two net-lists.
Exit code 0 is returned for identical net-lists.
This tool is under development at the ASIM/LIP6/UPMC laboratory, cao-vlsi
research team.
We need your feedbak to improve documentation and tools.
If you find bugs, please fill-in the form at
http://asim.lip6.fr/alliance/support/bug-report/
Thanks for doing this.