Reusable component IP design using refinement-based design environment | IEEE Conference Publication | IEEE Xplore