Soy un novato en el diseño de sistemas digitales. Entiendo que Vivado HLS es una herramienta que acelera la productividad del diseño al permitirle verificar los diseños mediante un HDL. ¿Qué hace Vivado HLS para lograr esto? ¿Cuál es el proceso por el que pasa? ¿Qué hace en comparación con SDSoc?