A tcl extension to simulate Single Event Effects (SEEs) in Modelsim