AV1 video playback?

The VPU (video processing unit) in the Jupiter’s SpaceMIT K1(1.6GHz)/M1(1.8GHz) SoC supports H.265/H.264/VP8/VP9/MPEG4/MPEG2 video decoding 4K@60fps, but it does not support AV1.

Recently (2024-03) support in dav1d was improved for RISC-V (riscv64 standards compliant RVV 1.0+).

Can this board, and it’s Octa-core X60 with RVV 1.0, playback AV1 video using software decoding only ? And if so, can it do it at 1920x1080@30Hz ? The maximum resolution supported by HDMI on the Jupiter is 1920x1440@60Hz, so how about 1920x1080@60Hz ?

EDIT: I better include a few links to some sample videos in AV1 format.

From Netflix’s opencontent (9 minute 11 second duration):
Sparks-5994fps-AV1-10bit-1920x1080-2194kbps.mp4 @ 25 fps (~60.1 MiB)

Some small 10 second duration AV1 in WebM format can be downloaded from:
https://www.elecard.com/videos (scroll down, past the AVS3 files and the VVC/H.266, MP4 files to the AV1,WebM files)
CityHall_640x360.webm @ 60 fps (~1.2 MiB)
CityHall_854x480.webm @ 60 fps (~2.4 MiB)
CityHall_1280x720.webm @ 60 fps (~4.8 MiB)
CityHall_1920x1080.webm @ 60 fps (~9.2 MiB)