Enviar por SMS: Synthesis and optimization of digital circuits / Giovanni De Micheli.