Automatic Datapath Abstraction Of Pipelined Circuits