Efficient Verification/Testing Of System-On-Chip Through Fault Grading And Analog Behavioral Modeling