A top-down design environment for developing pipelined datapaths | IEEE Conference Publication | IEEE Xplore