Text this: Modelado y verificación de hardware usando tipos abstractos de datos