Describir: Synthesis And Optimization Of Digital Circuits Giovanni De Micheli