A stepwise refinement data path synthesis procedure for easy testability | IEEE Conference Publication | IEEE Xplore