iCEblink40-LP1K support - No valid image on device?

[jfktrey]

I'm trying to use iCEDude to program an iCEblink40-LP1K. It shows up correctly in device listing. However, when I attempt to read the image from the device by running ./iCEDude -d D808002 -U flash:r:data, it spends a moment trying to read the device image (the LEDs on the board are weakly lit), and returns the following error:

Connecting to device ... DONE
Reading image ...iCEDude:  FAILED
 No valid image on device.
CallStack (from HasCallStack):
  error, called at src/Utils.hs:145:5 in main:Utils

Is the LP1K series supported?

[kleinreact]

In general, there should be no problem with using icedude on the LP1K series. However, we never tested these devices, as we do not have them at hand.

Are you reading a bitstream which you have flashed on the device before?

If this is the case, there seems to be some problem with the bitstream file format verifier. Do you still have the file, which is on the device, and can you verify the content with ./iCEDude -d D808002 -U flash:v:data?

Otherwise, I can add a command line flag, which disables the verifier. Then you should have at least access to the data.

[jfktrey]

I'm attempting to read the bitstream the device ships with (the scrolling LEDs). I haven't even been able to detect the board with the official tools and I wanted to verify that the board is supported before trying to write to it. Should the bitstream it ships with be causing any issues?

I can try to build and verify this bitstream.

[kleinreact]

I added a command line flag, which disables the verification and instead reads the whole memory block. You can use it via

./icedude -n -U flash:r:data.

Can you read the content of your device and then send me the created file? This would help a lot to find the bug in the verifier.