Changeset 43 for vis_dev/vis-2.3
- Timestamp:
- Jan 17, 2012, 4:36:25 PM (13 years ago)
- Location:
- vis_dev/vis-2.3
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
vis_dev/vis-2.3/models/counter/protect_golden.reg
r28 r43 1 golden.bit0.value2 golden.bit1.value3 golden.bit2.value -
vis_dev/vis-2.3/models/debug/and2.v
r36 r43 5 5 6 6 reg c; 7 reg d; 7 8 8 9 initial c = 0; 10 initial d = 0; 9 11 10 12 11 13 always @(posedge clk) 12 14 begin 13 c = a & b ; 15 c = a | b ; 16 d = a & b ; 14 17 end 15 18 endmodule -
vis_dev/vis-2.3/src/rob/robCmd.c
r21 r43 1497 1497 FILE * oFile = Cmd_FileOpen("protect_golden.reg","w", NIL(char *), 0); 1498 1498 Fsm_Fsm_t *fsm = Fsm_HrcManagerReadCurrentFsm(*hmgr); 1499 if(fsm == NIL(Fsm_Fsm_t)) 1500 return 1; 1499 1501 array_t *psVarsArray = Fsm_FsmReadPresentStateVars(fsm); 1500 1502 mdd_manager *mddManager = Fsm_FsmReadMddManager(fsm);
Note: See TracChangeset
for help on using the changeset viewer.