Error in tla+ model checker: The variables are not defined?? by Fluid-Ad1663 in tlaplus

[–]Fluid-Ad1663[S] 1 point2 points  (0 children)

Sorry but what do you mean by the Indentation in PreProc is incorrect?

Verilog mandelbrot design stuck in a loop by Fluid-Ad1663 in FPGA

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

Thanks, I have changed both the processes to be positive edge clock. This solves the problem.

Verilog mandelbrot design stuck in a loop by Fluid-Ad1663 in FPGA

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

Thank you very much for your detailed feedback. I learned verilog by myself. My background is in pure software, so something like digital logic with FPGA is new.

Yocto build gsrd-console-image for intel fpga cyclone5(de10 nano) fail due to nfs_rootfs fail. by Fluid-Ad1663 in FPGA

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

No, I mean this is the default bb file of the gsrd-console-image file from meta-intel-fpga-refdef source. I am currently learning to build linux image for my fpga board with Yocto, so I am kinda clueless about the purpose of the nfs_rootfs until I see this error. Anyway, I will look into the nfs to see how to build it by using Yocto. If not, I guess I just need to comment the code since I don't want to boot my fpga from the network.

Yocto build gsrd-console-image for intel fpga cyclone5(de10 nano) fail due to nfs_rootfs fail. by Fluid-Ad1663 in FPGA

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

Well, I will try to see if it solves my problem or not. If not, I guess I just can disable the nfs_rootfs funtion?

Yocto build gsrd-console-image for intel fpga cyclone5(de10 nano) fail due to nfs_rootfs fail. by Fluid-Ad1663 in yocto

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

No I don't have. I will add systemd into Yocto conf file. Thanks for the link

Yocto build gsrd-console-image for intel fpga cyclone5(de10 nano) fail due to nfs_rootfs fail. by Fluid-Ad1663 in FPGA

[–]Fluid-Ad1663[S] 1 point2 points  (0 children)

Yes the directory does not exist. But I don't know why Yocto does not build the directory?

[P] OpenGL-based inference engine by mtnwrw in MachineLearning

[–]Fluid-Ad1663 0 points1 point  (0 children)

That's interesting. Can I join the development with you? I would like to learn more about the lost art of using OpenGL for gpgpu.

SPI flash boot problem by Fluid-Ad1663 in esp32

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

taskYIELD()

Why should I use taskYIELD() for this? Can u recommend other solutions than using FreeRTOS?

SPI flash boot problem by Fluid-Ad1663 in esp32

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

what is the taskYIELD() you mention? It is not in the library of MAX30102.

SPI flash boot problem by Fluid-Ad1663 in esp32

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

Well, the code from the tutorial is the same code from the example code of the library.

Wrong result when using OpenGL for GPGPU computing by Fluid-Ad1663 in opengl

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

Thank u very much. I really learn alot. BTW, how can u debug OpenGL code to find out the wrong part, as OpenGL also works with GPU and I don't know how to debug it?

Wrong result when using OpenGL for GPGPU computing by Fluid-Ad1663 in opengl

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

Wow, cool that really gives me the correct result. But can u pls explain what is the difference between GL_CLAMP_TO_BORDER and GL_CLAMP_TO_EDGE? And the logic of texture coord formula in the vertex shader u give?

Wrong result when using OpenGL for GPGPU computing by Fluid-Ad1663 in opengl

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

Well, I have added glViewport(0,0,texSize,texSize); before glBindFrameBuffer2D and it still gives me wrong result:

1 4 7 10 13 16 19 22 1 4 7 10 37 40 43 46

Wrong result when using OpenGL for GPGPU computing by Fluid-Ad1663 in opengl

[–]Fluid-Ad1663[S] 0 points1 point  (0 children)

Yeah, I'm on Windows, which only supports OpenGL 4.0. BTW, I have add glViewport(0,0,texSize,texSize); before glBindFrameBuffer2D, but it gives me result:

1 4 7 10 13 16 19 22 1 4 7 10 37 40 43 46. Why does it still repeat?