Text this: Multi-level logic minimization through fault dictionary analysis /