Functionality and Fault Modeling of a DC Motor with Verilog-AMS | IEEE Conference Publication | IEEE Xplore