Text this: Synthesis And Optimization Of Digital Circuits Giovanni De Micheli