// switch the proper ADC channel
wait 20
nop
// start the measurement
write SADCEC, 0x43 | (adcch << 3);
wait 20
nop
// the second start is just to read the result of the prev conversion
write SADCEC, 0x42 | (adcch << 3);
wait 20
nop
// read the result
read dut, 0x316E