miniTB provides a friendly environment for RTL designers to smoke test their code