#define BranchSize 8 /* 1, 2, 4, 8 */ #define StateSize 200 /* 10, 100, 200, ... */ #define TransTime 13 /* 9 = 2.7 usec, 10 = 5.4 usec, etc */ #define NStates 500000 int count; byte filler[StateSize]; active [BranchSize] proctype test() { end: do :: d_step { count < NStates -> c_code { int xi; for (xi = 0; xi < (1 << TransTime); xi++) { now.filler[xi%StateSize] += xi%256; } memset(now.filler, 0, StateSize*sizeof(char)); }; count++ } od }