Automatic generation of virtual prototypes | IEEE Conference Publication | IEEE Xplore