Virtual chip: making functional models work on real target systems | IEEE Conference Publication | IEEE Xplore