Accurate and efficient analysis of single event transients in VLSI circuits