Index: /vis_dev/vis-2.3/models/counter/protect_golden.reg
===================================================================
--- /vis_dev/vis-2.3/models/counter/protect_golden.reg	(revision 42)
+++ /vis_dev/vis-2.3/models/counter/protect_golden.reg	(revision 43)
@@ -1,3 +1,0 @@
-golden.bit0.value
-golden.bit1.value
-golden.bit2.value
Index: /vis_dev/vis-2.3/models/debug/and2.v
===================================================================
--- /vis_dev/vis-2.3/models/debug/and2.v	(revision 42)
+++ /vis_dev/vis-2.3/models/debug/and2.v	(revision 43)
@@ -5,11 +5,14 @@
 
 reg c;
+reg d;
 
 initial c = 0;
+initial d = 0;
 
 
 always @(posedge clk)
 begin
-	c = a & b ;
+	c = a | b ;
+	d = a & b ;
 end
 endmodule 
Index: /vis_dev/vis-2.3/src/rob/robCmd.c
===================================================================
--- /vis_dev/vis-2.3/src/rob/robCmd.c	(revision 42)
+++ /vis_dev/vis-2.3/src/rob/robCmd.c	(revision 43)
@@ -1497,4 +1497,6 @@
 FILE * oFile =  Cmd_FileOpen("protect_golden.reg","w", NIL(char *), 0);
 Fsm_Fsm_t  *fsm = Fsm_HrcManagerReadCurrentFsm(*hmgr);
+if(fsm == NIL(Fsm_Fsm_t))
+  return 1;
 array_t         *psVarsArray = Fsm_FsmReadPresentStateVars(fsm);
 mdd_manager     *mddManager = Fsm_FsmReadMddManager(fsm);