Martyn D. Edwards

• Automatic logic synthesis techniques for digital systems