Arduino PINS and HC SR04

Hi everyone ,

My team mates and I have tried to estimate a distance using the captor HC SR04 (Ultrasonic captor) on PYNQ Z2 board.
We are using the Arduino_IO library.
GND → GND
VCC → 5V
TRIG → AR1
ECHO → AR0

This is our script :

The main problem is that we get as an output a value that is always close to 0,5 sec between each time capture.

Do you have any ideas why we have this value ?

PS : We have tested similar code on a Arduino Uno and it was working

Regards,
Symbole