Statistics for Automatic Datapath Abstraction Of Pipelined Circuits