Text this: Logic Synthesis and Verification Algorithms