Hardware acceleration and verification of systems designed with hardware description languages (HDL)
Application of the speculative method to analysis of the dynamics of an asynchronous slip-ring motor