Faster Logic Manipulation for Large Designs