Text this: Fault Modeling and Test Vector Generation for ASIC Devices Exposed to Space Single Event Environment