Text this: Automatic logic synthesis techniques for digital systems /