8. The method of claim 7 further comprising iterating between the optimizing the bit-level representation, the lifting the results from the optimizing of the bit-level representation, the optimizing the word-level representation, and translating the optimizing of the word-level representation onto the bit-level representation.
7. The method of claim 6 further comprising translating the optimizing of the word-level representation onto the bit-level representation.