FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction