logfile onelatnoindep.log

clock pclkA 1 0 0 0
clock pclkB 0 0 1 0
stepsize 55
vector muxcont pMUXCONT{0:1}
vector ycount pYCOUNT{0:2}BUF
vector xcount pXCOUNT{0:2}BUF
vector trace pTRACE{0:2}
vector state pSTATE{0:3}
vector muxout pMUXOUT{0:2}
vector iopads pBIT{0:7}

vector inmuxcont inMUXCONT{0:1}
vector inycount inYCOUNT{0:2}BUF
vector inxcount inXCOUNT{0:2}BUF
vector intrace inTRACE{0:2}
vector instate inSTATE{0:3}
vector inmuxout inMUXOUT{0:2}
vector inbits inBIT{0:7}
vector outbits outBIT{0:7}
ana instate state pclkA inclkA pclkB inclkB pRESTART inRESTART pUSERREADY
ana inUSERREADY pDONE inDONE pWRITETOMEM inWRITETOMEM pDEPENDENT
ana inDEPENDENT pLATFNDBAR inLATFNDBAR iopads inbits outbits
ana muxcont inmuxcont xcount inxcount ycount inycount trace intrace
ana muxout inmuxout

| reset chip and have userready
| NEXTSTATE:14,      14,      14,      0
V pRESTART   0        1        0        0
V pUSERREADY 0        0        0        1
V iopads    00000000 00000000 00000000 11000000
R

| search for latent until found (fourth instruction), then move to dep check
| NEXTSTATE:0,       0,       0,       0
V pRESTART   0        0        0        0
V pUSERREADY 0        0        0        0
V iopads     11000000 11000001 11000010 01010000
R

| first prepare for dep checking
| NEXTSTATE:1        2        3        4
V pRESTART   0        0        0        0
V pUSERREADY 0        0        0        0
V iopads     01010000 01010000 11100100 11100100
R

| dep check (first time, should repeat four times, including current)
| NEXTSTATE:4        4        4        4
V pRESTART   0        0        0        0
V pUSERREADY 0        0        0        0
V iopads     11100100 11111000 11111000 11000000
R

| check whether candidate okay
| NEXTSTATE:5        6        1
V pRESTART   0        0        0
V pUSERREADY 0        0        0
V iopads     11100100 11100100 11100100
R

| nope, so move down one and try again
| NEXTSTATE:2        3        4
V pRESTART   0        0        0
V pUSERREADY 0        0        0
V iopads     11100100 11111000 11111000
R

| again, dep check (second time, should repeat three times, including current)
| NEXTSTATE:4        4        4
V pRESTART   0        0        0
V pUSERREADY 0        0        0
V iopads     11111000 11111000 11000000
R

| check whether candidate okay
| NEXTSTATE:5        6        1
V pRESTART   0        0        0
V pUSERREADY 0        0        0
V iopads     11111000 11111000 11111000
R

| nope, move down one more and try again
| NEXTSTATE:2        3        4
V pRESTART   0        0        0
V pUSERREADY 0        0        0
V iopads     11111000 11110000 11110000
R

| again, dep check (third time, should repeat two times, including current)
| NEXTSTATE:4        4
V pRESTART   0        0
V pUSERREADY 0        0
V iopads     11110000 11000000
R

| check whether candidate okay
| NEXTSTATE:5        6        1
V pRESTART   0        0        0
V pUSERREADY 0        0        0
V iopads     11111000 11111000 11111000
R

| nope, move down one more and try again
| NEXTSTATE:2        3        4
V pRESTART   0        0        0
V pUSERREADY 0        0        0
V iopads     11111000 11111000 11111000
R

| again, dep check (fourth time, repeat only once, including current)
| NEXTSTATE:4
V pRESTART   0
V pUSERREADY 0
V iopads     11000000
R

| check whether candidate okay
| NEXTSTATE:5        6        1
V pRESTART   0        0        0
V pUSERREADY 0        0        0
V iopads     11111000 11111000 11111000
R

| nope, move down one more and try again
| NEXTSTATE:2
V pRESTART   0
V pUSERREADY 0
V iopads     11111000
R

| we've hit last possible candidate, so finish searching for other latents
| NEXTSTATE:0        0        0        0        0        0
V pRESTART   0        0        0        0        0        0        0   
V pUSERREADY 0        0        0        0        0        0        0
V iopads     11100100 11111000 11111000 11111000 11111000 11111000 11111000
R