Topaz is a specification mining tool, written in Java, intended to extract finite-state machines from logic simulation traces of digital circuit design. It has been published in DATE 2016 conference:
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7459543
Source code can be made available based on request, since it cannot be placed in the public domain both due to license issues and for possible future commercialization opportunities.