Text this: New Data Structures and Algorithms for Logic Synthesis and Verification