Text this: Modelagem e implementação de métodos em hardware para teste numérico da conjectura de Collatz