Login / Signup
A Formal Verification Methodology for FPGA-Based Stepper Motor Control.
Shaista Jabeen
Sudarshan K. Srinivasan
Sana Shuja
Mohana Asha Latha Dubasi
Published in:
IEEE Embed. Syst. Lett. (2015)
Keyphrases
</>
formal verification
model checking
model checker
symbolic model checking
control system
control strategy
automated verification
control method
bounded model checking
neural network
artificial intelligence
dynamic programming
optimal control
hardware implementation
hardware design