Reconfigurable System with Virtuoso Real-Time Kernel and TEV Environment | IEEE Conference Publication | IEEE Xplore