Evaluation of a refinement-driven systemC/spl trade/-based design flow | IEEE Conference Publication | IEEE Xplore