A bit late but I wanted to mention Logic Friday [1]. The main feature is the generation of simplified circuits that produce the same logic output that a given input. Logic minimization is a hard problem to solve, LF uses espresso [2] to perform it.

1: http://sontrak.com/screenshots.html 2: https://en.wikipedia.org/wiki/Espresso_heuristic_logic_minim...