Archived! All relevant features are now part of the firrtl smt backend or the chiseltest library. - View it on GitHub