Currently I'm using to program the Microzed board using a Digilent JTAGSMT2 (https://www.digilentinc.com/Products/Detail.cfm?NavPath=2,395,1053&Prod=JTAG-SMT2).
I can't find the Jtag device in my Vivado Hardware Manager. Anyone did experience this issue.
Or microzed board can only work in Jtag-HS2 as suggested by the forum.
But if you look at the zynq board dev 7020, they are using JTAG-SMT2.