Hello,
I am looking into starting to develop gateware for my Kasli device, but I am a bit confused as to where to begin. I already have an installation of Xilinx Vivado and have read the Developing Artiq page. I have also read a few other pages and discussion posts, but they all seem to point in different directions as to where to begin.
I have some familiarity with Verilog, but I know Artiq has a Python interface to write gateware. I'm wondering where is a good place to begin writing and learning about gateware.