Usando el Pmod ACL2, WF32 y LabVIEW hice un cuadro de ejercicio simple que saltas en. Mide la calidad de su aterrizaje, el tiempo entre cada salto y la fuerza de cada aterrizaje. Antes de la decisión de usar el ACL2, primero probé un sensor de inclin