Model-Based Virtual Prototype Acceleration | IEEE Journals & Magazine | IEEE Xplore