Multi-Discipline Fault Modeling with Verilog-AMS