Text this: SYNTHESIS AND OPTIMIZATION OF DIGITAL CIRCUITS