riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Now, by default LVX does not check unassigned signals between the two input netlists. 

(this feature is usefull/mandatory with the new VST driver that adds sometimes unused
signals to have consitent VHDL vectors declaration)
The command line option '-u' permits to behave like it was before and then check
also unassigned signals.
This commit is contained in:
Ludovic Jacomme 2004-05-22 14:26:08 +00:00
parent 00eeafa601
commit 478d1db69e
2 changed files with 34 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
alliance/src/lvx/doc/lvx.1
View File

@ -1,11 +1,11 @@
.\" $Id: lvx.1,v 1.2 2002/05/21 07:17:52 xtof Exp $ .\" $Id: lvx.1,v 1.3 2004/05/22 14:26:07 ludo Exp $
.\" @(#)lvx.l 0.0 92/11/27 UPMC; Author: Francois Nacabal .\" @(#)lvx.l 0.0 92/11/27 UPMC; Author: Francois Nacabal
.TH LVX 1 "October 1, 1997" "ASIM/LIP6" "ALLIANCE USER COMMANDS" .TH LVX 1 "October 1, 1997" "ASIM/LIP6" "ALLIANCE USER COMMANDS"
.SH NAME .SH NAME
lvx \- Logical Versus eXtracted net-list comparator lvx \- Logical Versus eXtracted net-list comparator
.SH SYNOPSIS .SH SYNOPSIS
.TP .TP
\fBlvx \fIformat1 format2 filename1 filename2 \fB[ -a ] [ -o ] [ -f ]\fR \fBlvx \fIformat1 format2 filename1 filename2 \fB[ -a ] [ -u ] [ -o ] [ -f ]\fR
.br .br
.so man1/alc_origin.1 .so man1/alc_origin.1
.SH DESCRIPTION .SH DESCRIPTION
@ -124,6 +124,11 @@ and one
.I VSS .I VSS
\&. \&.
.TP .TP
.B "-u"
This option force
.B lvx
to check the consistency of unassigned signals between the two netlists.
.TP
.B "-f" .B "-f"
The two net-lists are flattened to the leaf cells contained in the catalog The two net-lists are flattened to the leaf cells contained in the catalog
file. Usually the extracted net-list is a flatten net-list, while the logical file. Usually the extracted net-list is a flatten net-list, while the logical

44
alliance/src/lvx/src/lvx.c
View File

@ -41,21 +41,28 @@
/* */ /* */
/****************************************************************************/ /****************************************************************************/
/* $Log: lvx.c,v $ /* $Log: lvx.c,v $
/* Revision 1.3 2002/09/30 16:20:46 czo /* Revision 1.4 2004/05/22 14:26:08 ludo
/* support/users /* Now, by default LVX does not check unassigned signals between the two input netlists.
/* /* (this feature is usefull/mandatory with the new VST driver that adds sometimes unused
/* Revision 1.2 2002/03/22 09:45:47 xtof /* signals to have consitent VHDL vectors declaration)
/* ALLIANCE_VERSION /* The command line option '-u' permits to behave like it was before and then check
/* /* also unassigned signals.
/* Revision 1.1.1.1 2002/03/20 17:07:59 xtof
/* importing lvx ....
/*
/* Revision 1.2 2000/10/23 16:33:37 syf
/* Big bug dans LVX (a se demander comment ca a pu marcher un jour ...)
/*
/* Revision 1.1.1.1 1998/10/02 15:25:15 alliance
/* Imported by czo
/* /*
* Revision 1.3 2002/09/30 16:20:46 czo
* support/users
*
* Revision 1.2 2002/03/22 09:45:47 xtof
* ALLIANCE_VERSION
*
* Revision 1.1.1.1 2002/03/20 17:07:59 xtof
* importing lvx ....
*
* Revision 1.2 2000/10/23 16:33:37 syf
* Big bug dans LVX (a se demander comment ca a pu marcher un jour ...)
*
* Revision 1.1.1.1 1998/10/02 15:25:15 alliance
* Imported by czo
*
* Revision 2.23 1994/01/19 14:57:20 lvx * Revision 2.23 1994/01/19 14:57:20 lvx
* Now the -f option will not print invalid parameter * Now the -f option will not print invalid parameter
* *
@ -88,7 +95,7 @@
* *
*/ */
static char rcsid[] = "$Id: lvx.c,v 1.3 2002/09/30 16:20:46 czo Exp $" ; static char rcsid[] = "$Id: lvx.c,v 1.4 2004/05/22 14:26:08 ludo Exp $" ;
#include <stdio.h> #include <stdio.h>
#include <string.h> #include <string.h>
@ -162,6 +169,7 @@ long int loins_time;
long int locon_time; long int locon_time;
long int total_time; long int total_time;
int flag_chk_unusig = FALSE;
int unusig_flag = FALSE; int unusig_flag = FALSE;
int exitcode = 2; int exitcode = 2;
@ -884,7 +892,7 @@ unsigned char mark;
*/ */
ptchain = (chain_list *)(ptype->DATA); ptchain = (chain_list *)(ptype->DATA);
if (ptchain == NULL) { if (ptchain == NULL) {
unusig_flag = TRUE; if ( flag_chk_unusig ) unusig_flag = TRUE;
continue; continue;
} }
@ -1757,7 +1765,7 @@ char **argv;
presentation (); presentation ();
if (argc < 5) { if (argc < 5) {
printf ("\nUsage : lvx <format1> <format2> <filename1> <filename2> [-a] [-o] [-f]\n"); printf ("\nUsage : lvx <format1> <format2> <filename1> <filename2> [-a] [-o] [-f] [-u]\n");
printf ( " [-i <paramfile>] [-t <cell_name> <cell_name> ...]\n\n"); printf ( " [-i <paramfile>] [-t <cell_name> <cell_name> ...]\n\n");
exit (2); exit (2);
} }
@ -1803,6 +1811,8 @@ char **argv;
delins (lofig2, argv[count]); delins (lofig2, argv[count]);
} }
break; break;
case 'u' : flag_chk_unusig = TRUE;
break;
default : printf ("\n***** Invalid option '%s'\n\n", option); continue; default : printf ("\n***** Invalid option '%s'\n\n", option); continue;
} }
} }