![](/img/cover-not-exists.png)
A Formal Verification Methodology for FPGA-Based Stepper Motor Control
Jabeen, Shaista, Srinivasan, Sudarshan, Shuja, Sana, Dubasi, MohanaYear:
2015
Language:
english
Journal:
IEEE Embedded Systems Letters
DOI:
10.1109/LES.2015.2450677
File:
PDF, 192 KB
english, 2015