A new symbolic approach to the fault diagnosis of analog circuits