I can see from the product information that HDL coder can be used with Zedboard. There is no mention whether HDL verifier can be, does the HDL verifier work with zedboard? Or is there a plan for it to support the use in the future?
Architectural issues with Zynq have made it difficult to use the FIL feature of HDL Verifier with ZedBoard. In terms of other SoCs, we offer FIL with the Altera Cyclone V SoC Development Kit and the Arrow SoCkit.