發送短信 : High level fault modeling and fault propagation in analog circuits using NLARX automated model generation technique