Text this: Logic synthesis using Synopsys/