Would Dace be a reasonable place to start for HLS for use with a KV260?

[rog77]

I am interested in using this software for generating kv260 bitstreams from Python code, and then using them as overlays in PYNQ - That is to say I hope to be able to run python programs on the Arm/PS side of the chip, and have it call/pass data to be executed on the PL/FPGA side that was generated with DaCe.

I am new to HLS but OK with python, and there seem to be loads of options, and I want to be sure that I an going in the right direction before I start in earnest.

For example I might want a matmul or matrix/vector dot product written in DaCe and compiled/synthesised ahead of time as a bitstream/overlay specifically for the xilinx kv260, and then to be able to load/call it from PYNQ on the device at runtime.

Does this sort of thing seem a reasonable aspiration with DaCe as it stands right now? Are there any pitfalls I should be aware of? I already have an algo in python/numpy thst I wish to accelerate, and really don't want to have to learn C++/HLS if this library will do the job without too much of a performance/utilisation hit.

Thanks!