From 478d1db69e18207c99121d6e0e796f963de31f24 Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Sat, 22 May 2004 14:26:08 +0000
Subject: [PATCH] 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.

---
 alliance/src/lvx/doc/lvx.1 |  9 ++++++--
 alliance/src/lvx/src/lvx.c | 44 +++++++++++++++++++++++---------------
 2 files changed, 34 insertions(+), 19 deletions(-)

diff --git a/alliance/src/lvx/doc/lvx.1 b/alliance/src/lvx/doc/lvx.1
index 6a963605..92659367 100644
--- a/alliance/src/lvx/doc/lvx.1
+++ b/alliance/src/lvx/doc/lvx.1
@@ -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
 .TH LVX 1 "October 1, 1997" "ASIM/LIP6" "ALLIANCE USER COMMANDS"
 .SH NAME
 lvx \- Logical Versus eXtracted net-list comparator 
 .SH SYNOPSIS
 .TP
-\fBlvx \fIformat1 format2 filename1 filename2 \fB[ -a ] [ -o ] [ -f ]\fR
+\fBlvx \fIformat1 format2 filename1 filename2 \fB[ -a ] [ -u ] [ -o ] [ -f ]\fR
 .br
 .so man1/alc_origin.1
 .SH DESCRIPTION
@@ -124,6 +124,11 @@ and one
 .I VSS
 \&.
 .TP
+.B "-u"
+This option force 
+.B lvx 
+to check the consistency of unassigned signals between the two netlists.
+.TP
 .B "-f"
 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
diff --git a/alliance/src/lvx/src/lvx.c b/alliance/src/lvx/src/lvx.c
index 4002ea25..6b90714f 100644
--- a/alliance/src/lvx/src/lvx.c
+++ b/alliance/src/lvx/src/lvx.c
@@ -41,21 +41,28 @@
 /*                                                                          */
 /****************************************************************************/
 /* $Log: lvx.c,v $
-/* 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 1.4  2004/05/22 14:26:08  ludo
+/* 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.
 /*
+ * 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
  * 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 <string.h>
@@ -162,6 +169,7 @@ long int     loins_time;
 long int     locon_time;
 long int     total_time;
 
+int flag_chk_unusig = FALSE;
 int unusig_flag = FALSE;
 int     exitcode = 2;
 
@@ -884,7 +892,7 @@ unsigned char mark;
 */
      ptchain = (chain_list *)(ptype->DATA);
      if (ptchain == NULL) {
-        unusig_flag = TRUE; 
+	if ( flag_chk_unusig ) unusig_flag = TRUE; 
 	continue;
         }
 
@@ -1757,7 +1765,7 @@ char **argv;
  presentation ();
 
  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");
     exit (2);
     }
@@ -1803,6 +1811,8 @@ char **argv;
                            delins (lofig2, argv[count]);
                            }
                      break;
+          case 'u' : flag_chk_unusig = TRUE;
+                     break;
           default  : printf ("\n***** Invalid option '%s'\n\n", option); continue;
           } 
        }