Changeset 98 for vis_dev/vis-2.3/src/rob/Robust.c

Timestamp:

Jul 15, 2012, 2:15:06 PM (12 years ago)

Author:

cecile

Message:

add part of cex

File:

• vis_dev/vis-2.3/src/rob/Robust.c (modified) (1 diff)

vis_dev/vis-2.3/src/rob/Robust.c

@@ -1696 +1696 @@
  *  Synopsis    [Generate name of protected register]
 
-  Description [Generate file containing names of latches int he golden model that have to be
-  protected. ]
+  Description [Generate file containing names of latches in the golden model 
+  that have to be protected. ]
 
   SideEffects []