The authors report on a large-scale MOSFET circuit analysis program that implements the latest waveform relaxation techniques. A system overview is given, and the new algorithm is described. Some experimental results and experiences with the program are presented.