Assisting Fault Injection Simulations for Functional Safety Sign-off using Formal

Author(s):
Pulicharla Ravindrareddy
Location:
India
Year:
2019
Type:
Paper
Format:
pdf