Text this: Logic synthesis using Synopsys /