Martyn D. Edwards

Automatic logic synthesis techniques for digital systems