Backward-traversing Waveform Relaxation Algorithm for Circuit Simulation and Simulation on Demand | IEEE Conference Publication | IEEE Xplore