A Mixed-Level Virtual Prototyping Environment for Refinement-Based Design Environment | IEEE Conference Publication | IEEE Xplore