Functionality and Fault Modeling of a DC Motor with Verilog-AMS