Text this: Logic synthesis and optimization/