DLS

Results 2 comments of DLS

https://github.com/cocotb/cocotb/pull/3231 is currently trying to update the Makefile (and suggested edit for the documentation)

with respect to platform, I meant more along the lines of the development system details -- something like "On my system with vivado hls version 201X.Y installed, running the tcl...