TY - BOOK AU - De Michel,G TI - Synthsis and optimization of digital circuits ER -