Text this: Logic synthesis and verification algorithms