Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models | IEEE Conference Publication | IEEE Xplore