David Shepherd. Verified microcode design. Microprocessors and Microsystems, 14(10):623-630, 1990. [doi]
@article{Shepherd90-2,
title = {Verified microcode design},
author = {David Shepherd},
year = {1990},
doi = {10.1016/0141-9331(90)90037-V},
url = {https://doi.org/10.1016/0141-9331(90)90037-V},
researchr = {https://researchr.org/publication/Shepherd90-2},
cites = {0},
citedby = {0},
journal = {Microprocessors and Microsystems},
volume = {14},
number = {10},
pages = {623-630},
}