A design flow based on modular refinement | IEEE Conference Publication | IEEE Xplore